Refutation Systems for Propositional Modal Logics.

Pierangelo Miglioli Ugo Moscato Mario Ornaghi

Published in: TABLEAUX (1995)

Keyphrases

modal logic
inference rules
decision procedures
propositional logic
theorem proving
default logic
horn clauses
classical logic
nonmonotonic logics