Add to ORKGIn this paper we develop a modal formalism called cylindric modal logic we investigate its basic semantics and axiomatics. The motivation for introducing this formalism is twofold: first, it forms an interesting bridge over the gap between propositional formalisms and first-order logic: And second, the modal tools developed in studying cylindric modal logic will be applied to analyze, some problems in algebraic logic
Abstract. The paper provides a preliminary study of algebraic semantics for normal modal non-monoton...
In this paper we present a translation principle, called the axiomatic translation, for reducing pro...
This chapter is constituted by two parts. The ¯rst part comprising Sections 1-5 was written by Torb...
The formalism of cylindric modal logic can be motivated from two directions. In its own right, it fo...
Treating the existential quantification ∃vi as a diamond 3i and the identity vi = vj as a constant δ...
Abstract. The aim of this paper is to study the n-variable fragment of first order logic from a moda...
Algebraic logic is a subject in the interface between logic, algebra and geometry, it has strong con...
A new proof style adequate for modal logics is defined from the polynomial ring calculus. The new se...
The aim of this paper is to study the n-variable fragment of first order logic from a modal perspec...
In this paper, we give new proofs of the celebrated Andréka-Resek-Thompson representability results ...
Ouvrage (auteur).This is an advanced textbook on modal logic, a field which caught the attention of ...
Let α be an ordinal and L be a unimodal logic (like S4 or S5). A modal cylindric algebra of dimensio...
We exhibit a quasi-projectional relation algebra reduct of any diagonal-free cylindric algebra of di...
This chapter analyzes the development of modal logic within the research framework formulated for a ...
Abstract: McCarthy has argued that modal logic is too limited for various purposes. I consider the e...
Abstract. The paper provides a preliminary study of algebraic semantics for normal modal non-monoton...
In this paper we present a translation principle, called the axiomatic translation, for reducing pro...
This chapter is constituted by two parts. The ¯rst part comprising Sections 1-5 was written by Torb...
The formalism of cylindric modal logic can be motivated from two directions. In its own right, it fo...
Treating the existential quantification ∃vi as a diamond 3i and the identity vi = vj as a constant δ...
Abstract. The aim of this paper is to study the n-variable fragment of first order logic from a moda...
Algebraic logic is a subject in the interface between logic, algebra and geometry, it has strong con...
A new proof style adequate for modal logics is defined from the polynomial ring calculus. The new se...
The aim of this paper is to study the n-variable fragment of first order logic from a modal perspec...
In this paper, we give new proofs of the celebrated Andréka-Resek-Thompson representability results ...
Ouvrage (auteur).This is an advanced textbook on modal logic, a field which caught the attention of ...
Let α be an ordinal and L be a unimodal logic (like S4 or S5). A modal cylindric algebra of dimensio...
We exhibit a quasi-projectional relation algebra reduct of any diagonal-free cylindric algebra of di...
This chapter analyzes the development of modal logic within the research framework formulated for a ...
Abstract: McCarthy has argued that modal logic is too limited for various purposes. I consider the e...
Abstract. The paper provides a preliminary study of algebraic semantics for normal modal non-monoton...
In this paper we present a translation principle, called the axiomatic translation, for reducing pro...
This chapter is constituted by two parts. The ¯rst part comprising Sections 1-5 was written by Torb...