Noninterference for Intuitionist Necessity

DOI10.1007/978-3-642-36039-8_17zbMath1303.03041OpenAlexW2150795706MaRDI QIDQ2936242

Radha Jagadeesan, Corin Pitcher, James Riely

Publication date: 6 January 2015

Published in: Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-36039-8_17

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

This page was built for publication: Noninterference for Intuitionist Necessity