ExpTime tableaux with global caching for graded propositional dynamic logic

DOI10.3233/FI-2016-1408MaRDI QIDQ4589204zbMATH OpenOpenAlexFDO

Authors Linh Anh Nguyen

Publication date 9 November 2017

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2016-1408

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• ExpTime tableaux with global caching for hybrid PDL
• ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
• An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability
• Tableaux with partial caching for hybrid PDL with satisfaction statements
• An on-the-fly tableau-based decision procedure for PDL-satisfiability

Cited in

(7)

• Tableaux with partial caching for hybrid PDL with satisfaction statements
• ExpTime tableaux with global caching for hybrid PDL
• Clausal tableaux for hybrid PDL
• Checking consistency of an ABox w.r.t. global assumptions in PDL
• Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic $\mathcal{SH}$
• Optimal tableau algorithms for coalgebraic logics
• An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability

This page was built for publication: ExpTime tableaux with global caching for graded propositional dynamic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4589204)