Tableaux with Dynamic Filtration for Layered Modal Logics

DOI10.1007/978-3-540-73099-6_10MaRDI QIDQ5434483zbMATH OpenOpenAlexFDO

Authors Olivier Gasquet, Bilal Said

Publication date 4 January 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73099-6_10

zbMATH Keywords

ComplexityDynamic FiltrationLayered Modal LogicSatisfaction problemTableau

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27)

Recommendations

• Filtration of some well-known modal logics
• scientific article; zbMATH DE number 7713505
• Canonical filtrations and local tabularity
• scientific article; zbMATH DE number 1435945
• Filtration via bisimulation

Cited in

(5)

• Decidability by filtrations for graded normal logics. (Graded modalities. V)
• Tableaux for constructive concurrent dynamic logic
• Tableaux for Reasoning about Atomic Updates
• Tableaux and algorithms for Propositional Dynamic Logic with Converse
• Shortcuts and dynamic marking in the tableau method for adaptive logics

This page was built for publication: Tableaux with Dynamic Filtration for Layered Modal Logics

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