A logic for best explanations.

Jared Millson Christian Straßer

Published in: J. Appl. Non Class. Logics (2019)

Keyphrases

multi valued
modal logic
automated reasoning
classical logic
digital circuits
predicate logic
asynchronous circuits
formal language
logical framework
set theory
delay insensitive
sound and complete axiomatization