Non-primitive recursive decidability of products of modal logics with expanding domains

Reasoning about knowledge

Mathematical Social Sciences · 1994 · 3.6K citations

Reasoning, Knowledge Representation, Cognitive Science +7

Well-quasi-ordering, the Tree Theorem, and Vazsonyi’s conjecture

Joseph B. Kruskal · Transactions of the American Mathematical Society · 1960 · 454 citations · Full text

On well-quasi-ordering finite trees

C. St. J. A. Nash‐Williams · Mathematical Proceedings of the Cambridge Philosophical Society · 1963 · 309 citations

Order Theory, Tree Language, Finite Trees +7

A sequent calculus for nominal logic

Murdoch J. Gabbay, James Cheney · Logic in Computer Science · 2004 · 306 citations

Non-classical Logic, Syntax, Engineering +14

Two-dimensional modal logic

Krister Segerberg · Journal of Philosophical Logic · 1973 · 289 citations

Two-dimensional Modal Logic, Automated Reasoning, Propositional Logic +3