Pages that link to "Item:Q3809770"
From MaRDI portal
The following pages link to Many-Valued Modal Propositional Calculi (Q3809770):
Displayed 16 items.
- On tense MV-algebras (Q277554) (← links)
- Modal definability based on Łukasiewicz validity relations (Q284231) (← links)
- Propositional dynamic logic for searching games with errors (Q472791) (← links)
- Multimodal epistemic Łukasiewicz logics with application in immune system (Q521734) (← links)
- On fuzzy modal logics \(S5(\mathcal C)\) (Q622028) (← links)
- A qualitative fuzzy possibilistic logic (Q1344258) (← links)
- Partial tense MV-algebras and related functions (Q1697648) (← links)
- Tableaus for many-valued modal logic (Q1896755) (← links)
- Neighbourhood semantics for FDE-based modal logics (Q2062194) (← links)
- Extending maps to profinite completions in finitely generated quasivarieties (Q2204385) (← links)
- A four-valued dynamic epistemic logic (Q2228448) (← links)
- Belnap-Dunn modal logic with value operators (Q2243547) (← links)
- Operators on MV-algebras and their representations. (Q2351465) (← links)
- A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system (Q2462669) (← links)
- AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS (Q3427870) (← links)
- MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH (Q3580668) (← links)