Permissive-Nominal Logic (journal version).

Gilles Dowek Murdoch James Gabbay

Published in: CoRR (2023)

Keyphrases

special issue
classical logic
logic programming
modal logic
multi valued
predicate logic
asynchronous circuits
database
real time
defeasible logic
digital circuits