Pages that link to "Item:Q5052011"
From MaRDI portal
The following pages link to UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS (Q5052011):
Displaying 6 items.
- Undefinability in inquisitive logic with tensor (Q2291224) (← links)
- A Universally Defined Undecidable Unimodal Logic (Q3088054) (← links)
- (Q3124391) (← links)
- (Q3329437) (← links)
- A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes (Q3647203) (← links)
- Strong standard completeness theorems for S5-modal Łukasiewicz logics (Q6658082) (← links)