The following pages link to (Q4603449):
Displaying 7 items.
- Free modal Riesz spaces are Archimedean: a syntactic proof (Q2695359) (← links)
- A Classical Realizability Model for a Semantical Value Restriction (Q2802494) (← links)
- (Q4636037) (← links)
- MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS (Q5052001) (← links)
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS (Q5052011) (← links)
- (Q5094116) (← links)
- Linear abelian modal logic (Q6555699) (← links)