Tableaux with partial caching for hybrid PDL with satisfaction statements

DOI10.1007/978-3-319-67729-3_14zbMath1444.68285OpenAlexW2755841975MaRDI QIDQ1675810

Agathoklis Kritsimallis

Publication date: 3 November 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-67729-3_14

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Analysis of algorithms (68W40) Logic in computer science (03B70) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Computational aspects of satisfiability (68R07)

Related Items (1)

ExpTime tableaux with global caching for hybrid PDL

This page was built for publication: Tableaux with partial caching for hybrid PDL with satisfaction statements