FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

This page contains an index consisting of author-provided keywords.

A
automated reasoning	On the Combination of Resolution and SAT Procedures for Modal Theorem-Proving
automatic verification	Embedding Intuitionistic Modal Logics in Higher-Order Logic. An Easy Task?
C
classical linear logic	A New Linear Logic for Deadlock-Free Session-Typed Processes (Talk Abstract)
Computability	On Expanding Standard Notions of Constructivity
constraints	Towards a Logical Framework for Latent Variable Modelling
constructivism	Towards a Logical Framework for Latent Variable Modelling
Curry-Howard correspondence	A New Linear Logic for Deadlock-Free Session-Typed Processes (Talk Abstract)
D
deadlock-freedom	A New Linear Logic for Deadlock-Free Session-Typed Processes (Talk Abstract)
derivationism	Can every real proof be represented by a formal proof? The Hilbert-Gentzen thesis
DFA	First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation
F
FOL	First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation
formalization	Can every real proof be represented by a formal proof? The Hilbert-Gentzen thesis
Free choice sequences	On Expanding Standard Notions of Constructivity
G
Geometry	On Expanding Standard Notions of Constructivity
H
higher-order logic	Embedding Intuitionistic Modal Logics in Higher-Order Logic. An Easy Task?
Hilbert-Gentzen thesis	Can every real proof be represented by a formal proof? The Hilbert-Gentzen thesis
I
induction	Non-well-founded proof system for Transitive Closure Logic
infinitary and cyclic systems	Non-well-founded proof system for Transitive Closure Logic
informal proofs	Can every real proof be represented by a formal proof? The Hilbert-Gentzen thesis
internal and external calculi	A semantical view of sequent based systems
Intuitionistic mathematics	On Expanding Standard Notions of Constructivity
Intuitionistic Modal Logic	Decomposing labelled proof theory for intuitionistic modal logic Embedding Intuitionistic Modal Logics in Higher-Order Logic. An Easy Task?
L
Labelled sequents	Decomposing labelled proof theory for intuitionistic modal logic
labelled systems	A semantical view of sequent based systems
LTLf	First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation
M
mathematical proofs	Can every real proof be represented by a formal proof? The Hilbert-Gentzen thesis
Mechanized proofs	Towards a Playground for Logicians
Meta-theory	Towards a Playground for Logicians
Modal Logics	On the Combination of Resolution and SAT Procedures for Modal Theorem-Proving
MSO	First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation
N
nested systems	A semantical view of sequent based systems
Nuprl	On Expanding Standard Notions of Constructivity
P
pi-caclulus	A New Linear Logic for Deadlock-Free Session-Typed Processes (Talk Abstract)
priorities	A New Linear Logic for Deadlock-Free Session-Typed Processes (Talk Abstract)
Projective plane	On Expanding Standard Notions of Constructivity
Proof theory	Decomposing labelled proof theory for intuitionistic modal logic Non-well-founded proof system for Transitive Closure Logic Towards a Playground for Logicians A semantical view of sequent based systems
Q
qualitative spatial reasoning	About the unification type of topological logics over Euclidean spaces
R
real proofs	Can every real proof be represented by a formal proof? The Hilbert-Gentzen thesis
resolution	On the Combination of Resolution and SAT Procedures for Modal Theorem-Proving
S
SAT	On the Combination of Resolution and SAT Procedures for Modal Theorem-Proving
sequent calculus	A semantical view of sequent based systems
session types	A New Linear Logic for Deadlock-Free Session-Typed Processes (Talk Abstract)
systematicity	Towards a Logical Framework for Latent Variable Modelling
T
topologicai logics	About the unification type of topological logics over Euclidean spaces
Transitive closure logic	Non-well-founded proof system for Transitive Closure Logic
Type theory	On Expanding Standard Notions of Constructivity
U
unification problem	About the unification type of topological logics over Euclidean spaces

Disclaimer | Powered by EasyChair Smart Program