Pages that link to "Item:Q3848194"
From MaRDI portal
The following pages link to The Undecidability of Monadic Modal Quantification Theory (Q3848194):
Displayed 22 items.
- Critical notice to: D. M. Gabbay's ''Investigations in modal and tense logics with applications to problems in philosophy and linguistics'' (Q1139033) (← links)
- Logical atomism, nominalism, and modal logic (Q1221736) (← links)
- Completeness of a first-order temporal logic with time-gaps (Q1350524) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Some first-order probability logics (Q1583250) (← links)
- On the universality of atomic and molecular logics via protologics (Q2169136) (← links)
- Dynamic term-modal logics for first-order epistemic planning (Q2211848) (← links)
- Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter (Q2323638) (← links)
- Validity and necessity (Q2572383) (← links)
- Decidable fragments of first-order modal logics (Q2758067) (← links)
- Undecidability of First-Order Intuitionistic and Modal Logics with Two variables (Q3370616) (← links)
- The operator gap theorem in α-recursion theory (Q4198498) (← links)
- Undecidability of modal and intermediate first-order logics with two individual variables (Q4276022) (← links)
- Undecidability of QLTL and QCTL with two variables and one monadic predicate letter (Q5059700) (← links)
- (Q5090984) (← links)
- (Q5092390) (← links)
- Logical analysis of emotions in text from natural language (Q5114311) (← links)
- An undecidable two sorted predicate calculus (Q5579020) (← links)
- Sufficient conditions for the undecidability of intuitionistic theories with applications (Q5681991) (← links)
- Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино? (Q6075540) (← links)
- A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic (Q6082225) (← links)
- Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs (Q6152664) (← links)