Stit logic of justification announcements: a completeness result

DOI10.1093/LOGCOM/EXY014MaRDI QIDQ4612434zbMATH OpenOpenAlexFDO

Authors Grigory Olkhovikov

Publication date 31 January 2019

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1707.03292

zbMATH Keywords

compactnesscompletenessjustification logicstit logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Abstract: We present a completeness result for a logical system which combines stit logic and justification logic in order to represent proving activity of the agents. This logic is interpreted over the semantics introduced in earlier publications. We define a Hilbert-style axiomatic system for this logic and show that this system is strongly complete relative to the intended semantics.

Recommendations

• A completeness result for implicit justification stit logic
• Justification announcements in discrete time. I: Completeness results
• Inference as doxastic agency. II: Ramifications and refinements
• Justification announcements in discrete time. Part II: Frame definability results
• Introducing Justification into Epistemic Logic

Cited in

(4)

• Inference as doxastic agency. II: Ramifications and refinements
• Justification announcements in discrete time. Part II: Frame definability results
• Justification announcements in discrete time. I: Completeness results
• A completeness result for implicit justification stit logic

This page was built for publication: Stit logic of justification announcements: a completeness result

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