Modal Frame Correspondences and Fixed-Points

<i>Dynamic Logic</i> by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages

Yde Venema · Theory and Practice of Logic Programming · 2002 · 484 citations

Humanities, Computer Science, Knowledge Representation +8

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

Logical questions concerning the <i>μ</i>-calculus: Interpolation, Lyndon and Łoś-Tarski

Giovanna D’Agostino, M. Hollenberg · Journal of Symbolic Logic · 2000 · 96 citations

Humanities, Computer Science, Mathematics +10

Quantifier Elimination in Second-Order Predicate Logic.

Dov M. Gabbay, Hans Jürgen Ohlbach · 1992 · 88 citations · Full text

Humanities, Computer Science, Mathematics +17

Interpolation for extended modal languages

Balder ten Cate · Journal of Symbolic Logic · 2005 · 50 citations

Humanities, Computer Science, Mathematics +10