Displaying updates in logic

DOI10.1093/LOGCOM/EXW001MaRDI QIDQ2957971zbMATH OpenOpenAlexFDO

Authors Guillaume Aucher

Publication date 31 January 2017

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

Full work available at URL https://hal.inria.fr/hal-01476234v2/file/JLC2016-Part1-DiplayingUpdatesInLogic-Corrected.pdf

zbMATH Keywords

bi-intuitionistic logicdisplay calculussubstructural logicsupdate

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Dynamic epistemic logic in update logic
• Gaggles, Gentzen and Galois: how to display your favourite substructural logic
• Epistemic extensions of modal distributive substructural logics
• Dynamic Epistemic Logic as a Substructural Logic
• Disentangling structural connectives or life without display property

Cited in

(3)

• Displaying modal logic
• On the universality of atomic and molecular logics via protologics
• A van Benthem theorem for atomic and molecular logics

This page was built for publication: Displaying updates in logic

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