Branching-time logic with quantification over branches: The point of view of modal logic
From MaRDI portal
Publication:4879898
DOI10.2307/2275595zbMath0858.03021OpenAlexW2028942690MaRDI QIDQ4879898
Publication date: 2 June 1996
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275595
modal logicbranching-time logicaxiomatizability of semantically defined logicsdefinability of classes of frameshistory of time trees
Related Items
Quantified temporal alethic boulesic doxastic logic ⋮ A STIT logic for reasoning about social influence ⋮ Системы временной логики I: моменты, истории, деревья ⋮ Moment/history duality in Prior's logics of branching-time ⋮ Temporal logic and its application to normative reasoning ⋮ A future for the thin red line ⋮ Global view on reactivity: switch graphs and their logics ⋮ Decidability of logics based on an indeterministic metric tense logic ⋮ On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators ⋮ Temporal alethic-deontic logic and semantic tableaux ⋮ BH-CIFOL: case-intensional first order logic. II: Branching histories ⋮ On possible worlds with modal parts. A semantics for modal interaction ⋮ The truth about the future ⋮ Agency and fictional truth: a formal study on fiction-making ⋮ Rewrite rules for \(\mathrm{CTL}^\ast\) ⋮ A Branching Time Logical System for Open Distributed Systems Development ⋮ An axiomatization of full Computation Tree Logic ⋮ Indistinguishability, choices, and logics of agency ⋮ Quantification over sets of possible worlds in branching-time semantics ⋮ Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox ⋮ A Labeled Natural Deduction System for a Fragment of CTL * ⋮ Temporal Logics with Reference Pointers and Computation Tree Logics ⋮ A Gabbay-rule free axiomatization of \(T\times W\) validity ⋮ Decidability and Expressivity of Ockhamist Propositional Dynamic Logics ⋮ First-order definability of transition structures ⋮ An axiomatization of PCTL* ⋮ Combinations of tense and modality for predicate logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A finite axiomatization of the set of strongly valid Ockhamist formulas
- On the characterizability of the frames for the ``unpreventability of the present and the past
- Axioms for tense logic. I: 'Since' and 'until'
- Decidability for branching time
- Branching space-time
- Time and modality in the logic of agency
- Axiomatization of `Peircean' branching-time logic
- Derivation rules as anti-axioms in modal logic
- Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL
- A new proof of Sahlqvist's theorem on modal definability and completeness