MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS

DOI10.1142/S0218196711006844zbMath1256.20058MaRDI QIDQ3112579

Marcel Jackson, Timothy Stokes

Publication date: 11 January 2012

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

zbMATH Keywords

relation algebraspropositional dynamic logicrestriction semigroupsmodal semiringsdynamic algebraalgebras of partial functionseq-monoidsKleene algebras with domain

Mathematics Subject Classification ID

Semigroups of transformations, relations, partitions, etc. (20M20) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Applications of universal algebra in computer science (08A70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (18)

Domain and Range Operations in Semigroups and Rings ⋮ Difference-restriction algebras of partial functions with operators: discrete duality and completion ⋮ Difference-restriction algebras of partial functions: axiomatisations and representations ⋮ Left restriction monoids from left \(E\)-completions ⋮ Varieties of regular semigroups with uniquely defined inversion ⋮ Algebras of multiplace functions for signatures containing antidomain ⋮ Override and update ⋮ The algebra of functions with antidomain and range ⋮ Skew lattices and binary operations on functions ⋮ How to generalise demonic composition ⋮ Domain and range for angelic and demonic compositions ⋮ Undecidability of representability as binary relations ⋮ Monoids with tests and the algebra of possibly non-halting programs ⋮ Unnamed Item ⋮ A categorical duality for algebras of partial functions ⋮ Algebraic properties of if-then-else and commutative three-valued tests ⋮ The finite representation property for composition, intersection, domain and range ⋮ \((\mathscr{F},\mathscr{G})\)-abundant semigroups

Cites Work

• Ideals in universal algebras
• The propositional dynamic logic of deterministic, well-structured programs
• Algebras of modal operators and partial correctness
• The semantics of Hoare's iteration rule
• Semigroups and ordered categories. I: The reduced case
• Algebras of multiplace functions
• Propositional dynamic logic of regular programs
• On subtractive varieties. I
• Agreeable semigroups.
• Generalising congruence regularity for varieties.
• Deterministic propositional dynamic logic: finite models, complexity, and completeness
• Guarded and banded semigroups.
• Function systems
• Relation algebras and function semigroups
• Standard topological algebras: syntactic and principal congruences and profiniteness
• Representability is not decidable for finite relation algebras
• VARIETIES OF EQUALITY STRUCTURES
• Semilattice Pseudo-complements on Semigroups
• PARTIAL ACTIONS OF INVERSE AND WEAKLY LEFT E-AMPLE SEMIGROUPS
• Partial Maps with Domain and Range: Extending Schein's Representation
• Restriction Semigroups and Inductive Constellations
• IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS
• Boolean and classical restriction categories
• PDL with intersection of programs: a complete axiomatization
• Difference semigroups
• On profiniteness of compact totally disconnected algebras
• Lectures on semigroups of transformations
• PROPER WEAKLY LEFT AMPLE SEMIGROUPS
• SOLUTION TO A PROBLEM OF KUBLANOVSKY AND SAPIR
• FUNCTIONAL MENGER -ALGEBRAS
• Kleene algebra with domain
• 2-Exp Time lower bounds for propositional dynamic logics with intersection
• On Hoare logic and Kleene algebra with tests
• On the calculus of relations
• SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS
• An invitation to \(C\)-semigroups
• Restriction categories. I: Categories of partial maps

This page was built for publication: MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS