Completions of Algebras and Completeness of Modal and Substructural Logics.
Hiroakira OnoPublished in: Advances in Modal Logic (2002)
Keyphrases
- propositional calculus
- modal logic
- nonmonotonic logics
- expressive power
- temporal logic
- decision procedures
- relation algebra
- inference rules
- spatial reasoning
- conditional logic
- default logic
- distributive lattices
- data quality
- modal operators
- propositional variables
- clifford algebra
- model checking
- epistemic logic
- case study
- classical logic
- coalition logic
- propositional logic
- real time
- first order logic
- pairwise
- knowledge base
- social networks
- artificial intelligence
- data mining
- data sets