Pages that link to "Item:Q3809770"
From MaRDI portal
The following pages link to Many-Valued Modal Propositional Calculi (Q3809770):
Displaying 28 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)
- Some modal logics based on a three-valued logic (Q1115854) (← links)
- A qualitative fuzzy possibilistic logic (Q1344258) (← links)
- Many-valued multi-modal logics, satisfiability problem (Q1669939) (← 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)
- On a Boolean-valued model for modal propositional systems (Q2748855) (← links)
- Many-valued modal logics: Uses and predicate calculus (Q3032229) (← links)
- (Q3165670) (← links)
- Formalisations of Many‐Valued Propositional Calculi with Variable Functors (Q3347858) (← links)
- AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS (Q3427870) (← links)
- MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH (Q3580668) (← links)
- Many-valued modal logics (Q3989936) (← links)
- A relational formalisation of arbitrary finite valued logics (Q4221773) (← links)
- (Q4329272) (← links)
- (Q4542619) (← links)
- Axiom schemes for <i>m</i>-valued propositions calculi (Q5845641) (← links)
- Natural dualities for varieties generated by finite positive MV-chains (Q6610058) (← links)
