Logical Foundations of Computer Science

Applications of Finite Duality to Locally Finite Varieties of BL-Algebras.- Completeness Results for Memory Logics.- Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination.- Temporalization of Probabilistic Propositional Logic.- Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings.- The Logic of Proofs as a Foundation for Certifying Mobile Computation.- ATL with Strategy Contexts and Bounded Memory.- A Relational Model of a Parallel and Non-deterministic ?-Calculus.- The NP-Completeness of Reflected Fragments of Justification Logics.- Taming Modal Impredicativity: Superlazy Reduction.- Positive Fork Graph Calculus.- Games on Strings with a Limited Order Relation.- Complete Axiomatizations of MSO, FO(TC 1 ) and FO(LFP 1 ) on Finite Trees.- Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic.- A Clausal Approach to Proof Analysis in Second-Order Logic.- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics.- Light Linear Logic with Controlled Weakening.- Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm.- Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System.- Tableaux and Hypersequents for Justification Logic.- Topological Forcing Semantics with Settling.- Automata and Answer Set Programming.- A Labeled Natural Deduction System for a Fragment of CTL *.- Conservativity for Logics of Justified Belief.- Unifying Sets and Programs via Dependent Types.- Product-Free Lambek Calculus Is NP-Complete.- Games on Multi-stack Pushdown Systems.- Data Privacy for Knowledge Bases.- Fixed Point Theorems on Partial Randomness.- Decidability and Undecidability in Probability Logic.- A BialgebraicApproach to Automata and Formal Language Theory.