Saturation-Based Uniform Interpolation for Multi-Modal Logics.

Ruba Alassaf Renate A. Schmidt Uli Sattler

Published in: AiML (2022)

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
epistemic logic
nonmonotonic logics
default logic
conditional logic
situation calculus
classical logic
image interpolation
artificial intelligence
data model
belief revision
satisfiability problem
reasoning tasks