Proof theory for hybrid(ised) logics

Software abstractions: logic, language and analysis

Choice Reviews Online · 2007 · 1.5K citations

Computing, Computer Science, Design Automation +11

Stanford Encyclopedia of Philosophy

Catarina Dutilh Novaes · 2012 · 1.5K citations

Humanities, Philosophy, Continental Philosophy +7

Institutions: abstract model theory for specification and programming

Joseph A. Goguen, R. M. Burstall · Journal of the ACM · 1992 · 988 citations · Full text

Computing, Computer Science, Formal Methods +13

Two-dimensional modal logic

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

Adding a temporal dimension to a logic system

Marcelo Finger, Dov M. Gabbay · Journal of Logic Language and Information · 1992 · 188 citations

Humanities, Computer Science, Systems Engineering +14