A Hyperintensional Logic of Non-prime Evidence.

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

Keyphrases

classical logic
logic programming
empirical evidence
modal logic
set theory
asynchronous circuits
proof theory
sound and complete axiomatization
neural network
real world
search algorithm
automated reasoning
evidential reasoning
predicate logic
deontic logic
logic synthesis