Opening book details…
Can I read A Substructural Modal Logic of Utility on EtoBox?
A Substructural Modal Logic of Utility by Anderson, Gabrielle; Pym, David is a Computer Science article available to read on EtoBox.
What is A Substructural Modal Logic of Utility about?
## Abstract We introduce a substructural modal logic of utility that can be used to reason aboutoptimality with respect to properties of states. Our notion of state is quite general, and is able to represent resource allocation problems in distributed systems. The underlying logic is a variant of the modal logic of bunched implications, and based on resource semantics, which is closely related to concurrent separation logic. We consider a labelled transition semantics and establish conditions under which Hennessy—Milner soundness and completeness hold. By considering notions of cost, strategy and utility, we are able to formulate characterizations of Pareto optimality, best responses, and Nash equilibrium within resource semantics. We also show that our logic is able to serve as a logic for a fully featured process algebra and explain the interaction between utility and the structure of processes.
Who reads A Substructural Modal Logic of Utility?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Anderson, Gabrielle; Pym, David
- Publisher
- Oxford University Press; Oxford University Press (OUP) (ISSN 0955-792X)
- Published
- 2017
- Language
- EN
- Field
- Computer Science (Physical Sciences)