List of Papers at LFCS 16
- Antonis Achilleos. Modal Logics with Hard Diamond-free Fragment
- Evangelia Antonakos. Pairing Traditional and Generic Common Knowledge
- Sergei Artemov. On Aggregating Probabilistic Evidence
- Marco Devesas Campos and Marcelo Fiore. Classical Logic with Mendler Induction—A Dual Calculus and its Strong Normalization
- Douglas Cenzer, Jeffrey Remmel and Victor Marek. Index sets for finite normal predicate logic programs with function symbols
- Alex Citkin. Multiple Conclusion Rules in Logics with the Disjunction Property
- Nathanaël Fijalkow. The Online Complexity of Probabilistic Languages
- Henrik Forssell, Håkon Gylterud and David I. Spivak. Type theoretical databases
- Bernhard Heinemann. Augmenting Subset Spaces to Cope with Multi-Agent Knowledge
- Harley Eades Iii and Valeria de Paiva. Multiple Conclusion Linear Logic: Cut Elimination and more
- Max Kanovich, Stepan Kuznetsov and Andre Scedrov. On Lambek’s Restriction in the Presence of Exponential Modalities
- Bakhadyr Khoussainov. ON ALGORITHMICALLY RANDOM INFINITE STRUCTURES
- Ioannis Kokkinis, Zoran Ognjanovic and Thomas Studer. Probabilistic Justification Logic
- Vladimir Krupski and Alexey Yatmanov. Sequent Calculus for Intuitionistic Epistemic Logic IEL
- Roman Kuznets. Interpolation Method for Multicomponent Sequent Calculi
- Daniel R. Licata and Michael Shulman. Adjoint logic with a 2-category of modes
- Robert Lubarsky. Parallel Feedback Turing Computability
- Scott Messick. Compactness in the Theory of Continuous Automata
- Matteo Mio and Henryk Michalewski. Measure Quantifier in Monadic Second Order Logic
- Shoshin Nomura, Hiroakira Ono and Katsuhiko Sano. A Cut-free Labelled Sequent Calculus for Dynamic Epistemic Logic
- Iosif Petrakis. The Urysohn Extension Theorem for Bishop Spaces
- Tudor Protopopescu. An Arithmetical Interpretation of Verification and Intuitionistic Knowledge
- R. Ramanujam and Ramanathan S. Thinniyam. Definability in First Order Theories of Graph Orderings
- R. Ramanujam, Vaishnavi Sundararajan and S P Suresh. Complexity of fragments of intuitionistic logic with disjunction
- Vladimir Rybakov. Intransitive Temporal Multi-Agent’s Logic, Knowledge and Uncertainty, Plausibility
- Alexey Sorokin. Ogden property for linear displacement context-free grammars
- Richard Statman. Levy labels and recursive types