The following pages link to Graded modalities. I (Q1065786):
Displayed 12 items.
- An essay in combinatory dynamic logic (Q809068) (← links)
- On the undecidability of logics with converse, nominals, recursion and counting (Q814615) (← links)
- General canonical models for graded normal logics. (Graded modalities. IV) (Q920975) (← links)
- Graded modalities. II. (Canonical models) (Q1106193) (← links)
- Normal predicative logics with graded modalities (Q1106194) (← links)
- Graded modalities. III: The completeness and compactness of \(S4^ 0\) (Q1113889) (← links)
- Decidability by filtrations for graded normal logics. (Graded modalities. V) (Q1317901) (← links)
- Models of nondeterministic regular expressions (Q1970200) (← links)
- A new combination procedure for the word problem that generalizes fusion decidability results in modal logics (Q2432763) (← links)
- Linear-time temporal logics with Presburger constraints: an overview ★ (Q3647243) (← links)
- Some considerations on the logics P<sub>F</sub>D A logic combining modality and probability (Q4354625) (← links)
- The Modality of Finite (Graded Modalities VII) (Q4704653) (← links)