Inference as doxastic agency. I: The basics of justification stit logic

DOI10.1007/s11225-017-9779-zOpenAlexW2791125712MaRDI QIDQ2631648

Grigory K. Olkhovikov, Heinrich Wansing

Publication date: 15 May 2019

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

Full work available at URL: https://doi.org/10.1007/s11225-017-9779-z

zbMATH Keywords

epistemic logicjustification logic\textit{dstit} logicdoxastic agencyproofs as acts

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (4)

General proof theory: introduction ⋮ A modal view on resource-bounded propositional logics ⋮ Counterfactual and seeing-to-it responsibilities in strategic games ⋮ RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• ``Inference versus consequence revisited: inference, consequence, conditional, implication
• Dynamic epistemic logic
• Belief, awareness, and limited reasoning
• On the idea of a general proof theory
• Axioms for deliberative stit
• Remarks on the logic of imagination. A step towards understanding doxastic control through imagination
• An axiomatic system and a tableau calculus for STIT imagination logic
• Reasoning robots. The art and science of programming robotic agents
• Falsification, natural deduction and bi-intuitionistic logic
• Reasoning About Belief Revision
• Introducing Justification into Epistemic Logic
• From BDI and stit to bdi-stit logic
• A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
• Explaining Deductive Inference

This page was built for publication: Inference as doxastic agency. I: The basics of justification stit logic