A substructural modal logic of utility

DOI10.1093/LOGCOM/EXW030zbMATH Open1419.03020OpenAlexW2735499049MaRDI QIDQ3133170FDOQ3133170

Gabrielle Anderson, David Pym

Publication date: 13 February 2018

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exw030

Recommendations

• Modal Logics of Negotiation and Preference
• A substructural epistemic resource logic: theory and modelling applications
• A substructural epistemic resource logic
• Non-normal modalities in variants of linear logic
• A modal separation logic for resource dynamics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cited In (1)

• Modelling inexact utility theory in a multi-valued logic of approximation

This page was built for publication: A substructural modal logic of utility

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3133170)