How to Complete Some Modal Predicate Logics.

M. J. Cresswell

Published in: Advances in Modal Logic (1998)

Keyphrases

modal logic
propositional variables
nonmonotonic logics
expressive power
default logic
linearly ordered
database
data sets
clustering algorithm
logic programming
first order logic
inference rules
situation calculus
modal operators
propositional dynamic logic