Search
Search Results
-
Foundations
I shall set up the basic framework in three steps. First, in Section 1.1, I shall introduce the notion of a language, regarded as a purely... -
An Equational Axiomatization of Dynamic Negation and Relational Composition
We consider algebras on binary relations with two main operators: relational composition and dynamic negation. Relational composition has its...
-
Modal Logics of Relations
In other chapters we have seen or will see how logics from various origins can be treated in the unifying framework of multi-dimensional modal logic.... -
Logics of Schemes for First-Order Theories and Poly-Modal Propositional Logic
Schemes of theorems are a well-known object of study in logic; general properties of first-order theories are expressible exactly by formula schemes.... -
Multi-Dimensional Modal Logic
We start with informally defining the subject matter of this book: multi-dimensional modal logic (MDML). First let us briefly consider what we... -
The Prehistory of Infinitary Logic: 1885–1955
Traditionally, logic was restricted to proofs having a finite number of steps and to expressions of finite length. Around 1954–56, infinitely long... -
Modal Logics of Arrows
There exist many formal schemes and tools for representing knowledge about different types of data. Sometimes we can gain a better understanding if... -
Logic in Central and Eastern Europe: Balkan Region
The main aim of this lecture is to give some information about Logic in the Balkan region before and after the collapse of the communist system. In... -
Two-Dimensional Modal Logics
This chapter contains a technical introduction to the world of multi-dimensional modal logics. We will treat some relatively simple logics with a... -
Modal Quantification over Structured Domains
The semantics for quantifiers described in this paper can be viewed both as a new semantics for generalized quantifiers and as a new look at standard... -
Free Q-distributive lattices
The dual spaces of the free distributive lattices with a quantifier are constructed, generalizing Halmos' construction of the dual spaces of free...
-
Gabbay-Style Calculi
It is well known that there are logics, e.g. classical first-order logic with n variables, ℒ n , that do not have... -
Relational Proof Systems for Modal Logics
The purpose of this paper is to give a survey of the relational formalization of modal logics. The paradigm ‘formulas are relations’ leads to the... -
Sahlqvist's theorem for boolean algebras with operators with an application to cylindric algebras
For an arbitrary similarity type of Boolean Algebras with Operators we define a class of Sahlqvist identities . Sahlqvist identities have two important...