Completeness of a branching-time logic with possible choices
From MaRDI portal
Publication:622622
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
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
