Propositional \(\text Q\)-logic

DOI10.1023/A:1020163602542zbMath1011.03010MaRDI QIDQ1863958

Stefan Wölfl

Publication date: 12 March 2003

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

completeness; branching histories; logic of agency; stit

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03A05: Philosophical and critical aspects of logic and foundations

03B44: Temporal logic

Related Items

Temporal logic and its application to normative reasoning, Combinations of \textit{stit} with \textit{ought} and \textit{know}, A STIT logic for reasoning about social influence, Combinations of stit and actions, Actions as events, Alternative axiomatics and complexity of deliberative STIT theories, Complexity results of STIT fragments, Quantification over sets of possible worlds in branching-time semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The way of the agent
• Time and modality in the logic of agency
• A Gabbay-rule free axiomatization of \(T\times W\) validity
• Axioms for deliberative stit
• Combinations of tense and modality for predicate logic
• Modal logic with names
• Decidability of stit theory with a single agent and Refref equivalence
• Doing and refraining from refraining
• T \(\times\) W completeness
• Busy choice sequences refraining formulas and modalities
• The deliberative stit: A study of action, omission, ability, and obligation
• An axiomatization of full Computation Tree Logic
• The modal logic of inequality
• On the basic logic ofSTITwith a single agent