Completeness of a branching-time logic with possible choices

DOI10.1007/s11225-010-9291-1zbMath1216.03032OpenAlexW2012121249MaRDI QIDQ622622

Alberto Zanardo, Roberto Ciuni

Publication date: 3 February 2011

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-010-9291-1

zbMATH Keywords

branching time temporal logicBTClogics of agencyrestricted quantification over histories

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (5)

Quantified temporal alethic boulesic doxastic logic ⋮ Temporal alethic-deontic logic and semantic tableaux ⋮ Indistinguishability, choices, and logics of agency ⋮ Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox ⋮ From oughts to goals: a logic for Enkrasia

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Using branching time temporal logic to synthesize synchronization skeletons
• A finite axiomatization of the set of strongly valid Ockhamist formulas
• Decidability for branching time
• Axioms for deliberative stit
• Undivided and indistinguishable histories in branching-time logics
• The deliberative stit: A study of action, omission, ability, and obligation
• Temporal logic. From ancient ideas to artificial intelligence
• Decision procedures and expressiveness in the temporal logic of branching time
• Axiomatization of `Peircean' branching-time logic
• Complete axiomatization and decidability of alternating-time temporal logic
• An axiomatization of full Computation Tree Logic
• Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
• Alternating-time temporal logic
• Deciding full branching time logic
• “Sometimes” and “not never” revisited
• Logic and time
• The unreal future
• A Modal Logic for Coalitional Power in Games

This page was built for publication: Completeness of a branching-time logic with possible choices