Checking Consistency of an ABox w.r.t. Global Assumptions in PDL

DOI10.3233/FI-2010-299zbMath1231.03031OpenAlexW1577629161MaRDI QIDQ3008108

Linh Anh Nguyen, Andrzej Szałas

Publication date: 14 June 2011

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2010-299

zbMATH Keywords

satisfiabilitydata complexitypropositional dynamic logictableau decision procedure

Mathematics Subject Classification ID

Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35)

Related Items (4)

ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching ⋮ ExpTime tableaux with global caching for hybrid PDL ⋮ ExpTime tableau decision procedures for regular grammar logics with converse ⋮ A goal-directed decision procedure for hybrid PDL

This page was built for publication: Checking Consistency of an ABox w.r.t. Global Assumptions in PDL