Pages that link to "Item:Q4276022"
From MaRDI portal
The following pages link to Undecidability of modal and intermediate first-order logics with two individual variables (Q4276022):
Displayed 10 items.
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation (Q2148903) (← links)
- Non-primitive recursive decidability of products of modal logics with expanding domains (Q2503403) (← links)
- Two-Variable Separation Logic and Its Inner Circle (Q2957697) (← links)
- Undecidability of First-Order Intuitionistic and Modal Logics with Two variables (Q3370616) (← links)
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 (Q3430941) (← links)
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter (Q5059700) (← links)
- (Q5090984) (← links)
- Nilpotent Minimum Logic NM and Pretabularity (Q5126202) (← links)
- (Q5863756) (← links)
- Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино? (Q6075540) (← links)