INFORMATION THEORIES & APPLICATIONS

Meaning and Necessity, A Study in Semantics and Modal Logic.

Philosophy and Phenomenological Research · 1958 · 763 citations

Humanities, Philosophy, Logic +10

On the relation between default and autoepistemic logic

Kurt Konolige · Artificial Intelligence · 1988 · 323 citations

Humanities, Philosophy, Logic +7

Modalities and Quantification

Rudolf Carnap · Journal of Symbolic Logic · 1946 · 273 citations

Humanities, Computer Science, Mathematics +16

Metafunctions: Proving Them Correct and Using Them Efficiently as New Proof Procedures.

Robert S. Boyer, J Strother Moore · Defense Technical Information Center (DTIC) · 1979 · 110 citations

Computing, Computer Science, Formal Methods +14

Virtual instrumentation and virtual environments

H.J.W. Spoelder · IEEE Instrumentation & Measurement Magazine · 1999 · 86 citations

Engineering, Computer Engineering, Computer Science +12