Conditionals and modularity in general logics

DOI10.1007/978-3-642-19068-1MaRDI QIDQ3083215zbMATH OpenOpenAlexFDO

Authors Dov Gabbay, K. Schlechta

Publication date 21 March 2011

Published in Cognitive Technologies (Search for Journal in Brave)

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

zbMATH Keywords

interpolationindependencemodularityconditionalspropositional logicnonmonotonic logicneighbourhood semanticsantitonic logicmonotonic logic

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Interpolation, preservation, definability (03C40) General logic (03Bxx)

Abstract: In this work in progress, we discuss independence and interpolation and related topics for classical, modal, and non-monotonic logics.

Recommendations

• Semantic interpolation
• Interpolation in non-classical logics
• Formal Methods for Nonmonotonic and Related Logics
• scientific article; zbMATH DE number 2184446
• A New Perspective on Nonmonotonic Logics

Cited in

(8)

• De Finettian logics of indicative conditionals. I: Trivalent semantics and validity
• De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics
• Generic Modal Cut Elimination Applied to Conditional Logics
• Default consequence relations from topology and measure theory
• On congruence modularity in varieties of logic.
• Preservation of Craig interpolation by the product of matrix logics
• scientific article; zbMATH DE number 972583 (Why is no real title available?)
• scientific article; zbMATH DE number 2184446 (Why is no real title available?)

This page was built for publication: Conditionals and modularity in general logics

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