Sequential operators in computability logic

Sequentiality vs. Concurrency in Games and Logic

Set systems: order types, continuous nondeterministic deformations, and quasi-orders

Set Theory for Verification: I. From Foundations to Functions

Set Theory for Verification: II. Induction and Recursion

Set Unification

Shared Memory Concurrent System Verification using Kronecker Algebra

Sheaves and geometric logic and applications to the modular verification of complex systems

Short proofs of strong normalization

Short-circuit logic

Side Effects in Steering Fragments

Sierpinski Gaskets for Logic Functions Representation

Significant Diagnostic Counterexamples in Probabilistic Model Checking

Similarity-based Reasoning in Qualified Logic Programming

Simple Type Theory as Framework for Combining Logics

Simulating reachability using first-order logic with applications to verification of linked data structures

Simulation-Checking of Real-Time Systems with Fairness Assumptions

Sintesi di algoritmi con SKY

Size-Change Termination, Monotonicity Constraints and Ranking Functions

Smart matching