Time and modality in the logic of agency

DOI10.1007/BF01028972MaRDI QIDQ1207433zbMATH OpenFDO

Authors Brian F. Chellas

Publication date 1 April 1993

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01028972

zbMATH Keywords

logic of agencymodalitytime

Mathematics Subject Classification ID

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

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 gaps¹
• 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

(33)

• A Gabbay-rule free axiomatization of T 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 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
• Combinations of \textit{stit} with \textit{ought} and \textit{know}
• A STIT logic for reasoning about social influence
• Semantical considerations on intention dynamics for BDI agents
• Temporal STIT 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
• 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
• Branching time, perfect information games, and backward induction
• The logic of action and control
• DOING WITHOUT ACTION TYPES
• Bringing de re and de dicto into STIT logic
• Alternative axiomatics and complexity of deliberative STIT theories

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)