Infinitary Action Logic with Multiplexing.

Stepan L. Kuznetsov Stanislav O. Speranski

Published in: Stud Logica (2023)

Keyphrases

reasoning about actions
logic programming
transition systems
modal logic
action theories
multi valued
noise reduction
asynchronous circuits
classical logic
joint action
automated reasoning
logical framework
initial state
digital circuits
human actions
internal state
signal to noise ratio
information retrieval