Documents Related by Co-Citation

823 A New Introduction to Modal Logic – G E Hughes, M J Cresswell - 1996
731 Light Linear Logic – Jean-yves Girard
846 Introduction to metamathematics – S C Kleene - 1952
1765 Reasoning about Knowledge – R Fagin, J Y Halpern, Y Moses, M Y Vardi - 1995
755 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
513 Knowledge and Belief – J HINTIKKA - 1962
491 The formulae-as-types notion of construction – W Howard - 1980
1244 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
528 Applications Of Circumscription To Formalizing Common Sense Knowledge – John McCarthy - 1986