Pages that link to "Item:Q2204385"
From MaRDI portal
The following pages link to Extending maps to profinite completions in finitely generated quasivarieties (Q2204385):
Displaying 24 items.
- Modal definability based on Łukasiewicz validity relations (Q284231) (← links)
- Propositional dynamic logic for searching games with errors (Q472791) (← links)
- On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief (Q1677044) (← links)
- On the relationship between fuzzy description logics and many-valued modal logics (Q1726404) (← links)
- Expressivity in chain-based modal logics (Q1745356) (← links)
- Neighborhood semantics for modal many-valued logics (Q1795204) (← links)
- Logics for belief functions on MV-algebras (Q1951299) (← links)
- Axiomatization of crisp Gödel modal logic (Q2021571) (← links)
- Axiomatizing logics of fuzzy preferences using graded modalities (Q2035319) (← links)
- On transitive modal many-valued logics (Q2035340) (← links)
- A semantics and a logic for \textit{Fuzzy Arden Syntax} (Q2099984) (← links)
- MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions (Q2282273) (← links)
- Toward a general frame semantics for modal many-valued logics (Q2317513) (← links)
- Decidability of order-based modal logics (Q2361346) (← links)
- (Q2377056) (redirect page) (← links)
- (Q4603449) (← links)
- Continuous propositional modal logic (Q4646652) (← links)
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS (Q5052011) (← links)
- Łukasiewicz Public Announcement Logic (Q5117203) (← links)
- Modal operators on pseudo-BE algebras (Q5858312) (← links)
- Introduction (Q5892200) (← links)
- Frame definability in finitely valued modal logics (Q6040618) (← links)
- Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\) (Q6058015) (← links)
- An algebraic semantics for possibilistic finite-valued Łukasiewicz logic (Q6116520) (← links)
