Which modal logics can be 'naturally' captured by a sequent system? Clearly, this question hinges on what one believes to be natural, i.e. which format of sequent rules one is willing to accept. This paper studies the relationship between the format of s
In this thesis we consider generic tools and techniques for the proof-theoretic investigation of not...
this paper is as follows: after some preliminaries I present deep sequent systems and prove invertib...
AbstractNested sequent systems for modal logics are a relatively recent development, within the gene...
Abstract. Which modal logics can be ‘naturally ’ captured by a sequent system? Clearly, this questio...
In this paper we present two different sequent calculi for modal logic S5, each of which reflects, a...
In this paper I introduce a sequent system for the propositional modal logic S5. Derivations of vali...
International audienceIn this paper, we present a simple sequent calculus for the modal propositiona...
We consider a general format for sequent rules for not necessarily normal modal logics based on clas...
Abstract. We present deductive systems for various modal logics that can be obtained from the constr...
Labelled sequent calculi are provided for a wide class of normal modal systems using truth values as...
Labelled sequent calculi are provided for a wide class of normal modal systems using truth values as...
... This paper introduces a systematic presentation for the systems K, D, M, S4, and S5 in the cal...
The modal logic literature is notorious for multiple axiomatisations of the same logic and for confl...
International audienceWe present deductive systems for various modal logics that can be obtained fro...
Abstract. We consider a general format for rules for not necessarily normal modal logics based on cl...
In this thesis we consider generic tools and techniques for the proof-theoretic investigation of not...
this paper is as follows: after some preliminaries I present deep sequent systems and prove invertib...
AbstractNested sequent systems for modal logics are a relatively recent development, within the gene...
Abstract. Which modal logics can be ‘naturally ’ captured by a sequent system? Clearly, this questio...
In this paper we present two different sequent calculi for modal logic S5, each of which reflects, a...
In this paper I introduce a sequent system for the propositional modal logic S5. Derivations of vali...
International audienceIn this paper, we present a simple sequent calculus for the modal propositiona...
We consider a general format for sequent rules for not necessarily normal modal logics based on clas...
Abstract. We present deductive systems for various modal logics that can be obtained from the constr...
Labelled sequent calculi are provided for a wide class of normal modal systems using truth values as...
Labelled sequent calculi are provided for a wide class of normal modal systems using truth values as...
... This paper introduces a systematic presentation for the systems K, D, M, S4, and S5 in the cal...
The modal logic literature is notorious for multiple axiomatisations of the same logic and for confl...
International audienceWe present deductive systems for various modal logics that can be obtained fro...
Abstract. We consider a general format for rules for not necessarily normal modal logics based on cl...
In this thesis we consider generic tools and techniques for the proof-theoretic investigation of not...
this paper is as follows: after some preliminaries I present deep sequent systems and prove invertib...
AbstractNested sequent systems for modal logics are a relatively recent development, within the gene...
DOI
Add to ORKG