scientific article; zbMATH DE number 1252392

zbMATH Open0915.03018MaRDI QIDQ4229376FDOQ4229376

Authors: Patrice Bailhache 

Publication date: 5 July 1999

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 523906
• Kripke completeness revisited
• scientific article; zbMATH DE number 2019849
• Completeness and incompleteness in first-order modal logic: an overview
• scientific article; zbMATH DE number 2109537

zbMATH Keywords

framescompletenessmodal logicsoundnessaxiomatic approachpossible worlds semanticsmetaproperties

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 20th century (01A60) Modal logic (including the logic of norms) (03B45) History of mathematical logic and foundations (03-03)

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