Pages that link to "Item:Q3370616"
From MaRDI portal
The following pages link to Undecidability of First-Order Intuitionistic and Modal Logics with Two variables (Q3370616):
Displaying 20 items.
- Undecidability results on two-variable logics (Q1306795) (← links)
- Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\) (Q1826435) (← links)
- Decidable and undecidable logics with a binary modality (Q1909606) (← links)
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation (Q2148903) (← links)
- Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter (Q2323638) (← links)
- Decidability of order-based modal logics (Q2361346) (← links)
- Non-primitive recursive decidability of products of modal logics with expanding domains (Q2503403) (← links)
- A general method for proving decidability of intuitionistic modal logics (Q2506825) (← links)
- One-variable fragments of intermediate logics over linear frames (Q2672661) (← links)
- Computational complexity of theories of a binary predicate with a small number of variables (Q2696689) (← links)
- Simulation of two dimensions in unimodal logics (Q2904064) (← links)
- Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
- Modal Logics Between Propositional and First-order (Q4796461) (← links)
- Undecidability results on two-variable logics (Q5048929) (← links)
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter (Q5059700) (← links)
- (Q5090984) (← links)
- (Q5092390) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)
- A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic (Q6082225) (← links)
- Decidable and Undecidable Problems for First-Order Definability and Modal Definability (Q6487229) (← links)
