An axiomatic system for STIT imagination logic

TL;DR

This paper develops a Hilbert-style axiomatic system for STIT logic of imagination, establishing its completeness through canonical model techniques, thereby formalizing the logic's foundational principles.

Contribution

It introduces a formal axiomatic framework for STIT imagination logic and proves its completeness, advancing the theoretical understanding of this logic.

Findings

A Hilbert-style axiomatic system for STIT imagination logic is formulated.

Completeness of the system is proven using canonical models.

The work provides a solid formal foundation for STIT imagination logic.

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.