Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 232,529,374 papers from all fields of science
Search
Sign In
Create Free Account
Modal algebra
In algebra and logic, a modal algebra is a structure such that * is a Boolean algebra, * is a unary operation on A satisfying and for all x, y in A…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Admissible rule
General frame
Interior algebra
Kripke semantics
Expand
Broader (1)
Boolean algebra
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Modal Semirings with Operators for Knowledge Representation
Kim Solin
International Conference on Agents and Artificial…
2013
Corpus ID: 20280533
Modal semirings are combined with modal algebra (Boolean algebra with operators) to form modal semirings with operators. In turn…
Expand
2011
2011
MODAL DE VRIES ALGEBRAS
G. Bezhanishvili
,
N. Bezhanishvili
,
J. Harding
2011
Corpus ID: 51835760
We introduce modal de Vries algebras and develop a duality between the category of modal de Vries algebras and the category of…
Expand
1999
1999
Subdirectly Irreducible Modal Algebras and Initial Frames
G. Sambin
Studia Logica: An International Journal for…
1999
Corpus ID: 18641339
The duality between general frames and modal algebras allows to transfer a problem about the relational (Kripke) semantics into…
Expand
1999
1999
Interrelation of algebraic, semantical and logical properties for superintuitionistic and modal logics
L. Maksimova
1999
Corpus ID: 17432412
We consider the families L of propositional superintuitionistic logics (s.i.l.) andNE(K) of normal modal logics (n.m.l.). It is…
Expand
1998
1998
Hugh Maccoll and the algebra of strict implication
S. Read
1998
Corpus ID: 16068956
C. I. Lewis repeatedly exempts MacColl from criticisms of his predecessors in their accounts of implication. They had all taken a…
Expand
1997
1997
Model Completions, r-Heyting Categories
S. Ghilardi
,
Marek W. Zawadowski
Annals of Pure and Applied Logic
1997
Corpus ID: 30051779
1997
1997
Programming Research Group a Probabilistic Temporal Calculus Based on Expectations a Probabilistic Temporal Calculus Based on Expectations
Carroll Morgan
,
Annabelle McIver
1997
Corpus ID: 18774651
Generalising Boolean-valued predicates to expectations | functions from the state space into 0; 1] | allows the deenition of…
Expand
1995
1995
Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity
A. J. R. Salas
,
Francisco Miguel García-Olmedo
Mathematical Logic Quarterly
1995
Corpus ID: 3068954
In this paper the structure of pretemporal algebra is used to study some aspects of temporal algebras and modal algebras. The…
Expand
1993
1993
A Sufficient Condition for the Finite Model Property of Modal Logics above K4
M. Zakharyaschev
Logic Journal of the IGPL
1993
Corpus ID: 19350546
'Different folk hold different views' of the same things. Modal logicians and modal logics are not exceptions. Some consider…
Expand
1984
1984
Finite tetravalent modal algebras
I. Loureiro
1984
Corpus ID: 117185094
We prove that a finite tetravalent modal algebra is determined, up to an isomorphism, by its determinant system, applying the…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE