174 search results - page 9 / 35 » Existential Fixed-Point Logic |
LICS
1998
IEEE
15 years 2 months ago
1998
IEEE
d abstract) T. Eiter G. Gottlob Y. Gurevich Institut fur Informatik Institut fur Informationssysteme EECS Department Universitat Gie en Technische Universitat Wien University of Mi...
DIAGRAMS
2008
Springer
14 years 11 months ago
2008
Springer
Diagrammatic logics have advantages over symbolic cousins. Peirce thought that logical diagrams (Existential Graphs, EG) are capable of "expression of all assertions", as...
ENTCS
2010
14 years 10 months ago
2010
It is not clear what a system for evidence-based common knowledge should look like if common knowledge is treated as a greatest fixed point. This paper is a preliminary step towar...
MFCS
2000
Springer
15 years 1 months ago
2000
Springer
The probability of a property on the collection of all finite relational structures is the limit as
AIML
2006
14 years 11 months ago
2006
