Skip to search formSkip to main contentSkip to account menu

Action algebra

Known as: Action logic, Residuated Kleene algebra 
In algebraic logic, an action algebra is an algebraic structure which is both a residuated semilattice and a Kleene algebra. It adds the star or… 
Wikipedia (opens in a new tab)

Related topics

Related topics

6 relations
Dynamic logic (modal logic)Formal languageKleene algebraKleene star

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Tunneling decay of false kinks
We consider the decay of “false kinks,” that is, kinks formed in a scalar field theory with a pair of degenerate symmetry… 
2015
2015
Recurrence approach and higher rank cubic algebras for the N-dimensional superintegrable systems
By applying the recurrence approach and coupling constant metamorphosis, we construct higher order integrals of motion for the… 
2012
2012
Achieving Completeness in Bounded Model Checking of Action Theories in ASP
Temporal logics can be used in reasoning about actions for specifying constraints on domain descriptions and temporal properties… 
2008
2008
Doppler spreading of internal gravity waves by an inertia‐wave packet
[1] Present Doppler-spreading models for the high wave number end of atmospheric and oceanic internal wave spectra either neglect… 
2006
2006
Parsing Computer Languages with an Automaton Compiled from a Single Regular Expression
When a programmer is faced with the task of producing a parser for a context-free language there are many tools to choose from… 
2004
2004
Guarded Actions
Guarded actions are changes with preconditions acting as a guard. Guarded action models are multimodal Kripke models with the… 
2003
2003
Autonomy in an Organizational Context
  • Olga Pacheco
  • Agents and Computational Autonomy
  • 2003
  • Corpus ID: 26591793
In this paper it is discussed how organizations deal with autonomy of agents that constitute them. Based on human organizations… 
2000
2000
FIXED POINT FREE CIRCLE ACTIONS AND FINITENESS THEOREMS
We prove a vanishing theorem of certain cohomology classes for an 2n-manifold of finite fundamental group which admits a fixed… 
1998
1998
Modeling directed obligations and permissions in trade contracts
We present definitions for directed obligation and permission in trade procedures and contracts. These definitions are based on… 
Highly Cited
1988
Highly Cited
1988
Classical non-adiabatic angles
If a family of tori in phase space is driven by a time-dependent Hamiltonian flow in such a way as to return after some time to… 
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)