The interpolant existence problem for weak K4 and difference logic.

Agi Kurucz Frank Wolter Michael Zakharyaschev

Published in: CoRR (2024)

Keyphrases

classical logic
modal logic
multi valued
automated reasoning
artificial intelligence
dynamic logic
complementarity problems
data sets
natural deduction
digital circuits
probabilistic logic
inference rules
logic programs
description logics
programming language
multiscale
case study