Results in modal correspondence theory for possibility semantics.
Kentarô YamamotoPublished in: J. Log. Comput. (2017)
Keyphrases
- general theory
- speech acts
- abstract argumentation
- theoretical framework
- logic programming
- logical properties
- formal semantics
- modal operators
- databases
- information systems
- semantic information
- theoretical basis
- kripke models
- proof theory
- model theoretic
- nonmonotonic logics
- modal logic
- image matching
- web services
- genetic algorithm