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

completenessbranching historieslogic of agencystit

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Temporal logic (03B44)

Related Items (8)

Combinations of \textit{stit} with \textit{ought} and \textit{know} ⋮ A STIT logic for reasoning about social influence ⋮ Temporal logic and its application to normative reasoning ⋮ Complexity results of STIT fragments ⋮ Combinations of stit and actions ⋮ Alternative axiomatics and complexity of deliberative STIT theories ⋮ Actions as events ⋮ 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

This page was built for publication: Propositional \(\text Q\)-logic