Taneli Huuskonen

On the \(\kappa\)-cub game on \(\lambda \) and \(I[\lambda ]\)

Abstract. We discuss the relationships between the notions of

On potential isomorphism and non-structure

\kappa

Relational dual tableau decision procedures and their applications to modal and intuitionistic logics

-cub game on

Number of extensions of non-Fregean logics

\lambda

Observations about Scott and Karp trees

,

Grzegorczyk’s Non-Fregean Logics and Their Formal Properties

\kappa

Grzegorczyk’s Logics. Part I

-cub subset of

On definability of order in logic with choice

\lambda

LOGIC OF DESCRIPTIONS. A NEW APPROACH TO THE FOUNDATIONS OF MATHEMATICS AND SCIENCE

, the ideal of good subsets of

The Construction of A Definable Non-Categorical Domain

\lambda