Continuous propositional modal logic

DOI10.1080/11663081.2018.1468677MaRDI QIDQ4646652zbMATH OpenOpenAlexWikidataFDO

Authors Stefano Baratella

Publication date 14 January 2019

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2018.1468677

zbMATH Keywords

approximated completenesscontinuous logicPavelka-style completenesspropositional modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52)

Recommendations

• A completeness theorem for continuous predicate modal logic
• A note on infinitary continuous logic
• Continuous accessibility modal logics
• Many-valued modal logics: Uses and predicate calculus
• scientific article; zbMATH DE number 6863647

Cites work

• A note on axiomatizations of Pavelka-style complete fuzzy logics
• A note on infinitary continuous logic
• A proof of completeness for continuous first-order logic
• Continuous first order logic and local stability
• scientific article; zbMATH DE number 5285210 (Why is no real title available?)
• scientific article; zbMATH DE number 35414 (Why is no real title available?)
• scientific article; zbMATH DE number 97789 (Why is no real title available?)
• Metamathematics of fuzzy logic
• Modal logic
• On Fuzzy Logic I Many‐valued rules of inference
• On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
• On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi

Cited in

(9)

• A completeness theorem for continuous predicate modal logic
• Continuous accessibility modal logics
• A note on infinitary continuous logic
• scientific article; zbMATH DE number 2072512 (Why is no real title available?)
• (Dual) hoops have unique halving
• The strict/tolerant family continued: quantifiers and modalities
• UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
• The \(\mathbb{R}\)eal truth
• Linear abelian modal logic

This page was built for publication: Continuous propositional modal logic

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