Cs-Lo
Axiomatizing first order consequences in dependence logic
Variable Forgetting in Reasoning about Knowledge
A Categorical Model for the Lambda Calculus with Constructors
Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs
Lattices of Logical Fragments over Words
The Good, the Bad, and the Odd: Cycles in Answer-Set Programs
Model-Checking the Higher-Dimensional Modal mu-Calculus
Interaction Graphs: Multiplicatives
A normative account of defeasible and probabilistic inference
Learning Markov Decision Processes for Model Checking
Generalized Complexity of ALC Subsumption
Lower Bounds for Existential Pebble Games and k-Consistency Tests
Invariant stream generators using automatic abstract transformers based on a decidable logic
An extension of data automata that captures XPath
A type system for PSPACE derived from light linear logic
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes
Using Tableau to Decide Description Logics with Full Role Negation and Identity
Lattice based Least Fixed Point Logic
Learning-Assisted Automated Reasoning with Flyspeck
Bisimilarity of Probabilistic Pushdown Automata
Minimization of semilinear automata
Nexus Authorization Logic (NAL): Logical Results
