WOLLIC 2024: WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION 2024

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

2
2SAT	Logical Expressibility of Syntactic NL for Complementarity and Maximization
A
Axiomatic theory of truth	Axiomatising Classical Realisability
C
categorical logic	Modal Hyperdoctrine: Higher-Order and Non-Normal Extensions
Classical realisability	Axiomatising Classical Realisability
completeness	Syntactic concept lattice models for infinitary action logic
Conditional Excluded Middle	Strict-Tolerant Conditional Logics Validity in Contexts: A Semantics for Indicatives and Epistemic Modals
Conditional logic	Strict-Tolerant Conditional Logics Validity in Contexts: A Semantics for Indicatives and Epistemic Modals
Connexive logic	Strict-Tolerant Conditional Logics
Correspondence theory	Correspondence theory on vector spaces
D
Decidability	A simple loopcheck for Intuitionistic K
Decision procedure	An EXPTIME-complete entailment problem in separation logic
dependent type	Polyadic Quantifiers on Dependent Types
Doxastic logic	Labelled Sequent Calculi for Inquisitive Modal Logics
DSTCON	Logical Expressibility of Syntactic NL for Complementarity and Maximization
E
Entailment problem	An EXPTIME-complete entailment problem in separation logic
Epistemic logic	Labelled Sequent Calculi for Inquisitive Modal Logics
Epistemic modality	Validity in Contexts: A Semantics for Indicatives and Epistemic Modals
Exponentials	Lambek Calculus with Banged Atoms for Parasitic Gaps
F
Finite model property	A simple loopcheck for Intuitionistic K
formal power series	Completeness of Finitely Weighted Kleene Algebra With Tests
H
higher-order logic	Modal Hyperdoctrine: Higher-Order and Non-Normal Extensions
hyperdoctrines	Modal Hyperdoctrine: Higher-Order and Non-Normal Extensions
I
Import-Export	Validity in Contexts: A Semantics for Indicatives and Epistemic Modals
Indicatives	Validity in Contexts: A Semantics for Indicatives and Epistemic Modals
Induction	An EXPTIME-complete entailment problem in separation logic
infinitary action logic	Syntactic concept lattice models for infinitary action logic
Inquisitive semantics	Labelled Sequent Calculi for Inquisitive Modal Logics
Intersection types	Obtaining Intersection Types via Finite-Set Declaration
Intuitionistic modal logic	A simple loopcheck for Intuitionistic K
Isolation	A Logic of Isolation
K
Kleene algebra with tests	Completeness of Finitely Weighted Kleene Algebra With Tests
L
Labelled sequent calculi	Labelled Sequent Calculi for Inquisitive Modal Logics
Labelled sequent calculus	A simple loopcheck for Intuitionistic K
Lambda calculus	A linear proof language for second-order intuitionistic linear logic
Lambek calculus	Syntactic concept lattice models for infinitary action logic
Linear logic	A linear proof language for second-order intuitionistic linear logic
linear space hypothesis	Logical Expressibility of Syntactic NL for Complementarity and Maximization
Logics of formal inconsistency	(In)consistency operators on quasi-Nelson algebras
Long Distance Dependencies	Lambek Calculus with Banged Atoms for Parasitic Gaps
M
MAX-CUT	Logical Expressibility of Syntactic NL for Complementarity and Maximization
Modal logic	Modal Hyperdoctrine: Higher-Order and Non-Normal Extensions Labelled Sequent Calculi for Inquisitive Modal Logics
Modus Ponens	Validity in Contexts: A Semantics for Indicatives and Epistemic Modals
N
Natural Language	Lambek Calculus with Banged Atoms for Parasitic Gaps
natural language quantification	Polyadic Quantifiers on Dependent Types
Neighborhood Systems	A Logic of Isolation
NL	Logical Expressibility of Syntactic NL for Complementarity and Maximization
Non classical logics	Correspondence theory on vector spaces
O
optimization problem	Logical Expressibility of Syntactic NL for Complementarity and Maximization
Ortholattices	Rules of Partial Orthomodularity
Orthomodularity	Rules of Partial Orthomodularity
P
Parasitic Gaps	Lambek Calculus with Banged Atoms for Parasitic Gaps
Permutation and Contraction	Lambek Calculus with Banged Atoms for Parasitic Gaps
Polarised Systems	Lambek Calculus with Banged Atoms for Parasitic Gaps
polyadic quantifier	Polyadic Quantifiers on Dependent Types
Polymorphism	A linear proof language for second-order intuitionistic linear logic
Proof Nets	Lambek Calculus with Banged Atoms for Parasitic Gaps
Proof theory	A linear proof language for second-order intuitionistic linear logic Labelled Sequent Calculi for Inquisitive Modal Logics
Proof-theoretic strength	Axiomatising Classical Realisability
Pure Type Systems	Obtaining Intersection Types via Finite-Set Declaration
Q
Quantum Logic	Rules of Partial Orthomodularity
Quasi-Nelson	(In)consistency operators on quasi-Nelson algebras
R
Relativisation	Lambek Calculus with Banged Atoms for Parasitic Gaps
Residuated lattices	Correspondence theory on vector spaces (In)consistency operators on quasi-Nelson algebras
Root-first proof search	A simple loopcheck for Intuitionistic K
S
second-order logic	Logical Expressibility of Syntactic NL for Complementarity and Maximization
semirings	Completeness of Finitely Weighted Kleene Algebra With Tests
Separation logic	An EXPTIME-complete entailment problem in separation logic
SNL	Logical Expressibility of Syntactic NL for Complementarity and Maximization
Strict-tolerant logic	Strict-Tolerant Conditional Logics
Strong Normalisation	Obtaining Intersection Types via Finite-Set Declaration
Substructural Logics	Lambek Calculus with Banged Atoms for Parasitic Gaps
syntactic concept lattices	Syntactic concept lattice models for infinitary action logic
T
Team semantics	Labelled Sequent Calculi for Inquisitive Modal Logics
Topological Semantics	A Logic of Isolation
Tutorial	Tutorial: An introduction to algorithmic randomness Tutorial: First-order Gödel logics
Tutorial 2	Tutorial: An introduction to algorithmic randomness Tutorial: First-order Gödel logics
Tutorial 3	Tutorial: An introduction to algorithmic randomness Tutorial: First-order Gödel logics
Twist-structures	(In)consistency operators on quasi-Nelson algebras
Typed truth predicate	Axiomatising Classical Realisability
V
Validity	Validity in Contexts: A Semantics for Indicatives and Epistemic Modals
Vector spaces	Correspondence theory on vector spaces
W
weighted programs	Completeness of Finitely Weighted Kleene Algebra With Tests

Disclaimer | Powered by EasyChair Smart Program