Foundations of Software Science and Computation Structures
From MaRDI portal
Publication:5308468
DOI10.1007/b95995zbMath1126.03317MaRDI QIDQ5308468
Vicky Weissman, Riccardo Pucella
Publication date: 28 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b95995
91B06: Decision theory
03B45: Modal logic (including the logic of norms)
03B80: Other applications of logic
Related Items
Separation logics and modalities: a survey, Global and Local Graph Modifiers, Connectivity games over dynamic networks, Reasoning about permitted announcements, Logical dynamics of some speech acts that affect obligations and preferences