Modal Change Logic (MCL): Specifying the reasoning of knowledge-based systems

DOI10.1016/S0169-023X(98)00047-0zbMath0905.68090OpenAlexW1989017445MaRDI QIDQ3840884

Gerard R. Renardel de Lavalette, Dieter Fensel, Rix Groenboom

Publication date: 13 August 1998

Published in: Data & Knowledge Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0169-023x(98)00047-0

zbMATH Keywords

modal logicformal specificationdynamic logicknowledge-based systemsaxiomatic semantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Modal Change Logic (MCL): Specifying the reasoning of knowledge-based systems