Login / Signup
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