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