Add to ORKGInternational audienceIn this paper we show for each of the modal axioms d, t, b, 4, and 5 an equivalent set of inference rules in a nested sequent system, such that, when added to the basic system for the modal logic K, the resulting system admits cut elimination. Then we show the same result also for intuitionistic modal logic. We achieve this by combining structural and logical rules
International audienceIn this paper we study natural deduction for the intuitionistic and classical ...
International audienceIn this paper we propose proof systems without labels for the intuitionistic m...
... This paper introduces a systematic presentation for the systems K, D, M, S4, and S5 in the cal...
International audienceIn this paper we show for each of the modal axioms d, t, b, 4, and 5 an equiva...
International audienceIn this paper we show for each of the modal axioms d, t, b, 4, and 5 an equiva...
International audienceIn this paper we show for each of the modal axioms d, t, b, 4, and 5 an equiva...
International audienceWe present deductive systems for various modal logics that can be obtained fro...
We consider a general format for sequent rules for not necessarily normal modal logics based on clas...
International audienceWe present cut-free deductive systems without labels for the intuitionistic va...
Abstract. We present deductive systems for various modal logics that can be obtained from the constr...
Abstract. We consider a general format for rules for not necessarily normal modal logics based on cl...
International audienceWe present cut-free deductive systems without labels for the intuitionistic va...
International audienceWe present cut-free deductive systems without labels for the intuitionistic va...
Fitting's indexed nested sequents can be used to give deductive systems to modal logics which cannot...
In this paper we present a labelled sequent system for intuitionistic modal logics such that there i...
International audienceIn this paper we study natural deduction for the intuitionistic and classical ...
International audienceIn this paper we propose proof systems without labels for the intuitionistic m...
... This paper introduces a systematic presentation for the systems K, D, M, S4, and S5 in the cal...
International audienceIn this paper we show for each of the modal axioms d, t, b, 4, and 5 an equiva...
International audienceIn this paper we show for each of the modal axioms d, t, b, 4, and 5 an equiva...
International audienceIn this paper we show for each of the modal axioms d, t, b, 4, and 5 an equiva...
International audienceWe present deductive systems for various modal logics that can be obtained fro...
We consider a general format for sequent rules for not necessarily normal modal logics based on clas...
International audienceWe present cut-free deductive systems without labels for the intuitionistic va...
Abstract. We present deductive systems for various modal logics that can be obtained from the constr...
Abstract. We consider a general format for rules for not necessarily normal modal logics based on cl...
International audienceWe present cut-free deductive systems without labels for the intuitionistic va...
International audienceWe present cut-free deductive systems without labels for the intuitionistic va...
Fitting's indexed nested sequents can be used to give deductive systems to modal logics which cannot...
In this paper we present a labelled sequent system for intuitionistic modal logics such that there i...
International audienceIn this paper we study natural deduction for the intuitionistic and classical ...
International audienceIn this paper we propose proof systems without labels for the intuitionistic m...
... This paper introduces a systematic presentation for the systems K, D, M, S4, and S5 in the cal...