Logic, Language, Information and Computation

- Tutorials and Invited Talks

- A Characterisation of Definable NP Search Problems in Peano Arithmetic

- Algebraic Valuations as Behavioral Logical Matrices

- Query Answering in Description Logics: The Knots Approach

- Mathematical Logic for Life Science Ontologies

- Recognizability in the Simply Typed Lambda-Calculus

- Logic-Based Probabilistic Modeling

- Contributed Papers

- Completions of Basic Algebras

- Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization

- Observational Completeness on Abstract Interpretation

- SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability

- Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points

- First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment

- On-the-Fly Macros

- Abductive Logic Grammars

- On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar

- Observational Effort and Formally Open Mappings

- Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus

- Property Driven Three-Valued Model Checking on Hybrid Automata

- Team Logic and Second-Order Logic

- Ludics and Its Applications to Natural Language Semantics

- Spoilt for Choice: Full First-Order Hierarchical Decompositions

- Classic-Like Analytic Tableaux for Finite-Valued Logics

- A Duality for Algebras of Lattice-Valued Modal Logic

- An Independence Relation for Sets of Secrets

- Expressing Extension-Based Semantics Based on Stratified Minimal Models

- Deep Inference in Bi-intuitionistic Logic

- : An Action-Based Logic for Reasoning about Contracts

- Ehrenfeucht-Fraïssé Games on Random Structures

- Sound and Complete Tree-Sequent Calculus for Inquisitive Logic

- The Arrow Calculus as a Quantum Programming Language

- Knowledge, Time, and Logical Omniscience