Add to ORKGInternational audienceWe develop semantically-oriented calculi for the cube of non-normal modal logics and some deontic extensions. The calculi manipulate hypersequents and have a simple semantic interpretation. Their main feature is that they allow for direct countermodel extraction. Moreover they provide an optimal decision procedure for the respective logics. They also enjoy standard proof-theoretical properties, such as a syntactical proof of cut-admissibility
The present work is a methodological study on different methods of proving cut eliminability in the ...
Cut elimination is shown, in a constructive way, to hold in sequent calculi labelled with truth valu...
International audienceWe present HYPNO (HYpersequent Prover for NOn-normal modal logics), a Prolog-b...
International audienceWe develop semantically-oriented calculi for the cube of non-normal modal logi...
International audienceWe present some hypersequent calculi for all systems of the classical cube and...
A novel countermodel-producing decision procedure that applies to several multi-modal logics, both i...
International audienceThe classical cube of non-normal modal logics is considered, and an alternativ...
We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a ...
C. I. Lewis’ systems were the first axiomatisations of modal logics. However some of those systems a...
International audienceIn this work we briefly summarize our recent contributions in the field of pro...
International audienceWe present hypersequent calculi for the strongest logics in Lewis’ family of c...
We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a ...
This paper provides a proof-theoretic study of quantified non-normal modal logics. It introduces l...
International audienceIn this paper we present labelled sequent calculi and labelled natural deducti...
A general procedure that follows the guidelines of inferentialism is presented for generating G3-sty...
The present work is a methodological study on different methods of proving cut eliminability in the ...
Cut elimination is shown, in a constructive way, to hold in sequent calculi labelled with truth valu...
International audienceWe present HYPNO (HYpersequent Prover for NOn-normal modal logics), a Prolog-b...
International audienceWe develop semantically-oriented calculi for the cube of non-normal modal logi...
International audienceWe present some hypersequent calculi for all systems of the classical cube and...
A novel countermodel-producing decision procedure that applies to several multi-modal logics, both i...
International audienceThe classical cube of non-normal modal logics is considered, and an alternativ...
We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a ...
C. I. Lewis’ systems were the first axiomatisations of modal logics. However some of those systems a...
International audienceIn this work we briefly summarize our recent contributions in the field of pro...
International audienceWe present hypersequent calculi for the strongest logics in Lewis’ family of c...
We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a ...
This paper provides a proof-theoretic study of quantified non-normal modal logics. It introduces l...
International audienceIn this paper we present labelled sequent calculi and labelled natural deducti...
A general procedure that follows the guidelines of inferentialism is presented for generating G3-sty...
The present work is a methodological study on different methods of proving cut eliminability in the ...
Cut elimination is shown, in a constructive way, to hold in sequent calculi labelled with truth valu...
International audienceWe present HYPNO (HYpersequent Prover for NOn-normal modal logics), a Prolog-b...