The Triguarded Fragment of First-Order Logic
From MaRDI portal
Publication:5222982
DOI10.29007/m8tszbMath1416.03008OpenAlexW2908208955MaRDI QIDQ5222982
Mantas Šimkus, Sebastian Rudolph
Publication date: 4 July 2019
Published in: EPiC Series in Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.29007/m8ts
complexitymodal logicdecidabilityguarded fragmentdescription logicstwo-variable fragmentfragments of first-order logic
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments, Unnamed Item