Ultraproducts and possible worlds semantics in institutions

Algebraic laws for nondeterminism and concurrency

Matthew Hennessy, Robin Milner · Journal of the ACM · 1985 · 1.4K citations

Computing, Computer Science, Computer Systems +15

Conditional rewriting logic as a unified model of concurrency

José Meseguer · Theoretical Computer Science · 1992 · 1.3K citations

Computing, Computer Science, Computer Systems +9

CATEGORIES FOR THE WORKING MATHEMATICIAN

A. Bowtell · Bulletin of the London Mathematical Society · 1974 · 1.3K citations

Natural Sciences, Mathematics, Algebra +7

Introduction to Higher Order Categorical Logic.

J. L. Bell, J. Lambek, Philip Scott · Journal of Symbolic Logic · 1989 · 1.1K citations

Humanities, Mathematics, Logic +11

A completeness theorem in modal logic

Saul A. Kripke · Journal of Symbolic Logic · 1959 · 1.1K citations

Humanities, Computer Science, Mathematics +11