Pages that link to "Item:Q1309336"
From MaRDI portal
The following pages link to Quantified modal logics of positive rational numbers and some related systems (Q1309336):
Displaying 4 items.
- The d-logic of the rational numbers: a fruitful construction (Q633161) (← links)
- Ordered sets R and Q as bases of Kripke models (Q1109762) (← links)
- More on \(d\)-logics of subspaces of the rational numbers (Q1762355) (← links)
- On Kripke completeness of modal predicate logics around quantified \textbf{K5} (Q2105091) (← links)