Tabularity and Post-Completeness in Tense Logic.
Qian ChenMinghui MaPublished in: Rev. Symb. Log. (2024)
Keyphrases
- logic programming
- modal logic
- automated reasoning
- classical logic
- probabilistic logic
- database
- proof theory
- asynchronous circuits
- deontic logic
- abductive reasoning
- multi valued
- digital circuits
- propositional dynamic logic
- logic synthesis
- predicate logic
- default reasoning
- case study
- decision trees
- real world
- data sets
- real time