Modal logic via global consequence

DOI10.1007/978-3-030-88853-4_8OpenAlexW3209539560MaRDI QIDQ2148783

Xuefeng Wen

Publication date: 24 June 2022

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

zbMATH Keywords

modal logicupdate semanticsdomain semanticsglobal consequencelocal consequence

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An update on epistemic modals
• Epistemic modals and informational consequence
• Proof methods for modal and intuitionistic logics
• Tools and techniques in modal logic
• Defaults in update semantics
• Sequent calculi for global modal consequence relations
• Three Etudes on Logical Dynamics and the Program of Natural Logic
• Epistemic Conditionals and Conditional Epistemics

This page was built for publication: Modal logic via global consequence