Converse-PDL with regular inclusion axioms: a framework for MAS logics

DOI10.3166/JANCL.21.61-91MaRDI QIDQ2901207zbMATH OpenOpenAlexFDO

Authors Barbara Dunin-Kȩplicz, Linh Anh Nguyen, Andrzej Szałas

Publication date 17 July 2012

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3166/jancl.21.61-91

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42) Mechanization of proofs and logical operations (03B35)

Recommendations

• A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic
• A framework for graded beliefs, goals and intentions
• scientific article; zbMATH DE number 5129607
• Term-modal logics
• An essay in combinatory dynamic logic

Cites work

• scientific article; zbMATH DE number 4070871 (Why is no real title available?)
• A near-optimal method for reasoning about action
• Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA
• Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
• An overview of tableau algorithms for description logics
• Combining deduction and model checking into tableaux and algorithms for converse-PDL.
• Deciding regular grammar logics with converse through first-order logic
• Modal tableau calculi and interpolation
• On the Correspondence Between Modal and Classical Logic: an Automated Approach
• Prolegomena to dynamic logic for belief revision
• Second-order quantifier elimination. Foundations, computational aspects and applications
• Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic

Cited in

(3)

• A framework for graded beliefs, goals and intentions
• ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
• ExpTime tableaux with global caching for hybrid PDL

Describes a project that uses

Uses Software

• SQEMA

This page was built for publication: Converse-PDL with regular inclusion axioms: a framework for MAS logics

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