Download:
|
by Giovanni Criscuolo, Giovanni Criscuolo, Fausto Giunchiglia, Fausto Giunchiglia, Luciano Serafini, Luciano Serafini
Add To MetaCart
Abstract:
istituto per la ricerca scientifica e tecnologica
Citations
|
498
|
Modal Logic: An Introduction
– Chellas
- 1980
|
|
495
|
Introduction to Metamathematics
– Kleene
- 1952
|
|
189
|
Natural Deduction: a Proof-Theoretical Study. Almquist and Wiskell
– Prawitz
- 1965
|
|
183
|
A Deduction Model of Belief
– Konolige
- 1986
|
|
163
|
Multilanguage hierarchical logics (or: How we can do without modal logics
– Giunchiglia, Serafini
- 1994
|
|
126
|
On Second-Order Logic
– Boolos
- 1975
|
|
126
|
Prolegomena to a theory of mechanized formal reasoning
– Weyhrauch
- 1980
|
|
100
|
Amalgamating language and metalanguage in logic programming
– Bowen, Kowalski
- 1982
|
|
90
|
Simple consequence relations
– Avron
- 1991
|
|
68
|
Contextual reasoning. Epistemologia, special issue on "I Linguaggi e le Macchine", vol. XVI
– Giunchiglia
- 1993
|
|
60
|
Analysis of meta-programs
– Hill, Lloyd
- 1989
|
|
51
|
Self-Reference and Modal Logic
– Smorynski
- 1985
|
|
51
|
Wahrheitsbegriff in den Formalisierten Sprachen”, Studia Philosophica
– Tarski, “Der
- 1935
|
|
41
|
Transfinite Recursive Progressions of Axiomatic Theories
– Feferman
- 1962
|
|
27
|
Reflection in constructive and non-constructive automated reasoning
– Giunchiglia, Smaill
- 1989
|
|
27
|
A Metatheory of a Mechanized Object Theory
– Giunchiglia, Traverso
- 1996
|
|
18
|
A Metalogic Programming Approach to Multi-agent Knowledge and Belief
– Kowalski, Kim
- 1991
|
|
12
|
Reflections about reflection
– Attardi, Simi
- 1991
|
|
10
|
Moschovakis. Recursion in Higher Types
– Kechris, N
- 1977
|
|
10
|
A First-Order Formalisation of Knowledge and Action for a Multi-Agent Planning System
– Konolige
- 1982
|
|
6
|
Hierarchical Meta-Logics: some Proof Teoretical Results
– Giunchiglia, Serafini
- 1993
|
|
4
|
On the Proof Theory of Hierarchical Meta-Logics
– Giunchiglia, Serafini
- 1993
|
|
1
|
A discussion about naming relations
– Harmelen, Simpson, et al.
- 1990
|
