In this paper we present a tableau-like proof system for multi-modal logics based on D'Agostino and Mondadori's classical refutation system $KE$. The proposed system, that we call $KEM$, works for the logics $S5A$ and $S5P_{(n)}$ which have been devised by Mayer and van der Hoek for formalizing the notions of actuality and preference. We shall also show how $KEM$ works with the normal modal logics $K45, D45$, and $S5$ which are frequently used as bases for epistemic operators -- knowledge, belief, and we shall briefly sketch how to combine knowledge and belief in a multi-agent setting through $KEM$ modularity
Modal and modal-like logics have become the focus of rcriewed attentiorl in the field of knowledge r...
In recent years, research into the mathematical foundations of modal logic has become increasingly p...
Multi-modal logics are among the best tools developed so far to analyse human reasoning and agents’...
The tableau-like proof system KEM has been proven to be able to cope with a wide variety of (normal)...
We propose to extend description logic with defeasible rules, and to use the inferential mechanism o...
Steinsvold (2020) has provided two semantics for the basic modal language enriched with propositiona...
In previous works we showed how to combine propositional multimodal logics using Gabbay's \emph{fibr...
A many-valued modal logic is introduced that combines the usual Kripke frame semantics of the modal ...
In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in orde...
We describe a general and uniform tableau methodology for multi-modal logics arising from Gabbay's m...
Modal logic S5 is commonly viewed as an epistemic logic that captures the most basic properties of k...
A system for the modal logic K furnishes a simple mechanical process for proving theorems
AbstractInspired by the recent work on approximations of classical logic, we present a method that a...
This paper is in the scope of the philosophy of modal logic; more precisely, it concerns the semanti...
In this article, we present a modal logic system that allows representing relationships between sets...
Modal and modal-like logics have become the focus of rcriewed attentiorl in the field of knowledge r...
In recent years, research into the mathematical foundations of modal logic has become increasingly p...
Multi-modal logics are among the best tools developed so far to analyse human reasoning and agents’...
The tableau-like proof system KEM has been proven to be able to cope with a wide variety of (normal)...
We propose to extend description logic with defeasible rules, and to use the inferential mechanism o...
Steinsvold (2020) has provided two semantics for the basic modal language enriched with propositiona...
In previous works we showed how to combine propositional multimodal logics using Gabbay's \emph{fibr...
A many-valued modal logic is introduced that combines the usual Kripke frame semantics of the modal ...
In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in orde...
We describe a general and uniform tableau methodology for multi-modal logics arising from Gabbay's m...
Modal logic S5 is commonly viewed as an epistemic logic that captures the most basic properties of k...
A system for the modal logic K furnishes a simple mechanical process for proving theorems
AbstractInspired by the recent work on approximations of classical logic, we present a method that a...
This paper is in the scope of the philosophy of modal logic; more precisely, it concerns the semanti...
In this article, we present a modal logic system that allows representing relationships between sets...
Modal and modal-like logics have become the focus of rcriewed attentiorl in the field of knowledge r...
In recent years, research into the mathematical foundations of modal logic has become increasingly p...
Multi-modal logics are among the best tools developed so far to analyse human reasoning and agents’...
Add to ORKG