You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Loughborough University » Outputs » Detail

Output details

11 - Computer Science and Informatics

Loughborough University

Return to search Previous output Next output

Output 0 of 0 in the submission

Article title

Monodic Temporal Logic with Quantified Propositional Variables

Type

D - Journal article

DOI

10.1093/logcom/exr004

Title of journal

Journal of Logic and Computation

Article number

Volume number

Issue number

First page of article

517

ISSN of journal

0955-792X

Year of publication

2012

URL

Number of additional authors

Additional information

<11> The research reported in this paper was presented at an invited talk at the LogIC Seminar at Imperial College on 24th Feb. 2009 (organiser Nick Bezhanishvili, N.Bezhanishvili@uu.nl).

Interdisciplinary

Cross-referral requested

Research group

None

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract