Unary Interpretability Logics for Sublogics of the Interpretability Logic bfIL.

Published in: Stud Logica (2024)

Keyphrases

modal logic
classical logic
prediction accuracy
intuitionistic logic
proof theory
proof theoretic
nonmonotonic logics
epistemic logic
rule base
propositional calculus
pairwise
defeasible logic
propositional dynamic logic
truth values
database
inference rules
case study
data sets