A note on the extensibility of states
Sylvia Pulmannová (1981)
Mathematica Slovaca
Similarity:
Sylvia Pulmannová (1981)
Mathematica Slovaca
Similarity:
Bart Jacobs (2010)
RAIRO - Theoretical Informatics and Applications
Similarity:
This paper gives a semantical underpinning for a many-sorted modal logic associated with certain dynamical systems, like transition systems, automata or classes in object-oriented languages. These systems will be described as coalgebras of so-called polynomial functors, built up from constants and identities, using products, coproducts and powersets. The semantical account involves Boolean algebras with operators indexed by polynomial functors, called MBAOs, for Many-sorted Boolean...
Paul R. Halmos (1954-1956)
Compositio Mathematica
Similarity:
Jorge Catumba, Rafael Díaz (2014)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
We consider four combinatorial interpretations for the algebra of Boolean differential operators and construct, for each interpretation, a matrix representation for the algebra of Boolean differential operators.
R. Beazer, D. S. Macnab (1979)
Colloquium Mathematicae
Similarity:
Tomasz Jarmużek, Jacek Malinowski (2019)
Bulletin of the Section of Logic
Similarity:
In this paper we investigate Boolean connexive logics in a language with modal operators: □, ◊. In such logics, negation, conjunction, and disjunction behave in a classical, Boolean way. Only implication is non-classical. We construct these logics by mixing relating semantics with possible worlds. This way, we obtain connexive counterparts of basic normal modal logics. However, most of their traditional axioms formulated in terms of modalities and implication do not hold anymore without...
Roman Sikorski (1963)
Colloquium Mathematicae
Similarity: