Pages that link to "Item:Q4079563"
From MaRDI portal
The following pages link to One hundred and two problems in mathematical logic (Q4079563):
Displaying 30 items.
- Globally admissible inference rules (Q2685547) (← links)
- Realisability for infinitary intuitionistic set theory (Q2700803) (← links)
- In Memoriam: George Stephen Boolos 1940–1996 (Q3128484) (← links)
- A New Proof of Friedman's Conjecture (Q3174641) (← links)
- A Tableau Method for Checking Rule Admissibility in S4 (Q3185759) (← links)
- A Note on Extensions: Admissible Rules via Semantics (Q3455846) (← links)
- On a question of Slaman and Groszek (Q3533885) (← links)
- Duality Between Logics and Equivalence Relations (Q3960670) (← links)
- A Basis Theorem for Perfect Sets (Q4212936) (← links)
- 1997–1998 Winter Meeting of the Association for Symbolic Logic (Q4212938) (← links)
- Admissible and derivable rules in intuitionistic logic (Q4279242) (← links)
- <i>KD</i> is nullary (Q4586229) (← links)
- Barwise: Abstract Model Theory and Generalized Quantifiers (Q4678933) (← links)
- (Q4966006) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY (Q5037515) (← links)
- On the ‘definability of definable’ problem of Alfred Tarski, Part II (Q5045614) (← links)
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge (Q5068380) (← links)
- There is no bound on Borel classes of graphs in the Luzin–Novikov theorem (Q5070635) (← links)
- ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC (Q5085859) (← links)
- Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility (Q5214739) (← links)
- Multiple Conclusion Rules in Logics with the Disjunction Property (Q5283419) (← links)
- Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility (Q5283440) (← links)
- PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (Q5737940) (← links)
- Partitions of topological spaces and a new club-like principle (Q5878591) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858) (← links)
- Explicit basis for admissible rules in \(K\)-saturated tabular logics (Q6043885) (← links)
- Admissible inference rules of modal WCP-logics (Q6193927) (← links)
- An explicit basis for \textit{WCP}-globally admissible inference rules (Q6199357) (← links)
