Rewrite rule systems for modal propositional logic

DOI10.1016/0743-1066(92)90028-2zbMath0766.03010OpenAlexW2106316031MaRDI QIDQ3992233

Annie Foret

Publication date: 13 August 1992

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(92)90028-2

zbMATH Keywords

modal logicterm rewriting systemslocal confluencemodal propositional logicrewrite rule systemsautomated decision procedure

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Grammars and rewriting systems (68Q42)

This page was built for publication: Rewrite rule systems for modal propositional logic