Intervals and tenses

From MaRDI portal
Publication:1147692

DOI10.1007/BF00262866zbMath0451.03007OpenAlexW1997064673MaRDI QIDQ1147692

Peter Roeper

Publication date: 1980

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00262866




Related Items (23)

The completeness theorems for some intuitionistic epistemic logics in terms of interval semanticsComplexity analysis of a unifying algorithm for model checking interval temporal logicOn interval modal logic with ``after relationTemporal logics in AI: semantical and ontological considerationsChecking interval properties of computationsDuration calculus: Logical foundationsModel checking interval temporal logics with regular expressionsA survey on temporal logics for specifying and verifying real-time systems\textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixesCHOICE-FREE STONE DUALITYInterval Temporal Logic for Visibly Pushdown SystemsModel checking for fragments of Halpern and Shoham's interval temporal logic based on track representativesGeneralized concepts of syntactically and semantically trivial differences and instant-based and period-based time ontologiesUnnamed ItemFrom worlds to possibilitiesUnnamed ItemInterval vs. Point Temporal Logic Model CheckingUnnamed ItemWhich fragments of the interval temporal logic HS are tractable in model checking?Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationalsModel checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchyOn a Temporal Logic of Prefixes and Infixes.Two-sorted Point-Interval Temporal Logics







This page was built for publication: Intervals and tenses