references.bib

@InCollection{BB22,
  author        = {Bezhanishvili, Guram and Bezhanishvili, Nick},
  title         = {Jankov Formulas and Axiomatization Techniques for Intermediate Logics},
  editor        = {Citkin, Alex and Vandoulakis, Ioannis M.},
  booktitle     = {V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics},
  volume        = {24},
  address       = {Cham},
  publisher     = {Springer International Publishing},
  pages         = {71--124},
  year          = 2022,
  doi           = {10.1007/978-3-031-06843-0_4},
  isbn          = {978-3-031-06842-3}
}

@Article{BBM25,
  author        = {Bezhanishvili, Guram and Bezhanishvili, Nick and Moraschini, Tommaso},
  title         = {Degrees of the Finite Model Property: The Antidichotomy Theorem},
  journal       = {Journal of Mathematical Logic},
  year          = 2025,
  doi           = {10.1142/S0219061325500060}
}

@Book{BdRV10,
  author        = {Blackburn, Patrick and de Rijke, Maarten and Venema, Yde},
  title         = {Modal Logic},
  series        = {Cambridge Tracts in Theoretical Computer Science},
  number        = {53},
  address       = {Cambridge},
  publisher     = {Cambridge University Press},
  year          = 2010,
  isbn          = {978-1-107-05088-4}
}

@Article{CS94,
  author        = {Chellas, Brian F. and Segerberg, Krister},
  title         = {Modal Logics with the {Macintosh} Rule},
  journal       = {Journal of Philosophical Logic},
  volume        = {23},
  number        = {1},
  pages         = {67--86},
  year          = 1994,
  month         = feb,
  doi           = {10.1007/BF01417958}
}

@Article{CZ92,
  author        = {Chagrov, Alexander and Zakharyashchev, Michael},
  title         = {Modal Companions of Intermediate Propositional Logics},
  journal       = {Studia Logica},
  volume        = {51},
  number        = {1},
  pages         = {49--82},
  year          = 1992,
  doi           = {10.1007/BF00370331}
}

@Book{CZ97,
  author        = {Chagrov, Alexander and Zakharyaschev, Michael},
  title         = {Modal Logic},
  series        = {Oxford Logic Guides},
  number        = {35},
  address       = {Oxford : New York},
  publisher     = {Clarendon Press ; Oxford University Press},
  year          = 1997,
  isbn          = {978-0-19-853779-3},
  lccn          = {QA9.46 .C47 1997}
}

@Book{Che80,
  author        = {Chellas, Brian F.},
  title         = {Modal Logic: An Introduction},
  address       = {Cambridge},
  publisher     = {Cambridge University Press},
  year          = 1980,
  month         = feb,
  doi           = {10.1017/CBO9780511621192},
  isbn          = {978-0-521-29515-4}
}

@Article{Che83,
  author        = {Chellas, Brian F.},
  title         = {{KG}\textasciicircum{}(k,l,m,n) and the {EFMP}},
  journal       = {Logique et Analyse},
  volume        = {26},
  number        = {103/104},
  pages         = {255--262},
  year          = 1983
}

@Article{Dvo25,
  author        = {Dvorkin, L. V.},
  title         = {Finite Model Property of Pretransitive Analogues of ({w}){K4} and {GL}},
  journal       = {Journal of Mathematical Sciences},
  volume        = {294},
  number        = {6},
  pages         = {777--801},
  year          = 2025,
  doi           = {10.1007/s10958-025-08132-1}
}

@InCollection{Fin72,
  author        = {Fine, Kit},
  title         = {Logics Containing {S4} without the Finite Model Property},
  editor        = {Hodges, W.},
  booktitle     = {Conference in Mathematical Logic---London '70},
  series        = {Lecture Notes in Mathematics},
  volume        = {255},
  address       = {Berlin, Heidelberg},
  publisher     = {Springer},
  pages         = {98--102},
  year          = 1972,
  doi           = {10.1007/BFb0059539}
}

@Article{Fin74,
  author        = {Fine, Kit},
  title         = {An Incomplete Logic Containing S4},
  journal       = {Theoria},
  volume        = {40},
  number        = {1},
  pages         = {23--29},
  year          = 1974,
  doi           = {10.1111/j.1755-2567.1974.tb00076.x}
}

@Article{Fin74A,
  author        = {Fine, Kit},
  title         = {Logics Containing {K4}. {Part I}},
  journal       = {Journal of Symbolic Logic},
  volume        = {39},
  number        = {1},
  pages         = {31--42},
  year          = 1974,
  doi           = {10.2307/2272340}
}

@Article{Fin74B,
  author        = {Fine, Kit},
  title         = {An Ascending Chain of S4 Logics},
  journal       = {Theoria},
  volume        = {40},
  number        = {2},
  pages         = {110--116},
  year          = 1974,
  doi           = {10.1111/j.1755-2567.1974.tb00081.x}
}

@Article{Fin85,
  author        = {Fine, Kit},
  title         = {Logics Containing {K4}. {Part II}},
  journal       = {Journal of Symbolic Logic},
  volume        = {50},
  number        = {3},
  pages         = {619--651},
  year          = 1985,
  doi           = {10.2307/2274318}
}

@Book{GM05,
  author        = {Gabbay, Dov M. and Maksimova, Larisa},
  title         = {Interpolation and {{Definability}}},
  publisher     = {Oxford University Press},
  year          = 2005,
  month         = may,
  doi           = {10.1093/acprof:oso/9780198511748.001.0001},
  urldate       = {2026-07-16},
  isbn          = {978-0-19-851174-8}
}

@Article{Ger75,
  author        = {Gerson, Martin},
  title         = {The Inadequacy of the Neighbourhood Semantics for Modal Logic},
  journal       = {Journal of Symbolic Logic},
  volume        = {40},
  number        = {2},
  pages         = {141--148},
  year          = {1975},
  doi           = {10.2307/2271893}
}

@Article{Ger75A,
  author        = {Gerson, Martin},
  title         = {An Extension of S4 Complete for the Neighbourhood Semantics but Incomplete for the Relational
                  Semantics},
  journal       = {Studia Logica},
  volume        = {34},
  number        = {4},
  pages         = {333--342},
  year          = {1975},
  doi           = {10.1007/BF02121664}
}

@MastersThesis{Han03,
  author        = {Hansen, Helle Hvid},
  title         = {Monotonic Modal Logics},
  note          = {ILLC Publications PP-2003-24},
  year          = 2003,
  month         = oct,
  url           = {https://eprints.illc.uva.nl/id/eprint/2107/},
  school        = {Universiteit van Amsterdam}
}

@Article{Jer16,
  author        = {Je{\v r}{\'a}bek, Emil},
  title         = {Cluster Expansion and the Boxdot Conjecture},
  journal       = {Mathematical Logic Quarterly},
  volume        = {62},
  number        = {6},
  pages         = {608--614},
  year          = 2016,
  doi           = {10.1002/malq.201600036}
}

@Article{KS25,
  author        = {Kudinov, Andrey and Shapirovsky, Ilya},
  title         = {Two Types of Filtrations for {wK4} and Its Relatives},
  journal       = {Studia Logica},
  year          = 2025,
  doi           = {10.1007/s11225-025-10207-8}
}

@Misc{Kop23,
  author        = {Kopnev, Kirill},
  title         = {The Finite Model Property of Some Non-normal Modal Logics with the Transitivity Axiom},
  year          = 2023,
  doi           = {10.48550/arXiv.2305.08605},
  eprint        = {2305.08605},
  archiveprefix = {arXiv},
  primaryclass  = {math.LO}
}

@Article{Lit04,
  author        = {Litak, Tadeusz},
  title         = {Modal Incompleteness Revisited},
  journal       = {Studia Logica},
  volume        = {76},
  number        = {3},
  pages         = {329--342},
  year          = {2004},
  doi           = {10.1023/B:STUD.0000032102.67838.f2}
}

@Article{Mak69,
  author        = {Makinson, David},
  title         = {A Normal Modal Calculus between {T} and {S4} without the Finite Model Property},
  journal       = {Journal of Symbolic Logic},
  volume        = {34},
  number        = {1},
  pages         = {35--38},
  year          = 1969,
  doi           = {10.2307/2270978}
}

@Article{Mak77,
  author        = {Maksimova, L. L.},
  title         = {Craig's Theorem in Superintuitionistic Logics and Amalgamable Varieties},
  journal       = {Algebra and Logic},
  volume        = {16},
  year          = 1977,
  doi           = {10.1007/BF01670006}
}

@Article{Mak79,
  author        = {Maksimova, L. L.},
  title         = {A Classification of Modal Logics},
  journal       = {Algebra and Logic},
  volume        = {18},
  number        = {3},
  pages         = {202--210},
  year          = 1979,
  doi           = {10.1007/BF01674424}
}

@Article{Mak79A,
  author        = {Maksimova, Larisa L.},
  title         = {Interpolation Properties of Superintuitionistic Logics},
  journal       = {Studia Logica},
  volume        = {38},
  number        = {4},
  pages         = {419--428},
  year          = 1979,
  doi           = {10.1007/BF00370479}
}

@Article{Mak79B,
  author        = {Maksimova, L. L.},
  title         = {Interpolation Theorems in Modal Logics and Amalgamable Varieties of Topological Boolean Algebras},
  journal       = {Algebra and Logic},
  volume        = {18},
  number        = {5},
  pages         = {348--370},
  year          = 1979,
  doi           = {10.1007/BF01673502}
}

@Article{Mak80,
  author        = {Maksimova, L. L.},
  title         = {Interpolation Theorems in Modal Logics. Sufficient Conditions},
  journal       = {Algebra and Logic},
  volume        = {19},
  number        = {2},
  pages         = {120--132},
  year          = 1980,
  doi           = {10.1007/BF01669837}
}

@Article{Mak91,
  author        = {Maksimova, Larisa},
  title         = {Amalgamation and Interpolation in Normal Modal Logics},
  journal       = {Studia Logica},
  volume        = {50},
  number        = {3-4},
  pages         = {457--471},
  year          = 1991,
  doi           = {10.1007/BF00370682}
}

@Book{Pac17,
  author        = {Pacuit, Eric},
  title         = {Neighborhood Semantics for Modal Logic},
  series        = {Short Textbooks in Logic},
  address       = {Cham},
  publisher     = {Springer International Publishing},
  year          = 2017,
  doi           = {10.1007/978-3-319-67149-9},
  isbn          = {978-3-319-67148-2}
}

@Misc{SV26,
  author        = {Santschi, Simon and Vooijs, Niels C.},
  title         = {Interpolation above {S4}},
  year          = 2026,
  doi           = {10.48550/arXiv.2604.22020},
  eprint        = {2604.22020},
  archiveprefix = {arXiv},
  primaryclass  = {math.LO}
}

@PhDThesis{Seg71,
  author        = {Segerberg, Krister},
  title         = {An Essay in Classical Modal Logic},
  year          = 1971,
  school        = {Stanford University}
}

@Article{Ste18,
  author        = {Steinsvold, Christopher},
  title         = {The Boxdot Conjecture and the Generalized {McKinsey} Axiom},
  journal       = {The Australasian Journal of Logic},
  volume        = {15},
  number        = {3},
  pages         = {630--641},
  year          = 2018,
  doi           = {10.26686/ajl.v15i3.4891}
}

@Article{Tho74,
  author        = {Thomason, S. K.},
  title         = {An Incompleteness Theorem in Modal Logic},
  journal       = {Theoria},
  volume        = {40},
  number        = {1},
  pages         = {30--34},
  year          = 1974,
  doi           = {10.1111/j.1755-2567.1974.tb00077.x}
}

@Article{VDPM22,
  author        = {Van De Putte, Frederik and McNamara, Paul},
  title         = {Neighbourhood Canonicity for {EK}, {ECK}, and Relatives: A Constructive Proof},
  journal       = {The Review of Symbolic Logic},
  volume        = {15},
  number        = {3},
  pages         = {607--623},
  year          = 2022,
  month         = sep,
  doi           = {10.1017/S1755020321000319}
}

@InCollection{dJY11,
  author        = {de Jongh, Dick and Yang, Fan},
  title         = {Jankov's Theorems for Intermediate Logics in the Setting of Universal Models},
  editor        = {Bezhanishvili, Nick and L{\"o}bner, Sebastian and Schwabe, Kerstin and Spada, Luca},
  booktitle     = {Logic, Language, and Computation},
  series        = {Lecture Notes in Computer Science},
  volume        = {6618},
  address       = {Berlin, Heidelberg},
  publisher     = {Springer Berlin Heidelberg},
  pages         = {53--76},
  year          = 2011,
  doi           = {10.1007/978-3-642-22303-7_5},
  isbn          = {978-3-642-22302-0}
}

@Article{vB78,
  bibkey        = {vB78},
  author        = {van Benthem, J. F. A. K.},
  title         = {Two Simple Incomplete Modal Logics},
  journal       = {Theoria},
  volume        = {44},
  number        = {1},
  pages         = {25--37},
  year          = 1978,
  doi           = {10.1111/j.1755-2567.1978.tb00830.x}
}

@Article{vB79,
  bibkey        = {vB79},
  author        = {van Benthem, J. F. A. K.},
  title         = {Syntactic Aspects of Modal Incompleteness Theorems},
  journal       = {Theoria},
  volume        = {45},
  number        = {2},
  pages         = {63--77},
  year          = 1979,
  doi           = {10.1111/j.1755-2567.1979.tb00794.x}
}