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

DOI10.1007/S11225-017-9779-ZOpenAlexW2791125712MaRDI QIDQ2631648FDOQ2631648

Authors: Grigory 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

Recommendations

• Inference as doxastic agency. II: Ramifications and refinements
• Stit logic of justification announcements: a completeness result
• A completeness result for implicit justification stit logic
• Logics of proofs and justifications
• Proof-theoretic analysis of the logics of agency: the deliberative STIT

zbMATH Keywords

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Title not available (Why is that?)
• Belief, awareness, and limited reasoning
• On the idea of a general proof theory
• Axioms for deliberative stit
• A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Dynamic epistemic logic
• Proofs, disproofs, and their duals
• Introducing Justification into Epistemic Logic
• ``Inference versus consequence revisited: inference, consequence, conditional, implication
• Reasoning About Belief Revision
• Title not available (Why is that?)
• From BDI and stit to bdi-stit logic
• Title not available (Why is that?)
• An axiomatic system and a tableau calculus for STIT imagination logic
• Falsification, natural deduction and bi-intuitionistic logic
• Reasoning robots. The art and science of programming robotic agents
• Explaining deductive inference
• Remarks on the logic of imagination. A step towards understanding doxastic control through imagination
• Inference as doxastic agency. II: Ramifications and refinements
• A sound and complete axiomatic system of bdi-stit logic

Cited In (4)

• General proof theory: introduction
• Restricted interpolation and lack thereof in stit logic
• A modal view on resource-bounded propositional logics
• Counterfactual and seeing-to-it responsibilities in strategic games

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2631648)