Fibring Modal First-Order Logics: Completeness Preservation

DOI10.1093/JIGPAL/10.4.413MaRDI QIDQ4779584zbMATH OpenOpenAlexFDO

Authors Alberto Zanardo, Amílcar Sernadas, Cristina Sernadas

Publication date 24 August 2003

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/a6f06fbf7fdf741445df82d38eab1f62ffa8b73a

zbMATH Keywords

completenessfirst-order modal logicfibring

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• Fibring as biporting subsumes asymmetric combinations
• Modulated fibring and the collapsing problem
• Fibring Logics with Topos Semantics
• Preservation by fibring of the finite model property
• Logics of Modal Terms for Systems Specification
• scientific article; zbMATH DE number 1219632
• Fibring Labelled Deduction Systems
• scientific article; zbMATH DE number 1867301
• ``Necessary for
• Malinowski modalization, modalization through fibring and the Leibniz hierarchy

Cited in

(5)

• Combinations and completeness transfer for quantified modal logics
• Completeness results for fibred parchments. Beyond the propositional base
• Fibring Logics with Topos Semantics
• An NP-complete fragment of fibring logic
• Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3

This page was built for publication: Fibring Modal First-Order Logics: Completeness Preservation

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