A substructural epistemic resource logic: theory and modelling applications

DOI10.1093/logcom/exz024zbMath1479.03012arXiv1909.07296OpenAlexW2997707599WikidataQ127290716 ScholiaQ127290716MaRDI QIDQ5216343

Didier Galmiche, Pierre Kimmel, David J. Pym

Publication date: 17 February 2020

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1909.07296

zbMATH Keywords

semanticsepistemic logicresource logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items

An epistemic separation logic with action models, A separation logic with histories of epistemic actions as resources