@article(AllDun93,
 author       = {Gerard Allwein and J. Michael Dunn},
 year         = {1993},
 title        = {Kripke Models for Linear Logic},
 journal      = {The Journal of Symbolic Logic},
 volume       = {58},
 number       = {2},
 pages        = {514--545},
 doi          = {10.2307/2275217},
)
@article(AreEtAl01,
 author       = {Carlos Areces and Patrick Blackburn and Maarten Marx},
 year         = {2001},
 title        = {Hybrid Logics: Characterization, Interpolation and Complexity},
 journal      = {J. Symb. Log.},
 volume       = {66},
 number       = {3},
 pages        = {977--1010},
 doi          = {10.2307/2695090},
)
@article(Auc14c,
 author       = {Guillaume Aucher},
 year         = {2016},
 title        = {{Displaying Updates in Logic}},
 journal      = {{Journal of Logic and Computation}},
 volume       = {26},
 number       = {6},
 pages        = {1865--1912},
 doi          = {10.1093/logcom/exw001},
)
@article(Auc20,
 author       = {Guillaume Aucher},
 year         = {2020},
 title        = {Towards universal logic: Gaggle logics},
 journal      = {Journal of Applied Logics -- IfCoLog Journal of Logics and their Applications},
 volume       = {7},
 number       = {6},
 pages        = {875--945},
 url          = {http://collegepublications.co.uk/ifcolog/?00042},
)
@inbook(Auc21,
 author       = {Guillaume Aucher},
 year         = {2021},
 title        = {Selected Topics from Contemporary Logics},
 chapter      = {Towards Universal Logic: Gaggle Logics},
 pages        = {5--73},
 series       = {Landscapes in Logic},
 publisher    = {College Publications},
)
@article(Auc22,
 author       = {Guillaume Aucher},
 year         = {2022},
 title        = {On the Universality of Atomic and Molecular Logics via Protologics},
 journal      = {Logica Universalis},
 number       = {To appear},
)
@article(AucEtAl18,
 author       = {Guillaume Aucher and Johan van Benthem and Davide Grossi},
 year         = {2018},
 title        = {Modal logics of sabotage revisited},
 journal      = {J. Log. Comput.},
 volume       = {28},
 number       = {2},
 pages        = {269--303},
 doi          = {10.1093/logcom/exx034},
)
@inproceedings(Bez07,
 author       = {Jean-Yves B\'eziau},
 year         = {2005},
 title        = {From Consequence Operator to Universal Logic: A Survey of General Abstract Logic},
 editor       = {Jean-Yves B\'eziau},
 booktitle    = {Logica Universalis},
 publisher    = {Birkh{\"a}user Basel},
 address      = {Basel},
 pages        = {3--17},
 doi          = {10.1007/3-7643-7304-0\_1},
)
@book(BlaRijVen01,
 author       = {Patrick Blackburn and Maarten de Rijke and Yde Venema},
 year         = {2001},
 title        = {Modal Logic},
 series       = {Cambridge Tracts in Computer Science},
 volume       = {53},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781107050884},
)
@book(ChaKei98,
 author       = {C. C. Chang and H. J. Keisler},
 year         = {1998},
 title        = {Model Theory},
 series       = {Studies in Logic and the Foundations of Mathematics},
 publisher    = {Elsevier},
)
@article(Gor98,
 author       = {Rajeev Gor{\'e}},
 year         = {1998},
 title        = {Substructural logics on display},
 journal      = {Logic Journal of IGPL},
 volume       = {6},
 number       = {3},
 pages        = {451--504},
 doi          = {10.1093/jigpal/6.3.451},
)
@incollection(Gri83,
 author       = {Viktor Grishin},
 year         = {1983},
 title        = {On a generalization of the {A}jdukiewicz-{L}ambek system},
 editor       = {A. I. Mikhailov},
 booktitle    = {Studies in Nonclassical Logics and Formal Systems},
 publisher    = {Nauka},
 address      = {Moscow},
 pages        = {315--334},
)
@article(HanEtAl09,
 author       = {Helle Hvid Hansen and Clemens Kupke and Eric Pacuit},
 year         = {2009},
 title        = {Neighbourhood Structures: Bisimilarity and Basic Model Theory},
 journal      = {Logical Methods in Computer Science},
 volume       = {5},
 number       = {2},
 doi          = {10.2168/LMCS-5(2:2)2009},
)
@inproceedings(JanWal96,
 author       = {David Janin and Igor Walukiewicz},
 year         = {1996},
 title        = {On the Expressive Completeness of the Propositional mu-Calculus with Respect to Monadic Second Order Logic},
 editor       = {Ugo Montanari and Vladimiro Sassone},
 booktitle    = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {1119},
 publisher    = {Springer},
 pages        = {263--277},
 doi          = {10.1007/3-540-61604-7\_60},
)
@article(KurRij97,
 author       = {Natasha Kurtonina and Maarten de Rijke},
 year         = {1997},
 title        = {Bisimulations for Temporal Logic},
 journal      = {Journal of Logic, Language and Information},
 volume       = {6},
 number       = {4},
 pages        = {403--425},
 doi          = {10.1023/A:1008223921944},
)
@article(Lam58,
 author       = {Joachim Lambek},
 year         = {1958},
 title        = {The mathematics of sentence structure},
 journal      = {The American Mathematical Monthly},
 volume       = {65},
 number       = {3},
 pages        = {154--170},
 doi          = {10.1080/00029890.1958.11989160},
)
@inproceedings(Moo07,
 author       = {Michael Moortgat},
 year         = {2007},
 title        = {Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus},
 editor       = {Daniel Leivant and Ruy de Queiroz},
 booktitle    = {Logic, Language, Information and Computation},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {264--284},
 doi          = {10.1007/978-3-540-73445-1\_19},
)
@article(Olk14,
 author       = {Grigory K. Olkhovikov},
 year         = {2014},
 title        = {Model-theoretic characterization of intuitionistic predicate formulas},
 journal      = {Journal of Logic and Computation},
 volume       = {24},
 number       = {4},
 pages        = {809--829},
 doi          = {10.1093/logcom/ext014},
)
@article(Olk17,
 author       = {Grigory K. Olkhovikov},
 year         = {2017},
 title        = {On expressive power of basic modal intuitionistic logic as a fragment of classical {FOL}},
 journal      = {Journal of Applied Logic},
 volume       = {21},
 pages        = {57--90},
 doi          = {10.1016/j.jal.2016.11.036},
)
@article(Olk17b,
 author       = {Grigory K. Olkhovikov},
 year         = {2017},
 title        = {On generalized Van {B}enthem-type characterizations},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {168},
 number       = {9},
 pages        = {1643--1691},
 doi          = {10.1016/j.apal.2017.03.002},
)
@book(Res00,
 author       = {Greg Restall},
 year         = {2000},
 title        = {An Introduction to Substructural Logics},
 publisher    = {Routledge},
 doi          = {10.4324/9780203252642},
)
@article(Rij00,
 author       = {Maarten de Rijke},
 year         = {2000},
 title        = {A Note on Graded Modal Logic},
 journal      = {Studia Logica},
 volume       = {64},
 number       = {2},
 pages        = {271--283},
 doi          = {10.1023/A:1005245900406},
)
@book(Rot95,
 author       = {Joseph J. Rotman},
 year         = {1995},
 title        = {An Introduction to the Theory of Groups},
 series       = {Graduate Texts in Mathematics},
 volume       = {148},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4612-4176-8},
)
@article(SchEtAl17,
 author       = {Lutz Schr{\"{o}}der and Dirk Pattinson and Tadeusz Litak},
 year         = {2017},
 title        = {A van {B}enthem/{R}osen theorem for coalgebraic predicate logic},
 journal      = {Journal of Logic and Computation},
 volume       = {27},
 number       = {3},
 pages        = {749--773},
 doi          = {10.1093/logcom/exv043},
)
@inproceedings(WilEtAl18,
 author       = {Paul Wild and Lutz Schr{\"{o}}der and Dirk Pattinson and Barbara K{\"{o}}nig},
 year         = {2018},
 title        = {A van {B}enthem Theorem for Fuzzy Modal Logic},
 editor       = {Anuj Dawar and Erich Gr{\"{a}}del},
 booktitle    = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
 publisher    = {{ACM}},
 pages        = {909--918},
 doi          = {10.1145/3209108.3209180},
)