Logic and time

DOI10.2307/2273296zbMath0423.03018MaRDI 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 time; survey of tense logic

Mathematics Subject Classification ID

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

Related Items

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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