1 |
Jules Vuillemin on the Aristotelian Notion of the Possible and the Master Argument
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-02632303 ; 2020 (2020)
|
|
BASE
|
|
Show details
|
|
2 |
Focused and Synthetic Nested Sequents (Extended Technical Report)
|
|
|
|
In: https://hal.inria.fr/hal-01251722 ; [Research Report] Inria. 2016 (2016)
|
|
BASE
|
|
Show details
|
|
4 |
Insights into Modal Slash Logic and Modal Decidability
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-00715648 ; 2012, pp.1-63 (2012)
|
|
BASE
|
|
Show details
|
|
5 |
Logical formalization of social commitments: Application to agent communication languages (long version of AAMAS 2009)
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03474455 ; [Research Report] IRIT/RR–2009-14–FR, IRIT : Institut de Recherche Informatique de Toulouse. 2009 (2009)
|
|
BASE
|
|
Show details
|
|
6 |
Deterministic modal Bayesian Logic: derive the Bayesian inference within the modal logic T
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00127016 ; 2007 (2007)
|
|
BASE
|
|
Show details
|
|
7 |
Are two Dimensions Too Many? - A one-dimensional rival to two-dimensional semantics
|
|
|
|
In: https://jeannicod.ccsd.cnrs.fr/ijn_00000659 ; 2005 (2005)
|
|
BASE
|
|
Show details
|
|
8 |
Truth and fiction on Internet
|
|
|
|
In: "Les défis de la publication numérique" Entretiens J. Cartier / ISDN. Enssib, Lyon 9_11 décembre 2002 ; https://archivesic.ccsd.cnrs.fr/sic_00000290 ; 2002 (2002)
|
|
BASE
|
|
Show details
|
|
|
|