Modal restriction semigroups: towards an algebra of functions.
From MaRDI portal
Recommendations
Cites work
- 2-Exp Time lower bounds for propositional dynamic logics with intersection
- Agreeable semigroups.
- Algebras of modal operators and partial correctness
- Algebras of multiplace functions
- An invitation to C-semigroups
- Boolean and classical restriction categories
- Deterministic propositional dynamic logic: finite models, complexity, and completeness
- Difference semigroups
- FUNCTIONAL MENGER -ALGEBRAS
- Function systems
- Generalising congruence regularity for varieties.
- Guarded and banded semigroups.
- IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS
- Ideals in universal algebras
- Kleene algebra with domain
- Lectures on semigroups of transformations
- On Hoare logic and Kleene algebra with tests
- On profiniteness of compact totally disconnected algebras
- On subtractive varieties. I
- On the calculus of relations
- PARTIAL ACTIONS OF INVERSE AND WEAKLY LEFT E-AMPLE SEMIGROUPS
- PDL with intersection of programs: a complete axiomatization
- PROPER WEAKLY LEFT AMPLE SEMIGROUPS
- Partial Maps with Domain and Range: Extending Schein's Representation
- Propositional dynamic logic of regular programs
- Relation algebras and function semigroups
- Representability is not decidable for finite relation algebras
- Restriction categories. I: Categories of partial maps
- Restriction semigroups and inductive constellations.
- SOLUTION TO A PROBLEM OF KUBLANOVSKY AND SAPIR
- Semigroups and ordered categories. I: The reduced case
- Semigroups with if-then-else and halting programs
- Semilattice Pseudo-complements on Semigroups
- Standard topological algebras: syntactic and principal congruences and profiniteness
- The propositional dynamic logic of deterministic, well-structured programs
- The semantics of Hoare's iteration rule
- VARIETIES OF EQUALITY STRUCTURES
Cited in
(24)- Skew lattices and binary operations on functions
- The finite representation property for composition, intersection, domain and range
- scientific article; zbMATH DE number 7551770 (Why is no real title available?)
- Algebraic properties of if-then-else and commutative three-valued tests
- Exploring modal worlds
- Domain and range for angelic and demonic compositions
- A categorical duality for algebras of partial functions
- Domain and range operations in semigroups and rings.
- Override and restricted union for partial functions
- Left restriction monoids from left \(E\)-completions
- Difference-restriction algebras of partial functions with operators: discrete duality and completion
- Difference-restriction algebras of partial functions: axiomatisations and representations
- \((\mathscr{F},\mathscr{G})\)-abundant semigroups
- Override and update
- Varieties of regular semigroups with uniquely defined inversion
- Algebraic structure of fundamental semantic models
- How to generalise demonic composition
- Monoids with tests and the algebra of possibly non-halting programs
- Preservation theorems for Tarski's relation algebra
- Restriction in Program Algebra
- The algebra of functions with antidomain and range
- Complete representation by partial functions for signatures containing antidomain restriction
- Algebras of multiplace functions for signatures containing antidomain
- Undecidability of representability as binary relations
This page was built for publication: Modal restriction semigroups: towards an algebra of functions.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3112579)
