EXPSPACE-Completeness of the Logics K4 × S5 and S4 × S5 and the Logic of Subset Spaces.
Peter HertlingGisela KrommesPublished in: ACM Trans. Comput. Log. (2021)
Keyphrases
- modal logic
- temporal logic
- order sorted
- classical logic
- propositional dynamic logic
- proof theory
- propositional calculus
- epistemic logic
- nonmonotonic logics
- predicate logic
- coalition logic
- conditional logic
- intuitionistic logic
- pspace complete
- decision procedures
- proof theoretic
- satisfiability problem
- logic programming
- modal operators
- model checking
- computational properties
- horn logic
- inference rules
- higher order logic
- sequent calculi
- proof procedures
- set theory
- logical framework
- default logic
- expressive power
- autoepistemic logic
- valued logic
- dynamic logic
- default reasoning
- asynchronous circuits
- truth values
- data sets
- logic programs
- logic based argumentation
- knowledge base