Stit logic of justification announcements: a completeness result

TL;DR

This paper introduces a complete logical system combining stit and justification logic to model agents' proving activities, supported by a Hilbert-style axiomatic framework and semantic interpretation.

Contribution

It presents the first completeness proof for a combined stit and justification logic system with a Hilbert-style axiomatization.

Findings

The logic is strongly complete relative to its semantics.

A Hilbert-style axiomatic system is successfully defined.

The semantics are based on previously introduced models.

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.