Algebraic Polymodal Logic: A Survey (2000)

Cached

Download Links

by Robert Goldblatt
Citations:2 - 0 self

Active Bibliography

Logic Journal of the IGPL, Vol. 8, No. 4 – Dov M. Gabbay, Ruy De Queiroz, Hans J Urgen Ohlbach, Jon Barwise (deceased, Wilfrid Hodges, Hans Kamp, Robert Kowalski, Ewa Orlowska, Amir Pnueli, Vaughan Pratt, Saharon Shelah, Johan Van Benthem - 2000
28 Mathematical Modal Logic: a View of its Evolution – Robert Goldblatt - 2001
507 GOLOG: A Logic Programming Language for Dynamic Domains – Hector J. Levesque, Raymond Reiter, Yves LespĂ©rance, Fangzhen Lin, Richard B. Scherl - 1994
826 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
1136 Intelligent agents: Theory and practice – Michael Wooldridge, Nicholas R. Jennings - 1995
4 Non-Representable Algebras of Relations – Andras Simon - 1997
20 MODEL THEORY OF MODAL LOGIC – Valentin Goranko, Martin Otto
12 Modal Logic: A Semantic Perspective – Patrick Blackburn, Johan van Benthem - 1988
345 Alloy: A Lightweight Object Modelling Notation – Daniel Jackson - 2001