The following pages link to Giorgie Dzhaparidze (Q685074):
Displayed 6 items.
- A generalized notion of weak interpretability and the corresponding modal logic (Q685075) (← links)
- Decidable and enumerable predicate logics of provability (Q750418) (← links)
- Predicate provability logic with non-modalized quantifiers (Q1176101) (← links)
- The logic of linear tolerance (Q1207342) (← links)
- The logic of arithmetical hierarchy (Q1315831) (← links)
- Finite Kripke models and predicate logics of provability (Q3211282) (← links)