Pages that link to "Item:Q4646652"
From MaRDI portal
The following pages link to Continuous propositional modal logic (Q4646652):
Displaying 6 items.
- A completeness theorem for continuous predicate modal logic (Q1712937) (← links)
- Continuous accessibility modal logics (Q2686094) (← links)
- A note on infinitary continuous logic (Q3460523) (← links)
- Strict/Tolerant Family Continued: Quantifiers and Modalities (Q5021990) (← links)
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS (Q5052011) (← links)
- Linear abelian modal logic (Q6555699) (← links)