Modal logic programming revisited

DOI10.3166/JANCL.19.167-181zbMath1183.68157OpenAlexW1998686073MaRDI QIDQ3647295

Linh Anh Nguyen

Publication date: 30 November 2009

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

Full work available at URL: https://doi.org/10.3166/jancl.19.167-181

zbMATH Keywords

modal logiclogic programmingMProlog

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic programming (68N17)

Related Items (1)

Combining and automating classical and non-classical logics in classical higher-order logics

Cites Work

• MOLOG: A system that extends PROLOG with modal logic
• Multimodal logic programming using equational and order-sorted logic
• Multimodal logic programming
• Modal frame characterization by way of auxiliary modalities

This page was built for publication: Modal logic programming revisited