|
|
- Stefano Aguzzoli, Simone Bova and Vincenzo Marra. Applications of finite duality to locally finite varieties of BL-algebras
- Carlos Areces, Santiago Figueira and Sergio Mera. Completeness Results for Memory Logics
- Arnon Avron and Anna Zamansky. Canonical Signed Calculi, Non-deterministic Matrices, and Cut-elimination
- Pedro Baltazar and Paulo Mateus. Temporalization of probabilistic propositional logic
- Nicolas Bedon. Logic and bounded-width rational languages of posets over countable scattered linear orderings
- Eduardo Bonelli and Federico Feller. The Logic of Proofs as a Foundation for Certifying Mobile Computation
- Thomas Brihaye, Arnaud Da Costa, Francois Laroussinie and Nicolas Markey. ATL with strategy contexts and bounded memory
- Antonio Bucciarelli, Thomas Ehrhard and Giulio Manzonetto. A relational model of a parallel and non-deterministic lambda calculus
- Sam Buss and Roman Kuznets. The NP-Completeness of Reflected Fragments of Justification Logics
- Ugo Dal Lago, Luca Roversi and Luca Vercelli. Taming Modal Impredicativity: Superlazy Reduction
- Renata de Freitas, Sheila Veloso, Paulo Veloso and Petrucio Viana. Positive Fork Graph Calculus
- Elisabetta De Maria, Angelo Montanari and Nicola Vitacolonna. Games on strings with a limited order relation
- Amelie Gheerbrant and Balder ten Cate. Complete axiomatizations of MSO, FO(TC1) and FO(LFP1) on finite trees
- Valentin Goranko and Dmitry Shkatov. Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic
- Stefan Hetzl, Alexander Leitsch, Daniel Weller and Bruno Woltzenlogel Paleo. A Clausal Approach to Proof Analysis in Second-Order Logic
- Rosalie Iemhoff and George Metcalfe. Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
- Max Kanovich. Light Linear Logic with Controlled Weakening: A Missing Opportunity
- Uwe Keller and Stijn Heymans. Fuzzy Description Logic Reasoning using a Fixpoint Algorithm
- Jakub Kozik and Antoine Genitrini. Quantitative comparison of Intuitionistic and Classical logics – full propositional system
- Hidenori Kurokawa. Tableaus and Hypersequents for Justification Logic
- Robert Lubarsky. Topological Forcing Semantics with Settling
- Victor Marek and Jeffrey Remmel. Automata and Answer Set Programming
- Andrea Masini, Luca Vigano and Marco Volpe. A Labeled Natural Deduction System for a Fragment of CTL*
- Robert Milnikel. Conservativity for Logics of Justified Belief
- Wojciech Moczydlowski. Unifying Sets and Programs via Dependent Types
- Yury Savateev. Product-free Lambek Calculus is NP-complete
- Anil Seth. Games on Multi-Stack Pushdown Systems
- Phiniki Stouppa and Thomas Studer. Data Privacy for ALC Knowledge Bases
- Kohtaro Tadaki. Fixed point theorems on partial randomness
- Sebastiaan Terwijn. Decidability and undecidability in probability logic
- James Worthington. A Bialgebraic Approach to Automata and Formal Language Theory
|