Talks

Refine your search

2010

Christian Straßer and Dunja Seselja
Epistemic Justification in the Context of Pursuit (Contributed)
International Congress Logic, Reasoning and Rationality
21 September 2010 - Ghent, Belgium

Guiseppe Primiero
Multi-modal Type Theory for Trusted Distributed Knowledge (Contributed)
Logic, Reasoning, Rationality Conference
21 September 2010 - Ghent, Belgium
[Slides]
Christian Straßer
Conditionally Applying Modus Ponens in Dyadic Deontic Logics (Contributed)
International Congress Logic, Reasoning and Rationality
21 September 2010 - Ghent, Belgium

Steffen Ducheyne
Newton's Quest for a Mathematical-Demonstrative Optics (Contributed)
International Congress Logic, Reasoning and Rationality
20 September 2010 - Ghent, Belgium

Peter Verdée and Dagmar Provij
A Goal-Directed Proof Procedure for a First-Order Classical Logic (Contributed)
International Congress Logic, Reasoning and Rationality
20 September 2010 - Ghent, Belgium

Mathieu Beirlaen
Non-Explosive Reasoning In Deontic Logic (Contributed)
International Congress Logic, Reasoning and Rationality
20 September 2010 - Ghent, Belgium

Rafal Urbaniak
Platonism, Dynamic Reasoning, and Galileo on Falling Bodies (Contributed)
International Congress Logic, Reasoning and Rationality
20 September 2010 - Ghent, Belgium

Steffen Ducheyne
Facing the Limits of "Deductions from Phenomena": Why Newton did not succeed in methodizing optics (Invited)
On the Contested Expanding Role of Applied Mathematics from the Renaissance to the Enlightenment
14 September 2010 - Pisa, Italy

Hans Lycke
Unifying the adaptive logics proof theory. Three strategies for the price of one (Contributed)
Second Workshop & Young Researchers Days in Logic, Philosophy and History of Science
7 September 2010 - Brussels, Belgium

Mathieu Beirlaen
Paraconsistent Deontic Logic (Contributed)
Second Workshop & Young Researchers Days in Logic, Philosophy and History of Science
7 September 2010 - Brussels, Belgium

Pages