Abstract is missing.
- A Proof of the Focusing Theorem via MALL Proof NetsRoberto Maieli. 1-17 [doi]
- Time and Gödel: Fuzzy Temporal Reasoning in PSPACEJuan P. Aguilera 0001, Martín Diéguez, David Fernández Duque, Brett McLean. 18-35 [doi]
- Fixed Point Logics and Definable Topological PropertiesDavid Fernández Duque, Quentin Gougeon. 36-52 [doi]
- Correspondence Theory for Generalized Modal AlgebrasZhiguang Zhao. 53-69 [doi]
- Tense Logics over LatticesXiaoyang Wang, Yanjing Wang 0001. 70-87 [doi]
- Expressing Power of Elementary Quantum Recursion Schemes for Quantum Logarithmic-Time ComputabilityTomoyuki Yamakami. 88-104 [doi]
- Multityped Abstract Categorial Grammars and Their CompositionPierre Ludmann, Sylvain Pogodalla, Philippe de Groote. 105-122 [doi]
- Interval Probability for Sessions TypesBogdan Aman, Gabriel Ciobanu. 123-140 [doi]
- Combinatorial Flows as Bicolored Atomic FlowsGiti Omidvar, Lutz Straßburger. 141-157 [doi]
- A Logic of "Black Box" Classifier SystemsXinghan Liu, Emiliano Lorini. 158-174 [doi]
- What Kinds of Connectives Cause the Difference Between Intuitionistic Predicate Logic and the Logic of Constant Domains?Naosuke Matsuda, Kento Takagi. 175-189 [doi]
- Logic of Visibility in Social NetworksRustam Galimullin, Mina Young Pedersen, Marija Slavkovik 0001. 190-206 [doi]
- The Alternation Hierarchy of the μ-calculus over Weakly Transitive FramesLeonardo Pacheco, Kazuyuki Tanaka. 207-220 [doi]
- Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with TestsIgor Sedlár, Johann J. Wannenburg. 221-236 [doi]
- The Limits to Gossip: Second-Order Shared Knowledge of All Secrets is UnsatisfiableHans van Ditmarsch, Malvin Gattinger. 237-249 [doi]
- Additive Types in Quantitative Type TheoryVít Sefl, Tomás Svoboda. 250-262 [doi]
- Strongly First Order, Domain Independent Dependencies: The Union-Closed CasePietro Galliani. 263-279 [doi]
- Towards an Intuitionistic Deontic Logic Tolerating Conflicting ObligationsTiziano Dalmonte, Charles Grellois, Nicola Olivetti. 280-294 [doi]
- Presburger Büchi Tree Automata with Applications to Logics with Expressive CountingBartosz Bednarczyk, Oskar Fiuk. 295-308 [doi]
- Abstract Cyclic ProofsBahareh Afshari, Dominik Wehr. 309-325 [doi]
- Subordination Algebras as Semantic Environment of Input/Output LogicAndrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang. 326-343 [doi]
- Material Dialogues for First-Order Logic in Constructive Type TheoryDominik Wehr, Dominik Kirst. 344-361 [doi]
- On the Computational Properties of the Uncountability of the Real NumbersSam Sanders. 362-377 [doi]
- Mining the Surface: Witnessing the Low Complexity Theorems of ArithmeticAmirhossein Akbar Tabatabai. 378-394 [doi]
- Non-monotonic Reasoning via Dynamic ConsequenceCarlos Areces, Valentin Cassano, Raul Fervari. 395-410 [doi]