Intervals and tenses
From MaRDI portal
Publication:1147692
DOI10.1007/BF00262866zbMath0451.03007OpenAlexW1997064673MaRDI QIDQ1147692
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
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)
Related Items (23)
The completeness theorems for some intuitionistic epistemic logics in terms of interval semantics ⋮ Complexity analysis of a unifying algorithm for model checking interval temporal logic ⋮ On interval modal logic with ``after relation ⋮ Temporal logics in AI: semantical and ontological considerations ⋮ Checking interval properties of computations ⋮ Duration calculus: Logical foundations ⋮ Model checking interval temporal logics with regular expressions ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes ⋮ CHOICE-FREE STONE DUALITY ⋮ Interval Temporal Logic for Visibly Pushdown Systems ⋮ Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives ⋮ Generalized concepts of syntactically and semantically trivial differences and instant-based and period-based time ontologies ⋮ Unnamed Item ⋮ From worlds to possibilities ⋮ Unnamed Item ⋮ Interval vs. Point Temporal Logic Model Checking ⋮ Unnamed Item ⋮ Which 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 rationals ⋮ Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy ⋮ On a Temporal Logic of Prefixes and Infixes. ⋮ Two-sorted Point-Interval Temporal Logics
This page was built for publication: Intervals and tenses