Commutative action logic.

Stepan L. Kuznetsov

Published in: J. Log. Comput. (2023)

Keyphrases

modal logic
predicate logic
reasoning about actions
transition systems
logic programming
automated reasoning
classical logic
computational properties
neural network
action theories
digital circuits
special case
epistemic logic
asynchronous circuits
natural deduction
action language
video sequences