Abstract is missing.
- Modal Logics with Hard Diamond-Free FragmentsAntonis Achilleos. 1-13 [doi]
- Pairing Traditional and Generic Common KnowledgeEvangelia Antonakos. 14-26 [doi]
- On Aggregating Probabilistic EvidenceSergei N. Artëmov. 27-42 [doi]
- Classical Logic with Mendler Induction - A Dual Calculus and Its Strong NormalizationMarco Devesas Campos, Marcelo P. Fiore. 43-59 [doi]
- Index Sets for Finite Normal Predicate Logic Programs with Function SymbolsDouglas A. Cenzer, Victor W. Marek, Jeffrey B. Remmel. 60-75 [doi]
- Multiple Conclusion Rules in Logics with the Disjunction PropertyAlex Citkin. 76-89 [doi]
- Multiple Conclusion Linear Logic: Cut Elimination and MoreHarley Eades III, Valeria de Paiva. 90-105 [doi]
- The Online Space Complexity of Probabilistic LanguagesNathanaël Fijalkow. 106-116 [doi]
- Type Theoretical DatabasesHenrik Forssell, Håkon Robbestad Gylterud, David I. Spivak. 117-129 [doi]
- Augmenting Subset Spaces to Cope with Multi-agent KnowledgeBernhard Heinemann. 130-145 [doi]
- On Lambek's Restriction in the Presence of Exponential ModalitiesMax I. Kanovich, Stepan Kuznetsov, Andre Scedrov. 146-158 [doi]
- A Quest for Algorithmically Random Infinite Structures, IIBakhadyr Khoussainov. 159-173 [doi]
- Probabilistic Justification LogicIoannis Kokkinis, Zoran Ognjanovic, Thomas Studer. 174-186 [doi]
- Sequent Calculus for Intuitionistic Epistemic Logic IELVladimir N. Krupski, Alexey Yatmanov. 187-201 [doi]
- Interpolation Method for Multicomponent Sequent CalculiRoman Kuznets. 202-218 [doi]
- Adjoint Logic with a 2-Category of ModesDaniel R. Licata, Michael Shulman. 219-235 [doi]
- Parallel Feedback Turing ComputabilityRobert S. Lubarsky. 236-250 [doi]
- Compactness in the Theory of Continuous AutomataScott Messick. 251-266 [doi]
- Measure Quantifier in Monadic Second Order LogicHenryk Michalewski, Matteo Mio. 267-282 [doi]
- A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic LogicShoshin Nomura, Hiroakira Ono, Katsuhiko Sano. 283-298 [doi]
- The Urysohn Extension Theorem for Bishop SpacesIosif Petrakis. 299-316 [doi]
- An Arithmetical Interpretation of Verification and Intuitionistic KnowledgeTudor Protopopescu. 317-330 [doi]
- Definability in First Order Theories of Graph OrderingsRamaswamy Ramanujam, R. S. Thinniyam. 331-348 [doi]
- The Complexity of Disjunction in Intuitionistic LogicR. Ramanujam, Vaishnavi Sundararajan, S. P. Suresh. 349-363 [doi]
- Intransitive Temporal Multi-agent's Logic, Knowledge and Uncertainty, PlausibilityVladimir V. Rybakov. 364-375 [doi]
- Ogden Property for Linear Displacement Context-Free GrammarsAlexey Sorokin. 376-391 [doi]
- Levy Labels and Recursive TypesRick Statman. 392-406 [doi]