A Relation between Modal Logic and Language Closure Operators.
Manfred KudlekPublished in: Fundam. Informaticae (2011)
Keyphrases
- modal logic
- closure operator
- dynamic logic
- temporal logic
- conditional logic
- modal operators
- fixed point
- inference rules
- mining algorithm
- closed sets
- first order logic
- formal concept analysis
- default logic
- situation calculus
- nonmonotonic logics
- model checking
- natural language
- prime implicates
- data mining
- association rule mining
- programming language
- query language
- expert systems
- knowledge base