Add to ORKGIn this paper we present a cut-free sequent calculus, called SeqS, for some standard conditional log...
In this paper we present an analytic proof system for multi-modal logic with common-knowledge over S...
International audienceIn this article we define label-free sequent calculi for the intuitionistic mo...
5th International Workshop On Philosophy and Logic of Social Reality. 15-17 November 2019.Hokkaido U...
5th International Workshop On Philosophy and Logic of Social Reality. 15-17 November 2019.Hokkaido U...
5th International Workshop On Philosophy and Logic of Social Reality. 15-17 November 2019.Hokkaido U...
In this thesis we consider generic tools and techniques for the proof-theoretic investigation of not...
SIGLEAvailable from British Library Document Supply Centre-DSC:8724.845(99-6-1) / BLDSC - British Li...
International audienceIn this paper, we present a simple sequent calculus for the modal propositiona...
Abstract Labelled sequent calculi are provided for a wide class of normal modalsystems using truth v...
In this paper we present two different sequent calculi for modal logic S5, each of which reflects, a...
International audienceIn this paper we present a finitary sequent calculus for the S5 multi-modalsys...
6th International Workshop On Philosophy and Logic of Social Reality. 28 February – 1 March, 2022, O...
In this paper we present a cut-free sequent calculus, called SeqS, for some standard conditional log...
International audienceWe define sequent-style calculi for nominal tense logics characterized by clas...
In this paper we present a cut-free sequent calculus, called SeqS, for some standard conditional log...
In this paper we present an analytic proof system for multi-modal logic with common-knowledge over S...
International audienceIn this article we define label-free sequent calculi for the intuitionistic mo...
5th International Workshop On Philosophy and Logic of Social Reality. 15-17 November 2019.Hokkaido U...
5th International Workshop On Philosophy and Logic of Social Reality. 15-17 November 2019.Hokkaido U...
5th International Workshop On Philosophy and Logic of Social Reality. 15-17 November 2019.Hokkaido U...
In this thesis we consider generic tools and techniques for the proof-theoretic investigation of not...
SIGLEAvailable from British Library Document Supply Centre-DSC:8724.845(99-6-1) / BLDSC - British Li...
International audienceIn this paper, we present a simple sequent calculus for the modal propositiona...
Abstract Labelled sequent calculi are provided for a wide class of normal modalsystems using truth v...
In this paper we present two different sequent calculi for modal logic S5, each of which reflects, a...
International audienceIn this paper we present a finitary sequent calculus for the S5 multi-modalsys...
6th International Workshop On Philosophy and Logic of Social Reality. 28 February – 1 March, 2022, O...
In this paper we present a cut-free sequent calculus, called SeqS, for some standard conditional log...
International audienceWe define sequent-style calculi for nominal tense logics characterized by clas...
In this paper we present a cut-free sequent calculus, called SeqS, for some standard conditional log...
In this paper we present an analytic proof system for multi-modal logic with common-knowledge over S...
International audienceIn this article we define label-free sequent calculi for the intuitionistic mo...