Undecidability of Relation-Changing Modal Logics.

Carlos Areces Raul Fervari Guillaume Hoffmann Mauricio Martel

Published in: DALI@TABLEAUX (2017)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
description logics
epistemic logic
situation calculus
default logic
autoepistemic logic
classical logic
database systems
natural language
artificial intelligence
query containment