Logics Containing K4. Part I.

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

Keyphrases

expressive power
modal logic
table of contents
inference rules
nonmonotonic logics
propositional dynamic logic
classical logic
epistemic logic
artificial intelligence
case study
image segmentation
relational databases
decision procedures