An axiomatic system for STIT imagination logic

2015/04/10 by Grigory K. Olkhovikov, Olkhovikov, Grigory K.
Computer Science · Engineering · Mathematics · #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Slime Mold and Myxomycetes Research #math.LO

paper · pdf · doi:10.48550/arxiv.1504.02743

8 pages, 0 figures

arxiv created 2015/04/10 · openalex publication_date 2015/04/10 · arxiv updated 2015/04/13 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We formulate a Hilbert-style axiomatic system for STIT logic of imagination recently proposed by H. Wansing and prove its completeness by the method of canonical models.

Related

• Explicit justification stit logic: a completeness result
• Stit logic of justification announcements: a completeness result
• A Framework for Intuitionistic Grammar Logics
• A Detailed Examination of Methods for Unifying, Simplifying and Extending Several Results About Self-Justifying Logics
• Semantic Incompleteness of Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic