Symmetric Contingency Logic with Unlimitedly Many Modalities.

Published in: J. Philos. Log. (2019)

Keyphrases

logic programming
multi valued
classical logic
proof theory
neural network
search algorithm
automated reasoning
defeasible logic
data sets
real world
high level
modal logic
cross modal
digital circuits
deontic logic
rendezvous search