Relational Semantics for Kleene Logic and Action Logic
Work
Year: 2005
Type: article
Abstract: Kleene algebras and action logic were proposed to be solutions to the finite axiomatization problem of the algebra of regular sets (of strings). They are treated here as nonclassical logics—with Hilbe... more
Authors Katalin Bimbó, J. Michael Dunn
Institutions Indiana University Bloomington, University of Notre Dame
Cites: 24
Cited by: 15
Related to: 10
FWCI: 1.248
Citation percentile (by year/subfield): 86.74
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: bronze