Propositional \(\text Q\)-logic
From MaRDI portal
Publication:1863958
DOI10.1023/A:1020163602542zbMath1011.03010MaRDI QIDQ1863958
Publication date: 12 March 2003
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
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