scientific article; zbMATH DE number 5046782
Publication:5483306
zbMath1102.03033MaRDI QIDQ5483306
Publication date: 16 August 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
constructive action algebraconstructive concurrent prepositional dynamic logicconstructive negation operationnegation as refrainingnegation of generic actionsreasoning about actions and obligation
Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Paraconsistent logics (03B53)
Related Items