Many-Valued Modal Propositional Calculi

DOI10.1002/MALQ.19880340411MaRDI QIDQ3809770zbMATH OpenOpenAlexFDO

Authors Pascal Ostermann

Publication date 1988

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19880340411

zbMATH Keywords

completeness with respect to n-valued Kripke semanticsmodal many-valued propositional calculin-valued Kripke model

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 35414
• scientific article; zbMATH DE number 97789
• Some modal logics based on a three-valued logic
• Many-valued modal logics: Uses and predicate calculus
• scientific article; zbMATH DE number 4029509

Cited in

(32)

• scientific article; zbMATH DE number 6099698 (Why is no real title available?)
• A qualitative fuzzy possibilistic logic
• A four-valued dynamic epistemic logic
• scientific article; zbMATH DE number 1735909 (Why is no real title available?)
• scientific article; zbMATH DE number 4101146 (Why is no real title available?)
• scientific article; zbMATH DE number 4029509 (Why is no real title available?)
• scientific article; zbMATH DE number 35414 (Why is no real title available?)
• Multimodal epistemic Łukasiewicz logics with application in immune system
• Some Operators in Kripke Models with an Involution
• On tense MV-algebras
• AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS
• Propositional dynamic logic for searching games with errors
• Belnap-Dunn modal logic with value operators
• Neighbourhood semantics for FDE-based modal logics
• Natural dualities for varieties generated by finite positive MV-chains
• Axiom schemes for m-valued propositions calculi
• Modal definability based on Łukasiewicz validity relations
• A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system
• scientific article; zbMATH DE number 1775492 (Why is no real title available?)
• A relational formalisation of arbitrary finite valued logics
• Formalisations of Many‐Valued Propositional Calculi with Variable Functors
• On fuzzy modal logics \(S5(\mathcal C)\)
• Many-valued multi-modal logics, satisfiability problem
• Many-valued modal logics: Uses and predicate calculus
• scientific article; zbMATH DE number 3906477 (Why is no real title available?)
• Operators on MV-algebras and their representations.
• Many-valued modal logics: a simple approach
• Some modal logics based on a three-valued logic
• Partial tense MV-algebras and related functions
• Tableaus for many-valued modal logic
• Many-valued modal logic
• On a Boolean-valued model for modal propositional systems

This page was built for publication: Many-Valued Modal Propositional Calculi

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