Add to ORKGAbstract. In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular, in a uniform and modular way.
This paper provides a proof-theoretic study of quantified non-normal modal logics. It introduces l...
In this paper we study proof procedures for some variants of first order modal logics, where domains...
This paper shows that non--normal modal logics can be simulated by certain polymodal normal logics a...
In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in orde...
In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in orde...
In this paper we show how to extend KEM, a tableaux-like proof system for normal modal logic, in ord...
AbstractIn this paper a new proof procedure for some propositional and first-order normal modal logi...
AbstractIn this paper a new proof procedure for some propositional and first-order normal modal logi...
International audienceIn this work we briefly summarize our recent contributions in the field of pro...
In this thesis we work on normal multimodal logics, that are general modal systems with an arbitrary...
We present tableau systems and sequent calculi for the intuitionistic analogues IK, ID, IT, IKB, IKD...
We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a ...
International audienceIn this paper we study formal tools for the definition of tableaux systems for...
We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a ...
A general procedure that follows the guidelines of inferentialism is presented for generating G3-sty...
This paper provides a proof-theoretic study of quantified non-normal modal logics. It introduces l...
In this paper we study proof procedures for some variants of first order modal logics, where domains...
This paper shows that non--normal modal logics can be simulated by certain polymodal normal logics a...
In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in orde...
In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in orde...
In this paper we show how to extend KEM, a tableaux-like proof system for normal modal logic, in ord...
AbstractIn this paper a new proof procedure for some propositional and first-order normal modal logi...
AbstractIn this paper a new proof procedure for some propositional and first-order normal modal logi...
International audienceIn this work we briefly summarize our recent contributions in the field of pro...
In this thesis we work on normal multimodal logics, that are general modal systems with an arbitrary...
We present tableau systems and sequent calculi for the intuitionistic analogues IK, ID, IT, IKB, IKD...
We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a ...
International audienceIn this paper we study formal tools for the definition of tableaux systems for...
We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a ...
A general procedure that follows the guidelines of inferentialism is presented for generating G3-sty...
This paper provides a proof-theoretic study of quantified non-normal modal logics. It introduces l...
In this paper we study proof procedures for some variants of first order modal logics, where domains...
This paper shows that non--normal modal logics can be simulated by certain polymodal normal logics a...