Quantified temporal alethic boulesic doxastic logic
From MaRDI portal
Publication:828771
DOI10.1007/s11787-020-00264-zzbMath1493.03003OpenAlexW3096705509MaRDI QIDQ828771
Publication date: 5 May 2021
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-020-00264-z
Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)
Related Items
Cites Work
- Combinations of \textit{stit} with \textit{ought} and \textit{know}
- Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces
- Synchronizing diachronic uncertainty
- Automata for epistemic temporal logic with synchronous communication
- Completeness of a branching-time logic with possible choices
- Making a start with the stit logic analysis of intentional action
- A logic of intention and attempt
- Alternative axiomatics and complexity of deliberative STIT theories
- Dynamic epistemic logic
- Belief ascription under bounded resources
- Temporal languages for epistemic programs
- Dynamic epistemic logic with branching temporal structures
- Knowledge, belief and time
- Investigations into quantified modal logic. I
- Investigations in modal and tense logics with applications to problems in philosophy and linguistics
- A Gabbay-rule free axiomatization of \(T\times W\) validity
- Axioms for deliberative stit
- Agency and obligation
- Tools and techniques in modal logic
- The logic of historical necessity as founded on two-dimensional modal tense logic
- Combinations of tense and modality for predicate logic
- Decidability of stit theory with a single agent and Refref equivalence
- Doing and refraining from refraining
- T \(\times\) W completeness
- Active agents
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
- An axiomatic system and a tableau calculus for STIT imagination logic
- Handbook of philosophical logic. Vol. 5
- First-order modal logic
- Busy choice sequences refraining formulas and modalities
- The deliberative stit: A study of action, omission, ability, and obligation
- Temporal logic. From ancient ideas to artificial intelligence
- Temporal alethic-deontic logic and semantic tableaux
- Advances in temporal logic. Selected papers of the 2nd international conference on temporal logic, ICTL, Manchester, UK, 1997
- A dynamic logic of agency. I: STIT, capabilities and powers
- A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic
- Comparing semantics of logics for multi-agent systems
- Mediaeval and Renaissance logic
- Nuel Belnap on indeterminism and free action
- Action and knowledge in alternating-time temporal logic
- Temporal logic and state systems
- Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation
- Intention is choice with commitment
- Logic and Ethics: An Integrated Model for Norms, Intentions and Actions
- From BDI and stit to bdi-stit logic
- A unified completeness theorem for quantified modal logics
- Knowledge means ‘all’, belief means ‘most’
- Doxastic logic: a new approach
- Branching-time logic with quantification over branches: The point of view of modal logic
- Boulesic-Doxastic Logic
- Trees and nest structures
- A Functional calculus of first order based on strict implication
- Modalities and Quantification
- Term-modal logics
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
