The following pages link to (Q5582311):
Displayed 4 items.
- The application of constraint semantics to the language of subjective uncertainty (Q288241) (← links)
- CIFOL: case-intensional first order logic. I: Toward a theory of sorts (Q484112) (← links)
- A free logic with intensions as possible values of terms (Q1228607) (← links)
- The expressive power of second-order propositional modal logic (Q1924326) (← links)