Directed branching bisimulation via apartness and positive logic.
Herman GeuversAnton GolovPublished in: CoRR (2022)
Keyphrases
- multi valued
- positive and negative
- logic programming
- classical logic
- predicate logic
- information retrieval
- defeasible logic
- branch and bound
- search tree
- automated reasoning
- logical framework
- data sets
- modal logic
- e learning
- genetic algorithm
- dynamic logic
- positively correlated
- proof theory
- positive samples
- sound and complete axiomatization