FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Azizi-Sultan, Ahmad-Saher	Pseudo-Propositional Logic
B
Benzmüller, Christoph	System Demonstration: The Higher-Order Prover Leo-III
C
Corsi, Giovanna	Labelled Calculi for QMLs with Non-Rigid and Non-Denoting Terms
G
Galmiche, Didier	Labelled Connection-based Proof Search for Multiplicative Intuitionistic Linear Logic
L
Libal, Tomer	An Outline for Simple Semi-automated Proof Assistants for First-order Modal Logics
M
Mery, Daniel	Labelled Connection-based Proof Search for Multiplicative Intuitionistic Linear Logic
Moss, Larry	Automated Reasoning In Natural Language: Current Directions
O
Orlandelli, Eugenio	Labelled Calculi for QMLs with Non-Rigid and Non-Denoting Terms
R
Reger, Giles	Going Beyond First-Order Logic with Vampire
S
Schlichtkrull, Anders	Formalization of a Paraconsistent Infinite-Valued Logic
Steen, Alexander	System Demonstration: The Higher-Order Prover Leo-III
W
Wesselink, Wieger	Evidence Extraction from Parameterised Boolean Equation Systems
Willemse, Tim	Evidence Extraction from Parameterised Boolean Equation Systems

Disclaimer | Powered by EasyChair Smart Program