Reasoning About Common Knowledge with Infinitely Many Agents

Reasoning About Knowledge of Unawareness

Reasoning About Strategies: On the Model-Checking Problem

Reasoning about transfinite sequences

Reasoning in Abella about Structural Operational Semantics Specifications

Reasoning on Schemata of Formulae

Reasoning with Axioms: Theory and Pratice

Reasoning with Forest Logic Programs and f-hybrid Knowledge Bases

Reasoning with Higher-Order Abstract Syntax in a Logical Framework

Reasoning with Individuals for the Description Logic SHIQ

Recursive Definitions of Monadic Functions

Reducibility of Gene Patterns in Ciliates using the Breakpoint Graph

Reducing Higher Order Pi-Calculus to Spatial Logics

Reduction in X does not agree with Intersection and Union Types (Extended abstract)

Reduction of Many-valued into Two-valued Modal Logics

Redundancies in Dependently Typed Lambda Calculi and Their Relevance to Proof Search

Redundancy in Logic III: Non-Mononotonic Reasoning

Redundancy, Deduction Schemes, and Minimum-Size Bases for Association Rules

Refinement and Verification of Real-Time Systems

Refinement by interpretation in π-institutions