A Solution to the Completeness Problem for Weakly Aggregative Modal Logic.

Peter Apostoli Bryson Brown

Published in: J. Symb. Log. (1995)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
default logic
nonmonotonic logics
epistemic logic
optimal solution
model checking
classical logic
artificial intelligence
case based reasoning
default reasoning
autoepistemic logic
dynamic logic
description logic alc