Time and modality in the logic of agency

DOI10.1007/BF01028972zbMath0788.03002MaRDI QIDQ1207433

Brian F. Chellas

Publication date: 1 April 1993

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

modalitytimelogic of agency

Mathematics Subject Classification ID

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

Related Items (32)

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

• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• Imperatives1
• Indeterminist time and truth‐value gaps¹
• To the memory of Arthur Prior Formal properties of ‘now’
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Time and modality in the logic of agency