scientific article; zbMATH DE number 1252392

MaRDI QIDQ4229376zbMATH OpenFDO

Authors Patrice Bailhache

Publication date 5 July 1999

zbMATH Keywords

axiomatic approachcompletenessframesmetapropertiesmodal logicpossible worlds semanticssoundness

Mathematics Subject Classification ID

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

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

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)