Filter your results
- 12
- 12
- 1
- 1
- 2
- 4
- 2
- 2
- 10
- 2
- 12
- 6
- 4
- 4
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 12
- 5
- 6
- 6
- 2
- 2
- 2
- 1
- 12
|
|
sorted by
|
|
Nested sequents for the logic of conditional beliefJELIA - European Conference on Logics in Artificial Intelligence, May 2019, Rende, Italy
Conference papers
hal-02077057v1
|
||
|
Certification of Breadth-First Algorithms by Extraction13th International Conference on Mathematics of Program Construction, MPC 2019, Oct 2019, Porto, Portugal. pp.45-75, ⟨10.1007/978-3-030-33636-3_3⟩
Conference papers
hal-02333423v1
|
||
|
Counterfactual logic: labelled and internal calculi, two sides of the same coin?Advances in Modal Logics 2018, Aug 2018, Bern, Switzerland. pp.291-310
Conference papers
hal-02077043v1
|
||
|
Uniform labelled calculi for preferential conditional logics based on neighbourhood semanticsJournal of Logic and Computation, 2021, 31 (3), pp.947-997. ⟨10.1093/logcom/exab019⟩
Journal articles
hal-02330319v3
|
||
|
Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and ReflexivityTABLEAUX 2017, Sep 2017, Brasilia, Brazil. pp.131-148
Conference papers
hal-01794387v1
|
||
|
Certified Undecidability of Intuitionistic Linear Logic via Binary Stack Machines and Minsky MachinesThe 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Jan 2019, Cascais, Portugal. pp.104-117, ⟨10.1145/3293880.3294096⟩
Conference papers
hal-02333390v1
|
||
|
Typing Total Recursive Functions in CoqInteractive Theorem Proving - 8th International Conference, ITP 2017, Sep 2017, Brasilia, Brazil. pp.371-388, ⟨10.1007/978-3-319-66107-0_24⟩
Conference papers
hal-02333333v1
|
||
|
The Involutive Quantaloid of Completely Distributive LatticesRAMICS 2020, Uli Fahrenberg; Peter Jipsen; Michael Winter, Apr 2020, Palaiseau, France. pp.286-301
Conference papers
hal-02342655v3
|
||
|
Theorem proving for Lewis Logics of Counterfactual ReasoningCILC 2020 - 35th Edition of the Italian Conference on Computational Logic, Oct 2020, Rende / Virtual, Italy
Conference papers
hal-03080670v1
|
||
|
Hilbert's Tenth Problem in Coq4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, Jun 2019, Dortmund, Germany. pp.27:1--27:20, ⟨10.4230/LIPIcs.FSCD.2019.27⟩
Conference papers
hal-02333404v1
|
||
|
Constructive Decision via Redundancy-Free Proof-Search9th International Joint Conference on Automated Reasoning, IJCAR 2018, Jul 2018, Oxford, United Kingdom. pp.422-438, ⟨10.1007/978-3-319-94205-6_28⟩
Conference papers
hal-02333361v1
|
||
|
Hilbert's Tenth Problem in Coq (Extended Version)Logical Methods in Computer Science, 2022, 18 (1), ⟨10.46298/lmcs-18(1:35)2022⟩
Journal articles
hal-03359505v2
|