Results 1 
6 of
6
Beyond modalities: Sufficiency and mixed algebras
 In E. Orłowska & A. Szałas (Eds.), Relational Methods in Computer Science Applications, 277– 299
, 2000
"... this paper for a discussion on the merits or otherwise of Kripke semantics and its "sufficiency" extension. Just as Kripke frames are dual to a class of Boolean algebras with modal operators [18, 24], one can build a duality for frames and Boolean algebras with sufficiency operators. Mixed structure ..."
Abstract

Cited by 13 (11 self)
 Add to MetaCart
this paper for a discussion on the merits or otherwise of Kripke semantics and its "sufficiency" extension. Just as Kripke frames are dual to a class of Boolean algebras with modal operators [18, 24], one can build a duality for frames and Boolean algebras with sufficiency operators. Mixed structures occur when modal and sufficiency operators arise from the same accessibility relation. In this paper we introduce the classes of sufficiency algebras and that of mixed algebras which include both a modal and a sufficiency operator, and study representation and duality theory for these classes of algebras. We also give examples for classes of firstorder definable frames, where such operators are required for a "modalstyle" axiomatisation. 2 Why sufficiency and mixed algebras?
NonRepresentable Algebras of Relations
, 1997
"... this dissertation. More precisely, we are referring to what is called the orthodox version of these logics in these works ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
this dissertation. More precisely, we are referring to what is called the orthodox version of these logics in these works
Algebraic Polymodal Logic: A Survey
 LOGIC JOURNAL OF THE IGPL
, 2000
"... This is a review of those aspects of the theory of varieties of Boolean algebras with operators (BAO's) that emphasise connections with modal logic and structural properties that are related to natural properties of logical systems. It begins with ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
This is a review of those aspects of the theory of varieties of Boolean algebras with operators (BAO's) that emphasise connections with modal logic and structural properties that are related to natural properties of logical systems. It begins with
Representable Cylindric Algebras and ManyDimensional Modal Logics
, 2010
"... The equationally expressible properties of the cylindrifications and the diagonals in finitedimensional representable cylindric algebras can be divided into two groups: (i) ‘Onedimensional ’ properties describing individual cylindrifications. These can be fully characterised by finitely many equat ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
The equationally expressible properties of the cylindrifications and the diagonals in finitedimensional representable cylindric algebras can be divided into two groups: (i) ‘Onedimensional ’ properties describing individual cylindrifications. These can be fully characterised by finitely many equations saying that each ci, for i < n, is a normal (ci0 = 0), additive (ci(x+y) = cix+ciy) and complemented closure operator: x ≤ cix cicix ≤ cix ci(−cix) ≤ −cix. (1) (ii) ‘Dimensionconnecting ’ properties, that is, equations describing the diagonals and interaction between different cylindrifications and/or diagonals. These properties are much harder to describe completely, and there are many results in the literature on their complexity. The main aim of this chapter is to study generalisations of (i) while keeping (ii) as unchanged as possible. In other words, we would like to analyse how much of the complexity of RCAn is due to its ‘manydimensional ’ character and how much of it
Fine’s Theorem on FirstOrder Complete Modal Logics
, 2011
"... Fine’s Canonicity Theorem states that if a modal logic is determined by a firstorder definable class of Kripke frames, then it is valid in its canonical frames. This article reviews the background and context of this result, and the history of its influence on further research. It then develops a n ..."
Abstract
 Add to MetaCart
Fine’s Canonicity Theorem states that if a modal logic is determined by a firstorder definable class of Kripke frames, then it is valid in its canonical frames. This article reviews the background and context of this result, and the history of its influence on further research. It then develops a new characterisation of when a logic is canonically valid, providing a precise point of distinction with the property of firstorder completeness. 1 The Canonicity Theorem and Its Impact In his PhD research, completed in 1969, and over the next halfdozen years, Kit Fine made a series of fundamental contributions to the semantic analysis and metatheory of propositional modal logic, proving general theorems about notable classes of logics and providing examples of failure of some significant properties. This work included the following (in order of publication): • A study [6] of logics that have propositional quantifiers and are defined