scientific article; zbMATH DE number 868086

MaRDI QIDQ4873969zbMATH OpenFDO

Authors Dov Gabbay

Publication date 1995

zbMATH Keywords

consequence relationsemanticsnonmonotonic logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
• scientific article; zbMATH DE number 6296813
• scientific article; zbMATH DE number 1140670
• Publication:4944944
• Fibring Logics with Topos Semantics
• scientific article; zbMATH DE number 1931660
• Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation
• Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness
• scientific article; zbMATH DE number 7204444
• scientific article; zbMATH DE number 500952

Cited in

(4)

• Fibring non-truth-functional logics: Completeness preservation
• scientific article; zbMATH DE number 1241671 (Why is no real title available?)
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Disjoint fibring of non-deterministic matrices

This page was built for publication:

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