FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
ARQNL FULL PAPERS, DEMO PAPERS AND INVITED CONTRIBUTIONS: KEYWORD INDEX
PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index
Shortcuts: ABCDFHLMNPQS
A
automated theorem proving
System Demonstration: The Higher-Order Prover Leo-III (PDF, talk)
B
backtracking
Pseudo-Propositional Logic (PDF, talk)
C
classical higher-order logic
System Demonstration: The Higher-Order Prover Leo-III (PDF, talk)
Connection-based proof-search
Labelled Connection-based Proof Search for Multiplicative Intuitionistic Linear Logic (PDF, talk)
counterexamples
Evidence Extraction from Parameterised Boolean Equation Systems (PDF, talk)
D
deontic logis
System Demonstration: The Higher-Order Prover Leo-III (PDF, talk)
F
fixpoint logic
Evidence Extraction from Parameterised Boolean Equation Systems (PDF, talk)
focused sequent calculus
A Simple Semi-automated Proof Assistant for First-order Modal Logics (PDF, talk)
focused sequent calculus for first-order modal logic
A Simple Semi-automated Proof Assistant for First-order Modal Logics (PDF, talk)
H
higher-order logic programming
A Simple Semi-automated Proof Assistant for First-order Modal Logics (PDF, talk)
L
Labelled proof-systems
Labelled Connection-based Proof Search for Multiplicative Intuitionistic Linear Logic (PDF, talk)
labelled sequent calculi
Labelled calculi for QMLs with non-rigid and non-denoting terms (PDF, talk)
lambda prolog
A Simple Semi-automated Proof Assistant for First-order Modal Logics (PDF, talk)
linear logic
Labelled Connection-based Proof Search for Multiplicative Intuitionistic Linear Logic (PDF, talk)
M
modal logic
System Demonstration: The Higher-Order Prover Leo-III (PDF, talk)
modal mu calculus
Evidence Extraction from Parameterised Boolean Equation Systems (PDF, talk)
N
non-denoting terms
Labelled calculi for QMLs with non-rigid and non-denoting terms (PDF, talk)
non-rigid terms
Labelled calculi for QMLs with non-rigid and non-denoting terms (PDF, talk)
P
parameterised Boolean equation systems
Evidence Extraction from Parameterised Boolean Equation Systems (PDF, talk)
proof assistant
A Simple Semi-automated Proof Assistant for First-order Modal Logics (PDF, talk)
propositional logic
Pseudo-Propositional Logic (PDF, talk)
Q
quantified modal logic
A Simple Semi-automated Proof Assistant for First-order Modal Logics (PDF, talk)
quantified modal logics
Labelled calculi for QMLs with non-rigid and non-denoting terms (PDF, talk)
S
SAT problem
Pseudo-Propositional Logic (PDF, talk)
structural rules
Labelled calculi for QMLs with non-rigid and non-denoting terms (PDF, talk)