Confluent term rewriting for only-knowing logics

DOI10.3233/978-1-60750-676-8-162MaRDI QIDQ5392505zbMATH OpenFDO

Authors Espen H. Lian, Einar Broch Johnsen, Arild Waaler

Publication date 12 April 2011

Full work available at URL https://doi.org/10.3233/978-1-60750-676-8-162

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Grammars and rewriting systems (68Q42) Logic in artificial intelligence (68T27)

Recommendations

• Rewrite rule systems for modal propositional logic
• scientific article; zbMATH DE number 4090846
• Confluence by critical pair analysis
• A general theory of confluent rewriting systems for logic programming and its applications
• scientific article; zbMATH DE number 4090848

Cited in

(2)

• Rewrite rule systems for modal propositional logic
• Computing knowledge in equational extensions of subterm convergent theories

Describes a project that uses

Uses Software

• Maude

This page was built for publication: Confluent term rewriting for only-knowing logics

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