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, The logic of action and control, DOING WITHOUT ACTION TYPES, 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, Dynamic logic of legal competences, Generalizing deontic action logic, A logic of delegation, Actions and outcomes: two aspects of agency, A formal characterisation of Hamblin's action-state semantics
Cites Work
