Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership.
Andreas KrebsKamal LodayaParitosh K. PandyaHoward StraubingPublished in: CoRR (2019)
Keyphrases
- expressive power
- computational properties
- decision procedures
- observed variables
- np complete
- propositional logic
- boolean formula
- temporal relations
- satisfiability problem
- maximal tractable
- search algorithm
- classical logic
- phase transition
- social network analysis
- logic programs
- computational complexity
- complex networks
- description logics
- reasoning problems
- query language