Zobrazeno 1 - 10
of 149
pro vyhledávání: '"Olivetti, Nicola"'
We investigate intuitionistic modal logics with locally interpreted $\square$ and $\lozenge$. The basic logic LIK is stronger than constructive modal logic WK and incomparable with intuitionistic modal logic IK. We propose an axiomatization of LIK an
Externí odkaz:
http://arxiv.org/abs/2403.06772
Autor:
Lyon, Tim S., Ciabattoni, Agata, Galmiche, Didier, Larchey-Wendling, Dominique, Méry, Daniel, Olivetti, Nicola, Ramanayake, Revantha
This paper gives a broad account of the various sequent-based proof formalisms in the proof-theoretic literature. We consider formalisms for various modal and tense logics, intuitionistic logic, conditional logics, and bunched logics. After providing
Externí odkaz:
http://arxiv.org/abs/2312.03426
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 prov
Externí odkaz:
http://arxiv.org/abs/2309.06309
We present some hypersequent calculi for all systems of the classical cube and their extensions with axioms $T$, $P$, $D$, and, for every $n\geq 1$, rule $RD^+_n$. The calculi are internal as they only employ the language of the logic, plus additiona
Externí odkaz:
http://arxiv.org/abs/2006.05436
In this work we describe preferential Description Logics of typicality, a nonmonotonic extension of standard Description Logics by means of a typicality operator T allowing to extend a knowledge base with inclusions of the form T(C) v D, whose intuit
Externí odkaz:
http://arxiv.org/abs/2004.09507
The preferential conditional logic PCL, introduced by Burgess, and its extensions are studied. First, a natural semantics based on neighbourhood models, which generalise Lewis' sphere models for counterfactual logics, is proposed. Soundness and compl
Externí odkaz:
http://arxiv.org/abs/2002.05958
We define a family of intuitionistic non-normal modal logics; they can bee seen as intuitionistic counterparts of classical ones. We first consider monomodal logics, which contain only one between Necessity and Possibility. We then consider the more
Externí odkaz:
http://arxiv.org/abs/1901.09812
Publikováno v:
Journal of Philosophical Logic, 2020 Oct 01. 49(5), 833-882.
Externí odkaz:
https://www.jstor.org/stable/45386517
