scientific article; zbMATH DE number 2203356

MaRDI QIDQ5315128zbMATH OpenFDO

Authors A. M. Mironov

Publication date 7 September 2005

zbMATH Keywords

completeness theoremfuzzy Kripke modelsfuzzy modal logicspecification of discrete dynamical systemsuncertainty

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Fuzzy logic; logic of vagueness (03B52)

Recommendations

• A fuzzy modal logic for fuzzy transition systems
• Fuzzy logics with modalities
• On fuzzy modal logics \(S5(\mathcal C)\)
• On standard models of fuzzy modal logics
• Rough Sets and Current Trends in Computing

Cited in

(32)

• On standard models of fuzzy modal logics
• An aspect of discrepancy in the implementation of modus ponens in the presence of fuzzy quantities
• A qualitative fuzzy possibilistic logic
• On the relationship between fuzzy description logics and many-valued modal logics
• Fuzzy modus ponens as a calculus of logical modifiers: Towards Zadeh's vision of implication calculus
• A fuzzy modal logic for fuzzy transition systems
• Fuzzy relational modalities admitting truth-valueless propositions
• Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
• An exercise on the generation of many-valued dynamic logics
• Continuous accessibility modal logics
• Modal logic for qualitative dynamics
• scientific article; zbMATH DE number 3865169 (Why is no real title available?)
• scientific article; zbMATH DE number 5669606 (Why is no real title available?)
• SPECIFICATION AND COMPUTING STATES IN FUZZY ALGORITHMS
• Fuzzy logics with modalities
• Modulated logics and flexible reasoning
• scientific article; zbMATH DE number 1014400 (Why is no real title available?)
• scientific article; zbMATH DE number 1164050 (Why is no real title available?)
• scientific article; zbMATH DE number 2020807 (Why is no real title available?)
• scientific article; zbMATH DE number 2063019 (Why is no real title available?)
• Pavelka-style fuzzy justification logics
• scientific article; zbMATH DE number 2160577 (Why is no real title available?)
• A note on modal logic and possibility theory
• Multimodal epistemic Łukasiewicz logics with application in immune system
• YET ANOTHER FUZZY MODEL FOR LINEAR LOGIC
• FUZZY DYNAMIC LOGIC
• Computer Aided Systems Theory – EUROCAST 2005
• Rough Sets and Current Trends in Computing
• Lattice-valued modal propositional logic and its completeness
• Fuzzy equational logic
• On fuzzy modal logics \(S5(\mathcal C)\)
• Strict core fuzzy logics and quasi-witnessed models

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