Indistinguishability, choices, and logics of agency

DOI10.1007/s11225-013-9530-3zbMath1329.03031OpenAlexW2083795997MaRDI QIDQ2016056

Alberto Zanardo

Publication date: 19 June 2014

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

Full work available at URL: https://doi.org/10.1007/s11225-013-9530-3

zbMATH Keywords

hybrid logicindistinguishabilitystitbranching-time semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Combined logics (03B62)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Completeness of a branching-time logic with possible choices
• Time and modality in the logic of agency
• A Gabbay-rule free axiomatization of \(T\times W\) validity
• Undivided and indistinguishable histories in branching-time logics
• T \(\times\) W completeness
• Topological aspects of branching-time semantics
• First-order theories of bounded trees
• Hybrid logics: characterization, interpolation and complexity
• Non-definability of the class of complete bundled trees
• Branching-time logic with quantification over branches: The point of view of modal logic

This page was built for publication: Indistinguishability, choices, and logics of agency