Logic and time
From MaRDI portal
Cites work
- An Example of a New Type of Cosmological Solutions of Einstein's Field Equations of Gravitation
- Decidability results in non-classical logics
- scientific article; zbMATH DE number 3129315 (Why is no real title available?)
- scientific article; zbMATH DE number 3557754 (Why is no real title available?)
- scientific article; zbMATH DE number 3271460 (Why is no real title available?)
- Model theory for tense logics
- Preface for Studia Logica special issue (2)
- Reduction of second‐order logic to modal logic
- Tense logic
Cited in
(19)- A finite axiomatization of the set of strongly valid Ockhamist formulas
- A decidable temporal logic of parallelism
- A Gabbay-rule free axiomatization of T W validity
- 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
- First-order definability of transition structures
- A propositional linear time logic with time flow isomorphic to ^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
- Transition semantics for branching time
- A STIT logic for reasoning about social influence
- Representation of temporal information
- A future for the thin red line
- On possible worlds with modal parts. A semantics for modal interaction
- Системы временной логики I: моменты, истории, деревья
- Where have all the Californian tense-logicians gone?
- Rewrite rules for \(\mathrm{CTL}^\ast\)
- Completeness of a branching-time logic with possible choices
This page was built for publication: Logic and time
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3856738)
