Second-Order Modal Logic by Parisi, Andrew

Get full text

New Directions in Duality Theory for Modal Logic by Carai, Luca

Get full text

Some Progress on the Unique Ergodicity Problem by Jahel, Colin

Get full text

On the Axiomatisability of the Dual of Compact Ordered Spaces by Abbadini, Marco

Get full text

Continuous Abstract Data Types for Verified Computation by Park, Sewon

Get full text

P-points, MAD families and Cardinal Invariants by González, Osvaldo Guzmán

Get full text

ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATION by ADAM-DAY, BEA, HOWE, JOHN, MENNUNI, ROSARIO

Get full text

SENSE AND REFERENCE FROM A CONSTRUCTIVIST STANDPOINT by DUMMETT, MICHAEL

Get full text

Non-Deterministic Matrices: Theory and Applications to Algebraic Semantics by Golzio, Ana Claudia de Jesus

Get full text

The Combinatorics and Absoluteness of Definable Sets of Real Numbers by Norwood, Zach

Get full text

A journey through computability, topology and analysis by Valenti, Manlio

Get full text

Paraconsistent Logic Programming in Three and Four-Valued Logics by Oliveira, Kleidson Êglicio Carvalho da Silva

Get full text

Proof Mining with the Bounded Functional Interpretation by Pinto, Pedro

Get full text

On Logics and Semantics for Interpretability by Mikec, Luka

Get full text

Semantics modulo satisfiability with applications: function representation, probabilities and game theory by Preto, Sandro Márcio da Silva

Get full text

ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC by GALEOTTI, LORENZO, LÖWE, BENEDIKT

Get full text

Formal Theories of Occurrences and Substitutions by Gazzari, René

Get full text

Uniform Properties of Ideals in Rings of Restricted Power Series by Barnicle, Madeline G.

Get full text

IN MEMORIAM: GERALD E. SACKS, 1933–2019 by Lerman, Manuel, Slaman, Theodore A.

Get full text

BSL volume 27 issue 2 Cover and Back matter

Get full text