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)
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)
Related Items
Combinations of \textit{stit} with \textit{ought} and \textit{know} ⋮ Decidability of stit theory with a single agent and Refref equivalence ⋮ Doing and refraining from refraining ⋮ A STIT logic for reasoning about social influence ⋮ Busy choice sequences refraining formulas and modalities ⋮ In the realm of agents ⋮ A formal characterisation of Hamblin's action-state semantics ⋮ Generalizing deontic action logic ⋮ The deliberative stit: A study of action, omission, ability, and obligation ⋮ Reasoning about actions and obligations in first-order logic ⋮ On the basic logic ofSTITwith a single agent ⋮ Temporal logic and its application to normative reasoning ⋮ Complexity results of STIT fragments ⋮ Non-normal modalities in variants of linear logic ⋮ The logic of action and control ⋮ DOING WITHOUT ACTION TYPES ⋮ Branching-time logic with quantification over branches: The point of view of modal logic ⋮ Actions and outcomes: two aspects of agency ⋮ Alternative axiomatics and complexity of deliberative STIT theories ⋮ 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 ⋮ Uncompactness of stit logics containing generalized refref conditionals ⋮ Indistinguishability, choices, and logics of agency ⋮ A logic of delegation ⋮ Branching time, perfect information games, and backward induction ⋮ Semantical considerations on intention dynamics for BDI agents ⋮ A Gabbay-rule free axiomatization of \(T\times W\) validity ⋮ Axioms for deliberative stit ⋮ Dynamic logic of legal competences ⋮ Combinations of tense and modality for predicate logic ⋮ Propositional \(\text Q\)-logic
Cites Work
