FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
WIL SHORT PAPERS AND ABSTRACTS: KEYWORD INDEX
PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index
Shortcuts: ACDFGHILMNPQRSTU
A
automated reasoning
On the Combination of Resolution and SAT Procedures for Modal Theorem-Proving (PDF, talk)
Automatic Verification
Embedding Intuitionistic Modal Logics in Higher-Order Logic. An Easy Task? (PDF, talk)
C
classical linear logic
A New Linear Logic for Deadlock-Free Session-Typed Processes (Talk Abstract) (PDF, talk)
Computability
On Expanding Standard Notions of Constructivity (PDF, talk)
constraints
Towards a Logical Framework for Latent Variable Modelling (PDF, talk)
constructivism
Towards a Logical Framework for Latent Variable Modelling (PDF, talk)
Curry-Howard correspondence
A New Linear Logic for Deadlock-Free Session-Typed Processes (Talk Abstract) (PDF, talk)
D
deadlock-freedom
A New Linear Logic for Deadlock-Free Session-Typed Processes (Talk Abstract) (PDF, talk)
DFA
First-Order vs. Second-Order Encodings for LTLf-to-Automata: An Extended Abstract (PDF, talk)
F
FOL
First-Order vs. Second-Order Encodings for LTLf-to-Automata: An Extended Abstract (PDF, talk)
Free choice sequences
On Expanding Standard Notions of Constructivity (PDF, talk)
G
Geometry
On Expanding Standard Notions of Constructivity (PDF, talk)
H
higher-order logic
Embedding Intuitionistic Modal Logics in Higher-Order Logic. An Easy Task? (PDF, talk)
I
induction
Non-well-founded proof system for Transitive Closure Logic (PDF, talk)
infinitary and cyclic systems
Non-well-founded proof system for Transitive Closure Logic (PDF, talk)
internal and external calculi
A semantical view of sequent based systems (PDF, talk)
Intuitionistic mathematics
On Expanding Standard Notions of Constructivity (PDF, talk)
Intuitionistic modal logic
Embedding Intuitionistic Modal Logics in Higher-Order Logic. An Easy Task? (PDF, talk)
Decomposing labelled proof theory for intuitionistic modal logic (PDF, talk)
L
Labelled sequents
Decomposing labelled proof theory for intuitionistic modal logic (PDF, talk)
labelled systems
A semantical view of sequent based systems (PDF, talk)
LTLf
First-Order vs. Second-Order Encodings for LTLf-to-Automata: An Extended Abstract (PDF, talk)
M
Mechanized proofs
Towards a Playground for Logicians (PDF, talk)
Meta-theory
Towards a Playground for Logicians (PDF, talk)
Modal logics
On the Combination of Resolution and SAT Procedures for Modal Theorem-Proving (PDF, talk)
MSO
First-Order vs. Second-Order Encodings for LTLf-to-Automata: An Extended Abstract (PDF, talk)
N
nested systems
A semantical view of sequent based systems (PDF, talk)
Nuprl
On Expanding Standard Notions of Constructivity (PDF, talk)
P
pi-caclulus
A New Linear Logic for Deadlock-Free Session-Typed Processes (Talk Abstract) (PDF, talk)
priorities
A New Linear Logic for Deadlock-Free Session-Typed Processes (Talk Abstract) (PDF, talk)
Projective plane
On Expanding Standard Notions of Constructivity (PDF, talk)
Proof theory
A semantical view of sequent based systems (PDF, talk)
Towards a Playground for Logicians (PDF, talk)
Non-well-founded proof system for Transitive Closure Logic (PDF, talk)
Decomposing labelled proof theory for intuitionistic modal logic (PDF, talk)
Q
qualitative spatial reasoning
About the unification type of topological logics over Euclidean spaces (PDF, talk)
R
Resolution
On the Combination of Resolution and SAT Procedures for Modal Theorem-Proving (PDF, talk)
S
SAT
On the Combination of Resolution and SAT Procedures for Modal Theorem-Proving (PDF, talk)
sequent calculus
A semantical view of sequent based systems (PDF, talk)
session types
A New Linear Logic for Deadlock-Free Session-Typed Processes (Talk Abstract) (PDF, talk)
systematicity
Towards a Logical Framework for Latent Variable Modelling (PDF, talk)
T
topologicai logics
About the unification type of topological logics over Euclidean spaces (PDF, talk)
Transitive closure logic
Non-well-founded proof system for Transitive Closure Logic (PDF, talk)
type theory
On Expanding Standard Notions of Constructivity (PDF, talk)
U
unification problem
About the unification type of topological logics over Euclidean spaces (PDF, talk)