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

DOI10.1007/S11225-017-9779-ZMaRDI QIDQ2631648zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

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

Cites work

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

Cited in

(4)

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

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)