<style face="normal" font="default" size="100%">The best we can do (extended abstract, submitted to LOFT)</style>

Drupal-Biblio

34

<style face="normal" font="default" size="100%">The best we can do (extended abstract, submitted to LOFT)</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Doing Without Nature</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">A modal type theory for formalizing trusted communications</style>

Drupal-Biblio

10

<style face="normal" font="default" size="100%">A paraconsistent multi-agent framework for dealing with normative conflicts</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">An adaptive logic framework for conditional obligations and deontic dilemmas</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">How to Identify Scientifc Revolutions?</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Inconsistency-adaptive modal logics: on how to cope with modal inconsistency</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">La métamorphose graçe au cinèma.</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">A conceptual analysis of early arabic algebra</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Negative numbers as an epistemic difficult concept. Some lessons from history.</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">On building abstract Terms in Typed Systems</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Belief Revision in Constructive Type Theory</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Model-Based Reasoning in Creative Processes</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">What, if anything, is an experiment in mathematics?</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Een pleidooi voor lokale consistentie</style>