On Strong Neighbourhood Completeness of Modal and Intermediate Propositional Logics (Part~I).
Valentin B. ShehtmanPublished in: Advances in Modal Logic (1996)
Keyphrases
- modal logic
- nonmonotonic logics
- propositional variables
- propositional logic
- default logic
- coalition logic
- cl pc
- prime implicates
- autoepistemic logic
- temporal logic
- logic programming
- first order logic
- satisfiability problem
- inference rules
- expressive power
- table of contents
- nonmonotonic reasoning
- artificial intelligence
- logical framework
- decision procedures
- model checking
- neural network
- propositional dynamic logic
- linearly ordered
- classical first order logic
- boolean games
- conjunctive normal form
- modal operators
- epistemic logic
- default theories
- classical logic
- knowledge compilation
- probabilistic logic
- np complete