Add to ORKGIn this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular, in a uniform and modular way
This paper provides a proof-theoretic study of quantified non-normal modal logics. It introduces l...
This paper shows that non--normal modal logics can be simulated by certain polymodal normal logics a...
This paper provides a proof-theoretic study of quantified non-normal modal logics (NNML). It introdu...
In this paper we show how to extend KEM, a tableaux-like proof system for normal modal logic, in ord...
Abstract. In this paper we show how to extend KEM, a tableau-like proof system for normal modal logi...
In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in orde...
AbstractIn this paper a new proof procedure for some propositional and first-order normal modal logi...
We propose to extend description logic with defeasible rules, and to use the inferential mechanism o...
In this work we briefly summarize our recent contributions in the field of proof methods, theorem pr...
International audienceWe define a family of intuitionistic non-normal modal logics; they can be seen...
Labelled tableaux are extensions of semantic tableaux with annotations (labels, indices) whose main ...
AbstractIn this paper a new proof procedure for some propositional and first-order normal modal logi...
Dans cette thèse, nous étudions la théorie de la preuve des logiques modales non-normales. Ces logiq...
International audienceIn this work we briefly summarize our recent contributions in the field of pro...
This paper provides a proof-theoretic study of quantified non-normal modal logics. It introduces l...
This paper provides a proof-theoretic study of quantified non-normal modal logics. It introduces l...
This paper shows that non--normal modal logics can be simulated by certain polymodal normal logics a...
This paper provides a proof-theoretic study of quantified non-normal modal logics (NNML). It introdu...
In this paper we show how to extend KEM, a tableaux-like proof system for normal modal logic, in ord...
Abstract. In this paper we show how to extend KEM, a tableau-like proof system for normal modal logi...
In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in orde...
AbstractIn this paper a new proof procedure for some propositional and first-order normal modal logi...
We propose to extend description logic with defeasible rules, and to use the inferential mechanism o...
In this work we briefly summarize our recent contributions in the field of proof methods, theorem pr...
International audienceWe define a family of intuitionistic non-normal modal logics; they can be seen...
Labelled tableaux are extensions of semantic tableaux with annotations (labels, indices) whose main ...
AbstractIn this paper a new proof procedure for some propositional and first-order normal modal logi...
Dans cette thèse, nous étudions la théorie de la preuve des logiques modales non-normales. Ces logiq...
International audienceIn this work we briefly summarize our recent contributions in the field of pro...
This paper provides a proof-theoretic study of quantified non-normal modal logics. It introduces l...
This paper provides a proof-theoretic study of quantified non-normal modal logics. It introduces l...
This paper shows that non--normal modal logics can be simulated by certain polymodal normal logics a...
This paper provides a proof-theoretic study of quantified non-normal modal logics (NNML). It introdu...