Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics

Algebraic laws for nondeterminism and concurrency

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

Computing, Computer Science, Computer Systems +15

Johan van Benthem. Modal logic and classical logic. Indices, no. 3. Bibliopolis, Naples 1985 (©1983), also distributed by Humanities Press, Atlantic Highlands, N.J., 234 pp.

R. A. Bull · Journal of Symbolic Logic · 1987 · 329 citations

Humanities, Philosophy, Logic +8

Hybrid logics: characterization, interpolation and complexity

Carlos Areces, Patrick Blackburn, M. Marx · Journal of Symbolic Logic · 2001 · 213 citations

Humanities, Computer Science, Mathematics +15

Making fuzzy description logic more general

Petr Hájek · Fuzzy Sets and Systems · 2005 · 195 citations

Computing, Computer Science, Logic +8

On the origins of bisimulation and coinduction

Davide Sangiorgi · ACM Transactions on Programming Languages and Systems · 2009 · 185 citations · Full text

Natural Sciences, Computer Science, Mathematics +11