Login / Signup
Mathieu Vidal
ORCID
Publication Activity (10 Years)
Years Active: 2014-2019
Publications (10 Years): 3
Top Topics
Sequent Calculi
Belief Revision
Nonmonotonic Inference
Conditional Logic
Top Venues
IWCS(1)
J. Log. Lang. Inf.
LACL
J. Appl. Non Class. Logics
</>
Publications
</>
Mathieu Vidal
,
Denis Perrin
A default-free solution to the imperfective paradox.
Synth.
196 (1) (2019)
Mathieu Vidal
When Conditional Logic met Connexive Logic.
IWCS(1)
(2017)
Mathieu Vidal
A Compositional Semantics for 'If Then' Conditionals.
LACL
(2016)
Mathieu Vidal
Speed Up the Conception of Logical Systems with Test-Driven Development.
J. Log. Lang. Inf.
23 (1) (2014)
Mathieu Vidal
The defective conditional in mathematics.
J. Appl. Non Class. Logics
24 (1-2) (2014)