Travelled to:1 × Denmark
1 × USA
Collaborated with:∅
Talks about:logic (2) law (2) existenti (1) proposit (1) fragment (1) without (1) satisfi (1) second (1) order (1) modal (1)
Person: Jean-Marie Le Bars
DBLP: Bars:Jean=Marie_Le
Contributed to:
20021998Wrote 2 papers:
- LICS-2002-Bars #logic #satisfiability
- The 0-1 law fails for frame satisfiability of propositional modal logic (JMLB), pp. 225–234.
- LICS-1998-Bars #higher-order #logic
- Fragments of Existential Second-Order Logic without 0-1 Laws (JMLB), pp. 525–536.