> Details

Balbiani, Philippe [Author]; Gao, Han [Author]; Gencer, Çiğdem [Author]; Olivetti, Nicola [Author] ; Philippe Balbiani and Han Gao and Çiğdem Gencer and Nicola Olivetti [Contributor]

A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: Text; Electronic Conference Proceeding; E-Article
  • Title: A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus
  • Contributor: Balbiani, Philippe [Author]; Gao, Han [Author]; Gencer, Çiğdem [Author]; Olivetti, Nicola [Author]
  • imprint: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
  • Language: English
  • DOI: https://doi.org/10.4230/LIPIcs.CSL.2024.13
  • Keywords: Intuitionistic Modal Logic ; Completeness ; Axiomatization ; Sequent Calculus
  • Origination:
  • Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Description: 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.
  • Access State: Open Access