Volume 100, Issue 1-2

Search all Studia Logica articles

April 2012

Special issue dedicated to the memory of Leo Esakia

Issue Editors:

Lev D. Beklemishev,
Guram Bezhanishvili,
Daniele Mundici,
Yde Venema

21 articles in this issue

Foreword
Lev Beklemishev
Guram Bezhanishvili
Yde Venema
OriginalPaper 14 March 2012 Pages: 1 - 7
Students of Leo Esakia

Announcement 14 March 2012 Pages: 9 - 15
The Ontology of Justifications in the Logical Setting
Sergei N. Artemov
OriginalPaper 09 February 2012 Pages: 17 - 30
Sahlqvist Correspondence for Modal mu-calculus
Johan van Benthem
Nick Bezhanishvili
Ian Hodkinson
OriginalPaper 09 February 2012 Pages: 31 - 60
Extendible Formulas in Two Variables in Intuitionistic Logic
Nick Bezhanishvili
Dick de Jongh
OriginalPaper 09 February 2012 Pages: 61 - 89
Frontal Operators in Weak Heyting Algebras
Sergio A. Celani
Hernán J. San Martín
OriginalPaper 05 February 2012 Pages: 91 - 114
Not Every Splitting Heyting or Interior Algebra is Finitely Presentable
Alex Citkin
OriginalPaper 08 February 2012 Pages: 115 - 135
Canonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-based Algebras
B. A. Davey
H. A. Priestley
OriginalPaper 09 February 2012 Pages: 137 - 161
Fatal Heyting Algebras and Forcing Persistent Sentences
Leo Esakia
Benedikt Löwe
OriginalPaper Open access 12 February 2012 Pages: 163 - 173
Topological Proofs of Some Rasiowa-Sikorski Lemmas
Robert Goldblatt
OriginalPaper 09 February 2012 Pages: 175 - 191
Impugning Randomness, Convincingly
Yuri Gurevich
Grant Olney Passmore
OriginalPaper 09 February 2012 Pages: 193 - 222
Priestley Duality for Bilattices
A. Jung
U. Rivieccio
OriginalPaper 09 February 2012 Pages: 223 - 252
The Dual Adjunction between MV-algebras and Tychonoff Spaces
Vincenzo Marra
Luca Spada
OriginalPaper 09 February 2012 Pages: 253 - 278
Effective Cut-elimination for a Fragment of Modal mu-calculus
Grigori Mints
OriginalPaper 09 February 2012 Pages: 279 - 287
Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation
Franco Montagna
OriginalPaper 09 February 2012 Pages: 289 - 317
BK-lattices. Algebraic Semantics for Belnapian Modal Logics
Sergei P. Odintsov
E. I. Latkin
OriginalPaper 09 February 2012 Pages: 319 - 338
Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics
Hiroakira Ono
OriginalPaper 09 February 2012 Pages: 339 - 359
Kripke Sheaf Completeness of some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle
Dmitrij Skvortsov
OriginalPaper 09 February 2012 Pages: 361 - 383
Dynamic Modalities
Dimiter Vakarelov
OriginalPaper 09 February 2012 Pages: 385 - 397
The Second Incompleteness Theorem and Bounded Interpretations
Albert Visser
OriginalPaper 09 February 2012 Pages: 399 - 418
Reconstructing an Open Order from Its Closure, with Applications to Space-Time Physics and to Logic
Francisco Zapata
Vladik Kreinovich
OriginalPaper 11 February 2012 Pages: 419 - 435

Volume 100, Issue 1-2

Search

Navigation