A completeness theorem for continuous predicate modal logic

DOI10.1007/S00153-018-0630-7MaRDI QIDQ1712937zbMATH OpenOpenAlexFDO

Authors Stefano Baratella

Publication date 24 January 2019

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL http://link.springer.com/article/10.1007/s00153-017-0554-7

zbMATH Keywords

modal logicpredicate logiccontinuous logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Recommendations

• Continuous propositional modal logic
• scientific article; zbMATH DE number 2109537
• scientific article; zbMATH DE number 1735876
• Some incompletable modal predicate logics
• A note on infinitary continuous logic

Cites work

• scientific article; zbMATH DE number 35414 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• A proof of completeness for continuous first-order logic
• Continuous first order logic and local stability
• Continuous propositional modal logic
• Many-valued modal logics: a simple approach
• Model theory for metric structures

Cited in

(14)

• A proof of completeness for continuous first-order logic
• A note on infinitary continuous logic
• On Kripke completeness of some modal predicate logics with the density axiom
• scientific article; zbMATH DE number 2109537 (Why is no real title available?)
• Continuous accessibility modal logics
• A predicate extension of real valued logic
• UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
• A topos for continuous logic
• Continuous propositional modal logic
• Completeness for linear continuous logic
• Proof-theoretic modal PA-completeness. I: A system-sequent metric
• Proof-theoretic modal PA-completeness. III: The syntactic proof
• Continuous Markovian logic -- from complete axiomatization to the metric space of formulas
• A completeness proof for a regular predicate logic with undefined truth value

This page was built for publication: A completeness theorem for continuous predicate modal logic

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