A dynamic logic for reasoning about sub-ideal states

F.P.M. Dignum, J.-J.Ch. Meyer, R.J. Wieringa

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings ECAI Workshop on Articicial Normative Reasoning (Amsterdam, The Netherlands, 1994)
EditorsJ. Breuker
PublisherBreuker
Pages79-92
Publication statusPublished - 1994

Cite this

Dignum, F. P. M., Meyer, J-JC., & Wieringa, R. J. (1994). A dynamic logic for reasoning about sub-ideal states. In J. Breuker (Ed.), Proceedings ECAI Workshop on Articicial Normative Reasoning (Amsterdam, The Netherlands, 1994) (pp. 79-92). Breuker.