Search for consequences
| Abstract | NOTE: This is an edited version of my lecture at LC ‘06. It differs from my earlier lecture at the Gödel Centenary in Vienna, April 29, 2006 most notably in section 5, where “Finite Graph Theory” is replaced by “Order Calculus”. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesHoward Rosenbrock (2004). Ethics, Science, and the Mechanisation of the World Picture. AI and Society 18 (1):7-20.
Wolfgang Rautenberg (1986). Applications of Weak Kripke Semantics to Intermediate Consequences. Studia Logica 45 (1):119 - 134.
Leon Horsten & Philip Welch (2007). The Undecidability of Propositional Adaptive Logic. Synthese 158 (1):41 - 60.
Roberto Cordeschi (2006). Searching in a Maze, in Search of Knowledge: Issues in Early Artificial Intelligence. In O. Stock & M. Schaerf (eds.), Lecture Notes In Computer Science. Springer-Verlag.
Darren Staloff (1995). The Search for a Meaningful Past. Teaching Co..
Brendan Kitts (1999). Representation Operators and Computation. Minds and Machines 9 (2):223-240.
Leszek Kołakowski (1975/2001). Husserl and the Search for Certitude. St. Augustine's Press.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads2 ( #232,628 of 549,592 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
