scientific article; zbMATH DE number 1341607

zbMATH Open0937.03012MaRDI QIDQ4263156FDOQ4263156

Authors: Stephan Tobies 

Publication date: 22 September 1999

Title of this publication is not available (Why is that?)

Recommendations

• PSpace reasoning for graded modal logics
• scientific article; zbMATH DE number 2090317
• Graded computation tree logic
• Presburger Modal Logic Is PSPACE-Complete
• Model checking for graded CTL

zbMATH Keywords

satisfiabilityknowledge representationtableauxgraded modal logicPSpace algorithm

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Knowledge representation (68T30) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25)

Cited In (11)

• \(\mathcal{ALCQPI}_{R^+}\): rational grading in an expressive description logic with inverse and transitive roles and counting
• A PSpace algorithm for acyclic epistemic DL \(\mathcal{ALCS}5_m\)
• PSPACE bounds for rank-1 modal logics
• Description Logics
• PSpace reasoning for graded modal logics
• Comparative study of variable precision rough set model and graded rough set model
• Presburger Modal Logic Is PSPACE-Complete
• EXPtime tableaux for ALC
• Title not available (Why is that?)
• A new combination procedure for the word problem that generalizes fusion decidability results in modal logics
• Solving graded/probabilistic modal logic via linear inequalities (system description)

This page was built for publication:

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