Indistinguishability, choices, and logics of agency

DOI10.1007/S11225-013-9530-3MaRDI QIDQ2016056zbMATH OpenOpenAlexFDO

Authors 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

branching-time semanticshybrid logicindistinguishabilitystit

Mathematics Subject Classification ID

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

Recommendations

• Axiomatization of a branching time logic with indistinguishability relations
• A dynamic logic of agency. I: STIT, capabilities and powers
• scientific article; zbMATH DE number 6108189
• On the basic logic ofSTITwith a single agent
• Properties of logics of individual and group agency

Cites work

• A Gabbay-rule free axiomatization of T W validity
• Branching-time logic with quantification over branches: The point of view of modal logic
• Completeness of a branching-time logic with possible choices
• First-order theories of bounded trees
• scientific article; zbMATH DE number 1536560 (Why is no real title available?)
• scientific article; zbMATH DE number 6108189 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• Hybrid logics: Characterization, interpolation and complexity
• Non-definability of the class of complete bundled trees
• T W completeness
• Time and modality in the logic of agency
• Topological aspects of branching-time semantics
• Undivided and indistinguishable histories in branching-time logics

Cited in

(2)

• Equality of agent expressions is preserved under an extension of the universe of actions
• Nuel Belnap on indeterminism and free action

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2016056)