Arrow Logic and Infinite Counting.

Published in: Stud Logica (2000)

Keyphrases

modal logic
classical logic
digital circuits
asynchronous circuits
data sets
real world
multi agent
expert systems
logic programming
set theory
formal language
epistemic logic
deontic logic
delay insensitive
sound and complete axiomatization