Interval semantics for tense logic: Some remarks
From MaRDI portal
Publication:1258727
DOI10.1007/BF00258426zbMath0409.03012OpenAlexW2143254882MaRDI QIDQ1258727
Publication date: 1979
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00258426
Related Items (16)
The completeness theorems for some intuitionistic epistemic logics in terms of interval semantics ⋮ On interval modal logic with ``after relation ⋮ Weak negation in inquisitive semantics ⋮ Temporal logics in AI: semantical and ontological considerations ⋮ Logic of simultaneity ⋮ Duration calculus: Logical foundations ⋮ Refining temporal reference in event structures ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ Hypersequent calculi for intuitionistic logic with classical atoms ⋮ Generalized concepts of syntactically and semantically trivial differences and instant-based and period-based time ontologies ⋮ From worlds to possibilities ⋮ Priest on Negation ⋮ Supervenience, Dependence, Disjunction ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ To be and not to be: Dialectical tense logic
This page was built for publication: Interval semantics for tense logic: Some remarks
