Interleaving Logic and Counting.

Johan van Benthem Thomas Icard

Published in: Bull. Symb. Log. (2023)

Keyphrases

modal logic
multi valued
formal language
delay insensitive
asynchronous circuits
logic programming
probability theory
predicate logic
classical logic
intuitionistic logic
formal theory
digital circuits
nonmonotonic logics
set theory
real time
logical framework
evolutionary algorithm
decision trees
website