A Logic of Isolation.

Can Baskent David R. Gilbert Giorgio Venturi

Published in: WoLLIC (2024)

Keyphrases

logic programming
automated reasoning
proof theory
predicate logic
classical logic
modal logic
multi valued
real time
case study
database
defeasible logic
digital circuits
search engine
formal theory
deontic logic
delay insensitive
sound and complete axiomatization