Polarity Semantics for Negation as a Modal Operator.
Yuanlei LinMinghui MaPublished in: Stud Logica (2020)
Keyphrases
- modal operators
- modal logic
- logic programming
- nonmonotonic logics
- temporal logic
- situation calculus
- communicative acts
- logic programs
- partially ordered
- sentiment analysis
- description logics
- compositional semantics
- derivation rules
- stable model semantics
- containment of conjunctive queries
- fixed point semantics
- normal logic programs
- stable models
- formal semantics
- sentiment classification
- linear time temporal logic