Noninterference for Intuitionist Necessity

DOI10.1007/978-3-642-36039-8_17MaRDI QIDQ2936242zbMATH OpenOpenAlexFDO

Authors Radha Jagadeesan, Corin Pitcher, J. 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

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

Recommendations

• scientific article; zbMATH DE number 2064301
• Intuitionistic implication without disjunction
• A negationless interpretation of intuitionistic theories
• A constructive semantics for non‐deducibility
• Negationless intuitionism
• Nonmonotonic consequence based on intuitionistic logic
• Trustworthy Global Computing
• Provability logic without Craig's interpolation property
• scientific article; zbMATH DE number 4103049
• Relating Intuitionist Negation and Triviality

This page was built for publication: Noninterference for Intuitionist Necessity

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