Balbiani, Philippe
[Verfasser:in];
Gao, Han
[Verfasser:in];
Gencer, Çiğdem
[Verfasser:in];
Olivetti, Nicola
[Verfasser:in]
;
Philippe Balbiani and Han Gao and Çiğdem Gencer and Nicola Olivetti
[Mitwirkende:r]
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus
Anmerkungen:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Beschreibung:
We introduce FIK, a natural intuitionistic modal logic specified by Kripke models satisfying the condition of forward confluence. We give a complete Hilbert-style axiomatization of this logic and propose a bi-nested calculus for it. The calculus provides a decision procedure as well as a countermodel extraction: from any failed derivation of a given formula, we obtain by the calculus a finite countermodel of it directly.