Cs-Lo
Game Characterizations of Timed Relations for Timed Automata Processes
Hyperplane Separation Technique for Multidimensional Mean-Payoff Games
Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
Interpolable Formulas in Equilibrium Logic and Answer Set Programming
Lending Petri nets and contracts
LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions
Modularity Aspects of Disjunctive Stable Models
Mutually Exclusive Rules in LogicWeb
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
On some many-valued abstract logics and their Epsilon-T-style extensions
On the Complexity of Equivalence of Specifications of Infinite Objects
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic
On the toggling-branching recurrence of Computability Logic
Parallelizing Mizar
Pareto Curves for Probabilistic Model Checking
Prime Implicates and Prime Implicants: From Propositional to Modal Logic
Probabilistic modal {mu}-calculus with independent product
Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach
Rewrite Closure and CF Hedge Automata
Satisfiability and Model Checking of CTL* with Graded Path Modalities
Sequence encoding without induction
Standardization in resource lambda-calculus
