Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies

Get full text

Generic Modal Cut Elimination Applied to Conditional Logics

Get full text

Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo

Get full text

Semantics of Typed Lambda-Calculus with Constructors

Get full text

Algebraic Notions of Termination

Get full text

On Constructive Connectives and Systems

Get full text

On the meaning of logical completeness

Get full text

Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis

Get full text

The complexity of linear-time temporal logic over the class of ordinals

Get full text

A Logical Foundation for Environment Classifiers

Get full text

Bounded Linear Logic, Revisited

Get full text

An Explicit Framework for Interaction Nets

Get full text

Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance

Get full text

The complexity of global cardinality constraints

Get full text

Game semantics for first-order logic

Get full text

Tree Languages Defined in First-Order Logic with One Quantifier Alternation

Get full text

A Model of Cooperative Threads

Get full text

On Second-Order Monadic Monoidal and Groupoidal Quantifiers

Get full text

Weak omega-categories from intensional type theory

Get full text

The General Vector Addition System Reachability Problem by Presburger Inductive Invariants

Get full text