Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi.

Published in: Stud Logica (2014)

Keyphrases

propositional logic
decision procedures
description logics
first order logic
query containment
probabilistic planning
strips planning
default logic
knowledge compilation
answering queries
sequent calculi
automatic recognition
probabilistic logic
belief base
satisfiability testing