Stit logic of justification announcements: a completeness result

DOI10.1093/LOGCOM/EXY014zbMATH Open1444.03034arXiv1707.03292OpenAlexW2962949396MaRDI QIDQ4612434FDOQ4612434

Authors: Grigory Olkhovikov 

Publication date: 31 January 2019

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

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.

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

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

zbMATH Keywords

compactnesscompletenessjustification logicstit logic

Mathematics Subject Classification ID

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

Cited In (4)

• Justification announcements in discrete time. Part II: Frame definability results
• Inference as doxastic agency. II: Ramifications and refinements
• 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)