Explicit justification stit logic: a completeness result

TL;DR

This paper introduces a Hilbert-style axiomatic system for the explicit fragment of justification stit logic and proves its strong completeness relative to the intended semantics.

Contribution

It provides the first complete axiomatic system for the explicit justification stit logic fragment, advancing formal understanding of this logic.

Findings

The axiomatic system is strongly complete.

The logic's semantics are well-founded.

Formal proof of completeness established.

Abstract

We consider the explicit fragment of the basic justification stit logic 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.