Add to ORKGInternational audienceFitting's indexed nested sequents can be used to give deduc-tive systems to modal logics which cannot be captured by pure nested sequents. In this paper we show how the standard cut-elimination procedure for nested sequents can be extended to indexed nested sequents, and we discuss how indexed nested sequents can be used for intuitionistic modal logics
International audienceWe present deductive systems for various modal logics that can be obtained fro...
International audienceIn this paper we show for each of the modal axioms d, t, b, 4, and 5 an equiva...
We employ a recently developed methodology -- called "structural refinement" -- to extract nested se...
Fitting's indexed nested sequents can be used to give deductive systems to modal logics which cannot...
International audienceFitting's indexed nested sequents can be used to give deduc-tive systems to mo...
International audienceFitting's indexed nested sequents can be used to give deduc-tive systems to mo...
Fitting's indexed nested sequents can be used to give deductive systems to modal logics which cannot...
The key to the proof-theoretic study of a logic is a proof calculus with asubformula property. Many ...
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...
International audienceWe present cut-free deductive systems without labels for the intuitionistic va...
International audienceBounded depth refers to a property of Kripke frames that serve as semantics fo...
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...
International audienceWe present deductive systems for various modal logics that can be obtained fro...
International audienceIn this paper we show for each of the modal axioms d, t, b, 4, and 5 an equiva...
We employ a recently developed methodology -- called "structural refinement" -- to extract nested se...
Fitting's indexed nested sequents can be used to give deductive systems to modal logics which cannot...
International audienceFitting's indexed nested sequents can be used to give deduc-tive systems to mo...
International audienceFitting's indexed nested sequents can be used to give deduc-tive systems to mo...
Fitting's indexed nested sequents can be used to give deductive systems to modal logics which cannot...
The key to the proof-theoretic study of a logic is a proof calculus with asubformula property. Many ...
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...
International audienceWe present cut-free deductive systems without labels for the intuitionistic va...
International audienceBounded depth refers to a property of Kripke frames that serve as semantics fo...
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...
International audienceWe present deductive systems for various modal logics that can be obtained fro...
International audienceIn this paper we show for each of the modal axioms d, t, b, 4, and 5 an equiva...
We employ a recently developed methodology -- called "structural refinement" -- to extract nested se...