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	Embedding Intuitionistic Modal Logics in Higher-Order Logic. An Easy Task? Decomposing labelled proof theory for intuitionistic modal logic
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	A semantical view of sequent based systems Towards a Playground for Logicians Decomposing labelled proof theory for intuitionistic modal logic Non-well-founded proof system for Transitive Closure Logic
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