Branching-time logic with quantification over branches: The point of view of modal logic

From MaRDI portal
Publication:4879898

DOI10.2307/2275595zbMath0858.03021OpenAlexW2028942690MaRDI QIDQ4879898

Alberto Zanardo

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




Related Items

Quantified temporal alethic boulesic doxastic logicA STIT logic for reasoning about social influenceСистемы временной логики I: моменты, истории, деревьяMoment/history duality in Prior's logics of branching-timeTemporal logic and its application to normative reasoningA future for the thin red lineGlobal view on reactivity: switch graphs and their logicsDecidability of logics based on an indeterministic metric tense logicOn the mosaic method for many-dimensional modal logics: a case study combining tense and modal operatorsTemporal alethic-deontic logic and semantic tableauxBH-CIFOL: case-intensional first order logic. II: Branching historiesOn possible worlds with modal parts. A semantics for modal interactionThe truth about the futureAgency and fictional truth: a formal study on fiction-makingRewrite rules for \(\mathrm{CTL}^\ast\)A Branching Time Logical System for Open Distributed Systems DevelopmentAn axiomatization of full Computation Tree LogicIndistinguishability, choices, and logics of agencyQuantification over sets of possible worlds in branching-time semanticsTemporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation ParadoxA Labeled Natural Deduction System for a Fragment of CTL *Temporal Logics with Reference Pointers and Computation Tree LogicsA Gabbay-rule free axiomatization of \(T\times W\) validityDecidability and Expressivity of Ockhamist Propositional Dynamic LogicsFirst-order definability of transition structuresAn axiomatization of PCTL*Combinations of tense and modality for predicate logic



Cites Work