Applications of Mathematical Logic in Philosophy and Linguistics
November 10th to 13th, 2000
| Author | Title | Received | Status |
|---|---|---|---|
| Anouk Barberousse | The Diversity of Models in Statistical Mechanics: Views about the Structure of Scientific Theories (p. 1-23) | April 10th, 2001; Revised: May 31st, 2001 | Accepted; Final Version |
| Johan van Benthem | Mathematical Logic and Natural Language: life at the border (p. 25-38) | April 14th, 2001; Revised: April 25th, 2001 | Accepted; Final Version |
| Mariagnese Giusto | Topics in Reverse Mathematics (p. 63-87) | March 15th, 2001 | Accepted; Final Version |
| Leon Horsten | The Logic of Intensional Predicates (p. 89-111) | March 30th, 2001 | Accepted; Final Version |
| Marcus Kracht | Features in phonological theory (p. 123-149) | February 22nd, 2001; Revised: July 23rd, 2001 | Accepted; Final Version |
| Martin Rotter | Techniques and Methods of Science from a Structuralist Point of View (p. 213-234) | May 11th, 2001; Revised: July 27th, 2001 | Accepted; Final Version |
| Hans-Jörg Tiede | Proof Theory and Formal Grammars (p. 235-256) | March 31st, 2001; Revised: June 23rd, 2001 | Accepted; Final Version |
| David Makinson, Leon van der Torre | What is Input/Output Logic? (p. 163-174) | April 18th, 2001 | Accepted; Final Version |
| André Chapuis | An application of circular definitions: Rational Decisioni (p. 47-54) | May 10th, 2001; Revised: July 2nd, 2001 | Accepted; Final Version |
| Daniel Cohnitz | Two-dimensionalism and the metaphysical possibility of zombies (p. 55-62) | April 12th, 2001; Revised: May 10th, 2001, June 1st, 2001 | Accepted; Final Version |
| Luc Bovens, Stephan Hartmann | Bayesian Networks in Philosophy (p. 39-46) | April 6th, 2001 | Accepted; Final Version |
| Ludger Jansen, Niko Strobach | The so-called materially valid inferences and the logic of concepts (p. 113-118) | April 17th, 2001; Revised: May 28th, 2001 | Accepted; Final Version |
| Makoto Kikuchi | Analysis and Design from a Viewpoint of Information Flow (p. 119-122) | January 6th, 2001; Revised: March 23rd, 2001, June 11th, 2001 | Accepted; Final Version |
| Oliver Kutz | New semantics for Modal Predicate Logics (p. 151-162) | April 23rd, 2001; Revised: August 20th, 2001 | Accepted; Final Version |
| José Martínez Fernández | The Gupta-Belnap Fixed-Point Problem and the theory of clones of functions (p. 175-184) | March 30th, 2001; Revised: July 23rd, 2001 | Accepted; Final Version |
| Alice G.B. ter Meulen | Situated Reasoning in Time about Time (p. 185-202) | April 5th, 2001; Revised: October 17th, 2001; February 4th, 2002 | Accepted; Final Version |
| Rainer Osswald | Generic Ontology of Linguistic Classification (p. 203-212) | May 1st, 2001; Revised: August 9th, 2001 | Accepted; Final Version |
| Kai Wehmeier | World Travelling and Mood Swings (p. 257-260) | April 1st, 2001; Revised: June 28th, 2001 | Accepted; Final Version |
| Markus Werning | Universal Algebra In a Neuronal Theory of Language and Thought (p. 261-278) | April 1st, 2001; Revised: July 24th, 2001; August 27th, 2001 | Accepted; Final Version |