Publication:5483306
From MaRDI portal
zbMath1102.03033MaRDI QIDQ5483306
Publication date: 16 August 2006
constructive action algebra; constructive concurrent prepositional dynamic logic; constructive negation operation; negation as refraining; negation of generic actions; reasoning about actions and obligation
03B45: Modal logic (including the logic of norms)
03B60: Other nonclassical logic
68T27: Logic in artificial intelligence
03A05: Philosophical and critical aspects of logic and foundations
03B42: Logics of knowledge and belief (including belief change)
03B70: Logic in computer science
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03B53: Paraconsistent logics
Related Items
Action negation and alternative reductions for dynamic deontic logics, Dynamic non-commutative logic, A Complete STIT Logic for Knowledge and Action, and Some of Its Applications