| ||||
| ||||
![]() Title:Toward intuitionistic non-normal modal logic and its calculi Conference:EICNCL2018 Tags:intuitionistic modal logic, labelled calculus, neighbourhood semantics, non-normal modal logic and sequent calculus Abstract: We propose a minimal non-normal intuitionistic modal logic. We present it by Hilbert axiomatisation and an equivalent cut-free calculus. We then propose a semantic characterisation of this logic in terms of bi-neighbourhood models with respect to which the logic is sound. We finally present a cut-free labelled calculus matching with the bi-neighbourhood semantics. Toward intuitionistic non-normal modal logic and its calculi ![]() Toward intuitionistic non-normal modal logic and its calculi | ||||
Copyright © 2002 – 2025 EasyChair |