Time and modality in the logic of agency
From MaRDI portal
Publication:1207433
DOI10.1007/BF01028972zbMATH Open0788.03002MaRDI QIDQ1207433FDOQ1207433
Authors: Brian F. Chellas 
Publication date: 1 April 1993
Published in: Studia Logica (Search for Journal in Brave)
Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Indeterminist time and truth‐value gaps1
- To the memory of Arthur Prior Formal properties of ‘now’
- Title not available (Why is that?)
- Title not available (Why is that?)
- Investigations in modal and tense logics with applications to problems in philosophy and linguistics
- Imperatives1
- Objective time flow
Cited In (32)
- Generalizing deontic action logic
- Semantical considerations on intention dynamics for BDI agents
- Combinations of \textit{stit} with \textit{ought} and \textit{know}
- Deontic epistemic stit logic distinguishing modes of mens rea
- A formal characterisation of Hamblin's action-state semantics
- DOING WITHOUT ACTION TYPES
- Alternative axiomatics and complexity of deliberative STIT theories
- Doing and refraining from refraining
- Axioms for deliberative stit
- Indistinguishability, choices, and logics of agency
- Combinations of tense and modality for predicate logic
- Decidability of stit theory with a single agent and Refref equivalence
- Branching-time logic with quantification over branches: The point of view of modal logic
- In the realm of agents
- Busy choice sequences refraining formulas and modalities
- A STIT logic for reasoning about social influence
- Propositional \(\text Q\)-logic
- The deliberative stit: A study of action, omission, ability, and obligation
- Complexity results of STIT fragments
- Branching time, perfect information games, and backward induction
- The logic of action and control
- Non-normal modalities in variants of linear logic
- A logic of delegation
- Temporal STIT logic and its application to normative reasoning
- Uncompactness of stit logics containing generalized refref conditionals
- Reasoning about actions and obligations in first-order logic
- Actions and outcomes: two aspects of agency
- Dynamic logic of legal competences
- A Gabbay-rule free axiomatization of \(T\times W\) validity
- Agency and fictional truth: a formal study on fiction-making
- On the basic logic ofSTITwith a single agent
- Karma theory, determinism, fatalism and freedom of will
This page was built for publication: Time and modality in the logic of agency
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1207433)
