Unrealizability Logic.

Jinwoo Kim Loris D'Antoni Thomas W. Reps

Published in: CoRR (2022)

Keyphrases

classical logic
logic programming
database
modal logic
data structure
predicate logic
deontic logic
artificial intelligence
logical framework
set theory
decision making
image processing
case study
asynchronous circuits