A Modal-Layered Resolution Calculus for K.

Cláudia Nalon Ullrich Hustadt Clare Dixon

Published in: TABLEAUX (2015)

Keyphrases

modal logic
transition systems
low resolution
high resolution
consequence finding
real time
automated deduction
algebraic structure
databases
machine learning
sampling rate
nonmonotonic logics
fully connected
temporal resolution