Volume 100, Numbers 1-2, April 2012

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

Volume 100, Number 3, June 2012

• 
  Jonas R. Becker Arenhart: Finite Cardinals in Quasi-set Theory. 437-452
• 
  Sebastian Enqvist: Interrogative Belief Revision Based on Epistemic Strategies. 453-479
• 
  Bakhadyr Khoussainov, Tomasz Kowalski: Computable Isomorphisms of Boolean Algebras with Operators. 481-496
• 
  Toby Meadows: Revising Carnap's Semantic Conception of Modality. 497-515
• 
  Vít Puncochár: Some Modifications of Carnap's Modal Logic. 517-543
• 
  João Rasga, Amílcar Sernadas, Cristina Sernadas: Importing Logics. 545-581
• 
  Jan-Willem Romeijn: Conditioning and Interpretation Shifts. 583-606
• 
  Kim Solin: Dual Choice and Iteration in an Abstract Algebra of Action. 607-630
• 
  Luca Tranchini: Natural Deduction for Dual-intuitionistic Logic. 631-648
• 
  Frank Wolter: Book Reviews. 649-651
• 
  Jean-Yves Béziau: BookReview. 653-657
• 
  Asher M. Kach: Book Reviews. 659-662

Volume 100, Number 4, August 2012

• 
  Nissim Francez, Ian Pratt-Hartmann: Editors' Preface. 663-665
• 
  Joachim Lambek: Logic and Grammar. 667-681
• 
  Lawrence S. Moss: The Soundness of Internalized Polarity Marking. 683-704
• 
  Thomas F. Icard III: Inclusion and Exclusion in Natural Language. 705-725
• 
  Scott Martin, Carl Pollard: A Higher-Order Theory of Presupposition. 727-751
• 
  Koji Mineshima, Mitsuhiro Okada, Ryo Takemura: A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations. 753-785
• 
  Camilo Thorne, Diego Calvanese: Tractability and Intractability of Controlled Languages for Data Access. 787-813
• 
  Bartosz Wieckowski: A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language Constructions. 815-853
• 
  Pablo Cobreros, Paul Égré, David Ripley, Robert van Rooij: Tolerance and Mixed Consequence in the S'valuationist Setting. 855-877
• 
  Chris Fox: Imperatives: a Judgemental Analysis. 879-905

Volume 100, Number 5, October 2012

• 
  Sven Ove Hansson: Finite Contractions on Infinite Belief Sets. 907-920
• 
  Piotr Kulicki: An Axiomatisation of a Pure Calculus of Names. 921-946
• 
  F. A. Muller: Circular Discernment in Completely Extensive Structures and How to Avoid such Circles Generally. 947-952
• 
  Pavel Naumov: Independence in Information Spaces. 953-973
• 
  Joshua B. Palmatier, Fernando Guzmán: M-Zeroids: Structure and Categorical Equivalence. 975-1000
• 
  François Schwarzentruber: Complexity Results of STIT Fragments. 1001-1045
• 
  Julian C. Cole: Giovanni Sommaruga (ed.), Foundational Theories of Classical and Constructive Mathematics, Springer, The Western Ontario Series in Philosophy of Science, Vol. 76, 2011, pp. xi+314. ISBN 978-94-007-0430-5 (hardcover) US $139.00. 1047-1050
• 
  Melvin Fitting: Torben Braüner, Hybrid Logic and its Proof-Theory, Applied Logic Series Volume 37, Springer, 2011, pp. XIII+231. ISBN: 978-94-007-0001-7 (hardcover) EURO 99, 95, ISBN: 978-94-007-0002-4 (eBook) EURO 99, 99. 1051-1053
• 
  Hans P. van Ditmarsch: Johan van Benthem, Modal Logic for Open Minds, CSLI Lecture Notes, Stanford University, 2010, pp. 350. ISBN: 9781575865997 (hardcover) US $70.00, ISBN: 9781575865980 (paperback) US $30.00. 1055-1057

Volume 100, Number 6, December 2012

• 
  Nikolaos Galatos, Peter Jipsen, Hiroakira Ono: Preface. 1059-1062
• 
  Rostislav Horcík: Minimal Varieties of Representable Commutative Residuated Lattices. 1063-1078
• 
  Francesco Paoli, Constantine Tsinakis: On Birkhoff's Common Abstraction Problem. 1079-1105
• 
  Roberto Cignoli, Antoni Torrens: Varieties of Commutative Integral Bounded Residuated Lattices Admitting a Boolean Retraction Term. 1107-1136
• 
  Hiroki Takamura: Semisimplicity, EDPC and Discriminator Varieties of Bounded Weak-commutative Residuated Lattices with an S4-like Modal Operator. 1137-1148
• 
  Takahiro Seki: An Algebraic Proof of the Admissibility of γ in Relevant Modal Logics. 1149-1174
• 
  Takahiro Seki: Metacompleteness of Substructural Logics. 1175-1199
• 
  Sándor Jenei: Equality Algebras. 1201-1209
• 
  Lisa Galminas, John G. Mersch: A Pretabular Classical Relevance Logic. 1211-1221
• 
  James Brotherston: Bunched Logics Displayed. 1223-1254
• 
  José L. Castiglioni, Hernán Javier San Martín: On some Classes of Heyting Algebras with Successor that have the Amalgamation Property. 1255-1269
• 
  Simone Bova: Lewis Dichotomies in Many-Valued Logics. 1271-1290
• 
  David J. Foulis, Sylvia Pulmannová: Logical Connectives on Lattice Effect Algebras. 1291-1315

last updated on Sat May 25 06:39:19 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page