Logic and time

DOI10.2307/2273296zbMath0423.03018OpenAlexW2002262052MaRDI QIDQ3856738

John P. Burgess

Publication date: 1979

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

Full work available at URL: https://doi.org/10.2307/2273296

zbMATH Keywords

relativistic and indeterminist theories of timesurvey of tense logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

Transition semantics for branching time ⋮ A STIT logic for reasoning about social influence ⋮ Системы временной логики I: моменты, истории, деревья ⋮ A decidable temporal logic of parallelism ⋮ A future for the thin red line ⋮ Completeness of a branching-time logic with possible choices ⋮ On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators ⋮ The thin red line, Molinism, and the flow of time ⋮ A propositional linear time logic with time flow isomorphic to \(\omega^2\) ⋮ On possible worlds with modal parts. A semantics for modal interaction ⋮ Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic ⋮ Where have all the Californian tense-logicians gone? ⋮ Rewrite rules for \(\mathrm{CTL}^\ast\) ⋮ Quantification over sets of possible worlds in branching-time semantics ⋮ A Gabbay-rule free axiomatization of \(T\times W\) validity ⋮ First-order definability of transition structures ⋮ Representation of temporal information ⋮ An axiomatization of PCTL* ⋮ A finite axiomatization of the set of strongly valid Ockhamist formulas

Cites Work

• Tense logic
• Preface for Studia Logica special issue (2)
• Model theory for tense logics
• Decidability results in non-classical logics
• Reduction of second‐order logic to modal logic
• An Example of a New Type of Cosmological Solutions of Einstein's Field Equations of Gravitation
• Unnamed Item
• Unnamed Item
• Unnamed Item