On Provability Logic
On Provability Logic
On Probability of First Order Formulas in a Given Model
ON PRESERVING 1. Introduction The
On presenting monotonicity and on EA=>AE (pdf file)
On perturbations of continuous structures - HAL
ON PERTURBATIONS OF CONTINUOUS STRUCTURES
On Perfect Introspection with Quantifying-in
on partially conservative sentences and interpretability
On not strengthening intuitionistic logic
On Natural Deduction in Classical First-Order Logic: Curry
On modal logics of group belief
ON LOVELY PAIRS OF GEOMETRIC STRUCTURES 1. Introduction
On Linear Inference
On interpretations of arithmetic and set theory
On Infinitely Nested Radicals
On Horn envelopes and hypergraph transversals
On Herbrand`s Theorem for Intuitionistic Logic
On Herbrand`s Theorem - UCSD Mathematics
On Gabbay`s temporal fixed point operator
