Time and modality in the logic of agency
From MaRDI portal
Publication:1207433
Cites work
- scientific article; zbMATH DE number 3670430 (Why is no real title available?)
- scientific article; zbMATH DE number 3485746 (Why is no real title available?)
- scientific article; zbMATH DE number 1028831 (Why is no real title available?)
- scientific article; zbMATH DE number 1028832 (Why is no real title available?)
- Imperatives1
- Indeterminist time and truth‐value gaps1
- Investigations in modal and tense logics with applications to problems in philosophy and linguistics
- Objective time flow
- To the memory of Arthur Prior Formal properties of ‘now’
Cited in
(32)- On the basic logic ofSTITwith a single agent
- Generalizing deontic action logic
- Combinations of \textit{stit} with \textit{ought} and \textit{know}
- Semantical considerations on intention dynamics for BDI agents
- 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
- In the realm of agents
- Branching-time logic with quantification over branches: The point of view of modal logic
- A STIT logic for reasoning about social influence
- Busy choice sequences refraining formulas and modalities
- Propositional 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
- Reasoning about actions and obligations in first-order logic
- Uncompactness of stit logics containing generalized refref conditionals
- Actions and outcomes: two aspects of agency
- Dynamic logic of legal competences
- A Gabbay-rule free axiomatization of T W validity
- Agency and fictional truth: a formal study on fiction-making
- 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)