Making things happen
From MaRDI portal
Publication:1840646
DOI10.1023/A:1026792711025zbMath0966.03003MaRDI QIDQ1840646
Publication date: 11 February 2001
Published in: Studia Logica (Search for Journal in Brave)
modal logic; dynamic logic; knowledge representation languages; logic of imperatives; logics of change; semantics of natural language
03B45: Modal logic (including the logic of norms)
03A05: Philosophical and critical aspects of logic and foundations
03B65: Logic of natural languages
68T30: Knowledge representation
Related Items