Pages that link to "Item:Q2323638"

The following pages link to Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter (Q2323638):

Displayed 10 items.

• 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)
• Undecidability of QLTL and QCTL with two variables and one monadic predicate letter (Q5059700) ‎ (← links)
• (Q5090984) ‎ (← links)
• (Q5092390) ‎ (← links)
• Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино? (Q6075540) ‎ (← 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)