C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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