A Logic for Disjunctive Ignorance.

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

Keyphrases

logic programming
modal logic
multi valued
predicate logic
proof theory
real time
data sets
multiscale
relational databases
logic programs
nonmonotonic logics
abductive reasoning
logic synthesis