Modal logic via global consequence

DOI10.1007/978-3-030-88853-4_8MaRDI QIDQ2148783zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Sequent calculi for global modal consequence relations
• A natural semantics for modal logic over databases
• scientific article; zbMATH DE number 1749143
• scientific article; zbMATH DE number 1254481
• Dynamic Versus Classical Consequence

Cites work

• scientific article; zbMATH DE number 4041866 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 1749143 (Why is no real title available?)
• scientific article; zbMATH DE number 2101968 (Why is no real title available?)
• An update on epistemic modals
• Defaults in update semantics
• Epistemic Conditionals and Conditional Epistemics
• Epistemic modals and informational consequence
• Modal logic
• Proof methods for modal and intuitionistic logics
• Sequent calculi for global modal consequence relations
• Three etudes on logical dynamics and the program of natural logic
• Tools and techniques in modal logic

Cited in

(4)

• Modal Logic via Global Consequence
• scientific article; zbMATH DE number 5640556 (Why is no real title available?)
• scientific article; zbMATH DE number 823598 (Why is no real title available?)
• Reducing Modal Consequence Relations

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

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