Halldén complete modal logics are defined semantically. They have a nice characterization as they are determined by homogeneous Kripke frames
Frame semantics, given by Kripke or neighborhood frames, do not give completeness theorems for all m...
The paper studies many-dimensional modal logics corresponding to products of Kripke frames. It prove...
Frame semantics, given by Kripke or neighborhood frames, do not give completeness theorems for all m...
It is well known at present that relational semantics for propositional modal logics is far from com...
Halldén complete modal logics are defined semantically. They have a nice characterization as they ar...
4Dedicated to my parents, Susanne Kracht and Alfred Kracht, to my sister Ina and my brother Martin T...
AbstractWe initiate the study of computable model theory of modal logic, by proving effective comple...
In the present paper I aim at providing a general framework to prove Kripke-completeness for normal ...
In modal logics we are interested in classes of frames which determine the logic under consideration...
Canonical models are of central importance in modal logic, in particular as they witness strong comp...
Kracht M, Kutz O. Elementary Models for Modal Predicate Logic. Part 1: Completeness. In: Wolter F, e...
In this paper, we develop a framework for obtaining completeness results for extensions of modal log...
Abstract. The paper focuses on extending to the first order case the semantical program for modaliti...
Labelled sequent calculi are provided for a wide class of normal modal systems using truth values as...
Labelled sequent calculi are provided for a wide class of normal modal systems using truth values as...
Frame semantics, given by Kripke or neighborhood frames, do not give completeness theorems for all m...
The paper studies many-dimensional modal logics corresponding to products of Kripke frames. It prove...
Frame semantics, given by Kripke or neighborhood frames, do not give completeness theorems for all m...
It is well known at present that relational semantics for propositional modal logics is far from com...
Halldén complete modal logics are defined semantically. They have a nice characterization as they ar...
4Dedicated to my parents, Susanne Kracht and Alfred Kracht, to my sister Ina and my brother Martin T...
AbstractWe initiate the study of computable model theory of modal logic, by proving effective comple...
In the present paper I aim at providing a general framework to prove Kripke-completeness for normal ...
In modal logics we are interested in classes of frames which determine the logic under consideration...
Canonical models are of central importance in modal logic, in particular as they witness strong comp...
Kracht M, Kutz O. Elementary Models for Modal Predicate Logic. Part 1: Completeness. In: Wolter F, e...
In this paper, we develop a framework for obtaining completeness results for extensions of modal log...
Abstract. The paper focuses on extending to the first order case the semantical program for modaliti...
Labelled sequent calculi are provided for a wide class of normal modal systems using truth values as...
Labelled sequent calculi are provided for a wide class of normal modal systems using truth values as...
Frame semantics, given by Kripke or neighborhood frames, do not give completeness theorems for all m...
The paper studies many-dimensional modal logics corresponding to products of Kripke frames. It prove...
Frame semantics, given by Kripke or neighborhood frames, do not give completeness theorems for all m...
DOI
Add to ORKG