Many-Valued Modal Propositional Calculi

DOI10.1002/malq.19880340411zbMath0661.03011OpenAlexW1964254650MaRDI QIDQ3809770

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)

Related Items (16)

On tense MV-algebras ⋮ Modal definability based on Łukasiewicz validity relations ⋮ A qualitative fuzzy possibilistic logic ⋮ Tableaus for many-valued modal logic ⋮ On fuzzy modal logics \(S5(\mathcal C)\) ⋮ Partial tense MV-algebras and related functions ⋮ Extending maps to profinite completions in finitely generated quasivarieties ⋮ Propositional dynamic logic for searching games with errors ⋮ A four-valued dynamic epistemic logic ⋮ A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system ⋮ Belnap-Dunn modal logic with value operators ⋮ Multimodal epistemic Łukasiewicz logics with application in immune system ⋮ MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH ⋮ Neighbourhood semantics for FDE-based modal logics ⋮ AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS ⋮ Operators on MV-algebras and their representations.

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