Modal Operators on Non-commutative Residuated Lattices.
Michiro KondoMayuka F. KawaguchiPublished in: ISMVL (2012)
Keyphrases
- modal operators
- modal logic
- temporal logic
- situation calculus
- partially ordered
- dynamic logic
- description logics
- nonmonotonic logics
- special case
- concept lattice
- concept description language
- expert systems
- knowledge base
- partial order
- intelligent agents
- programming language
- general purpose
- case based reasoning
- natural language