Time and modality in the logic of agency
From MaRDI portal
Publication:1207433
DOI10.1007/BF01028972zbMath0788.03002MaRDI QIDQ1207433
Publication date: 1 April 1993
Published in: Studia Logica (Search for Journal in Brave)
03B45: Modal logic (including the logic of norms)
03A05: Philosophical and critical aspects of logic and foundations
Related Items
Semantical considerations on intention dynamics for BDI agents, Temporal logic and its application to normative reasoning, Non-normal modalities in variants of linear logic, On the basic logic ofSTITwith a single agent, Branching-time logic with quantification over branches: The point of view of modal logic, Uncompactness of stit logics containing generalized refref conditionals, Branching time, perfect information games, and backward induction, Combinations of \textit{stit} with \textit{ought} and \textit{know}, A STIT logic for reasoning about social influence, Agency and fictional truth: a formal study on fiction-making, Karma theory, determinism, fatalism and freedom of will, Deontic epistemic stit logic distinguishing modes of mens rea, Alternative axiomatics and complexity of deliberative STIT theories, A Gabbay-rule free axiomatization of \(T\times W\) validity, Axioms for deliberative stit, Combinations of tense and modality for predicate logic, Decidability of stit theory with a single agent and Refref equivalence, Doing and refraining from refraining, In the realm of agents, Propositional \(\text Q\)-logic, Busy choice sequences refraining formulas and modalities, The deliberative stit: A study of action, omission, ability, and obligation, Reasoning about actions and obligations in first-order logic, Complexity results of STIT fragments, Indistinguishability, choices, and logics of agency, A logic of delegation, Actions and outcomes: two aspects of agency, A formal characterisation of Hamblin's action-state semantics
Cites Work
