Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership.
Andreas KrebsKamal LodayaParitosh K. PandyaHoward StraubingPublished in: Log. Methods Comput. Sci. (2020)
Keyphrases
- expressive power
- computational properties
- decision procedures
- modal logic
- satisfiability problem
- propositional logic
- logic programs
- first order logic
- complex networks
- inference rules
- data complexity
- boolean formula
- nonmonotonic logics
- query language
- semantic relations
- attribute values
- np complete
- maximal tractable
- spatial relations