Pages that link to "Item:Q2323638"
From MaRDI portal
The following pages link to Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter (Q2323638):
Displaying 12 items.
- Undecidability results on two-variable logics (Q1306795) (← links)
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation (Q2148903) (← links)
- One-variable fragments of intermediate logics over linear frames (Q2672661) (← links)
- Computational complexity of the word problem in modal and Heyting algebras with a small number of generators (Q2678341) (← links)
- Undecidable first-order theories of affine geometries (Q2871479) (← links)
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter (Q5059700) (← links)
- (Q5090984) (← links)
- (Q5092390) (← links)
- A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic (Q6082225) (← links)
- Are bundles good deals for first-order modal logic? (Q6116193) (← links)
- Semiproducts, products, and modal predicate logics: some examples (Q6123100) (← links)
- Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter (Q6287908) (← links)
