Fibring logics

MaRDI QIDQ5416169zbMATH OpenFDO

Authors Carlos Caleiro, Amílcar Sernadas

Publication date 19 May 2014

Mathematics Subject Classification ID

Combined logics (03B62)

Recommendations

• scientific article; zbMATH DE number 1219632
• Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
• scientific article; zbMATH DE number 1140670
• Combinations of modal logics
• Analysis and synthesis of logics. How to cut and paste reasoning systems

Cited in

(7)

• Combinations of modal logics
• Editors' introduction to the special issue on combining logics
• On combined connectives
• Splitting logics
• scientific article; zbMATH DE number 500952 (Why is no real title available?)
• scientific article; zbMATH DE number 1140670 (Why is no real title available?)
• Deciding theoremhood in fibered logics without shared connectives

This page was built for publication: Fibring logics

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