scientific article; zbMATH DE number 549971
From MaRDI portal
Publication:4287490
Recommendations
- On Action Logic: Equational Theories of Action Algebras
- Infinitary action logic: complexity, models and grammars
- Relational semantics for Kleene logic and action logic
- On the Complexity of the Equational Theory of Relational Action Algebras
- An infinitary sequent system for the equational theory of *-continuous action lattices
Cited in
(57)- On tools for completeness of Kleene algebra with hypotheses
- An algebraic glimpse at bunched implications and separation logic
- On the complexity of reasoning in Kleene algebra with commutativity conditions
- Implicational Kleene algebra with domain and the substructural logic of partial correctness
- Algorithmic complexity for theories of commutative Kleene algebras
- Dynamic algebras: Examples, constructions, applications
- A family of graded epistemic logics
- Axiomatizability of positive algebras of binary relations
- Equational properties of fixed-point operations in Cartesian categories: an overview
- On the equational definition of the least prefixed point.
- A system of dynamic modal logic
- Axiomatizing the equational theory of regular tree languages
- A lemma in the logic of action
- scientific article; zbMATH DE number 2203334 (Why is no real title available?)
- Automated Reasoning in Higher-Order Regular Algebra
- Arrows pointing at arrows: arrow logic, relevance logic, and relation algebras
- An exercise on the generation of many-valued dynamic logics
- On equations for union-free regular languages
- Powerset Residuated Algebras and Generalized Lambek Calculus
- HSP type theorems in the category of posets
- Equational properties of fixed point operations in Cartesian categories: an overview
- Axioms for action
- Axiomatizing shuffle and concatenation in languages
- Rewriting extended regular expressions
- Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests
- Dynamic bracketing and discourse representation
- Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs
- Relational semantics for Kleene logic and action logic
- A UTP approach for rTiMo
- The equational logic of fixed points
- Kleene star, subexponentials without contraction, and infinite computations
- A restricted fragment of the Lambek calculus with iteration and intersection operations
- On the fine-structure of regular algebra
- scientific article; zbMATH DE number 7533344 (Why is no real title available?)
- An infinitary sequent system for the equational theory of *-continuous action lattices
- Complexity of the infinitary Lambek calculus with Kleene star
- Lower semilattice-ordered residuated semigroups and substructural logics
- Nonfinite axiomatizability of the equational theory of shuffle
- On Action Logic: Equational Theories of Action Algebras
- Unifying Semantics for Concurrent Programming
- Infinitary action logic with multiplexing
- Algebraically complete semirings and Greibach normal form
- The equational theories of representable residuated semigroups
- Programming and automating mathematics in the Tarski-Kleene hierarchy
- Rational mechanics and natural mathematics
- Infinitary action logic: complexity, models and grammars
- Infinitary action logic with exponentiation
- Extensions of Lambek calculi
- A semantics and a logic for \textit{Fuzzy Arden Syntax}
- Computing with relational machines
- Actions arising from intersection and union
- The variety of Kleene algebras with conversion is not finitely based
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams
- Developments in concurrent Kleene algebra
- On tools for completeness of Kleene algebra with hypotheses
- Merging without mystery or: Variables in dynamics semantics
- On the dynamic logic of agency and action
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4287490)
