@article(AbrioDescFig17,
 author       = {Sergio Abriola and Mar{\'\i}a~Emilia Descotte and Santiago Figueira},
 year         = {2017},
 title        = {Model theory of XPath on data trees. Part II: Binary bisimulation and definability},
 journal      = {Information and Computation},
 volume       = {255},
 pages        = {195--223},
 doi          = {10.1016/j.ic.2017.01.002},
)
@article(Bad16,
 author       = {Guillermo Badia},
 year         = {2016},
 title        = {Bi-simulating in bi-intuitionistic logic},
 journal      = {Studia Logica},
 volume       = {104},
 number       = {5},
 pages        = {1037--1050},
 doi          = {10.1007/s11225-016-9664-1},
)
@inproceedings(BelPaiRit01,
 author       = {Gianluigi Bellin and {de Paiva}, Valeria and Eike Ritter},
 year         = {2001},
 title        = {Extended {C}urry-{H}oward correspondence for a basic constructive modal logic},
 booktitle    = {Methods for Modalities 2 (M4M-2)},
 pages        = {1--15},
)
@book(BlaRijVen01,
 author       = {Patrick Blackburn and Maarten~de Rijke and Yde Venema},
 year         = {2001},
 title        = {Modal Logic},
 publisher    = {Cambridge University Press},
 address      = {Cambridge},
 doi          = {10.1017/CBO9781107050884},
)
@article(TenBalLit10,
 author       = {Balder ten Cate and Ga{\"e}lle Fontaine and Tadeusz Litak},
 year         = {2010},
 title        = {Some modal aspects of XPath},
 journal      = {Journal of Applied Non-Classical Logics},
 volume       = {20},
 number       = {3},
 pages        = {139--171},
 doi          = {10.3166/jancl.20.139-171},
)
@book(ChaKei73,
 author       = {C.~Chang and H.~Jerome Keisler},
 year         = {1973},
 title        = {Model Theory},
 publisher    = {Elsevier},
 address      = {North-Holland},
)
@inproceedings(Pai03,
 author       = {{de Paiva}, Valeria},
 year         = {2003},
 title        = {Natural deduction and context as (constructive) modality},
 booktitle    = {Proceedings {CONTEXT} 2003},
 pages        = {116--129},
 doi          = {10.1007/3-540-44958-2_10},
)
@article(EnqSeiVen19,
 author       = {Sebastian Enqvist and Fatemeh Seifan and Yde Venema},
 year         = {2019},
 title        = {Completeness for $\mu$-calculi: a coalgebraic approach},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {170},
 number       = {5},
 pages        = {578--641},
 doi          = {10.1016/j.apal.2018.12.004},
)
@article(Ewa86,
 author       = {William~B. Ewald},
 year         = {1986},
 title        = {Intuitionistic tense and modal logic},
 journal      = {Journal of Symbolic Logic},
 volume       = {51},
 number       = {1},
 pages        = {166--179},
 doi          = {10.2307/2273953},
)
@article(FigAre15,
 author       = {Diego Figueira and Santiago Figueira and Carlos Areces},
 year         = {2015},
 title        = {Model theory of XPath on data trees. Part I: Bisimulation and characterization},
 journal      = {Journal of Artificial Intelligence Research},
 volume       = {53},
 pages        = {271--314},
 doi          = {10.1613/jair.4658},
)
@article(Servi84,
 author       = {Fischer~Servi, Gis{\`e}le},
 year         = {1984},
 title        = {Axiomatizations for some intuitionistic modal logics},
 journal      = {Rendiconti del Seminario Matematico Universit{\`a} e Politecnico di Torino},
 volume       = {42},
)
@book(FitMend:2:2023,
 author       = {Melvin Fitting and Richard~L. Mendelsohn},
 year         = {2023},
 title        = {First-Order Modal Logic},
 edition      = {2nd},
 publisher    = {Springer},
)
@article(Gab72,
 author       = {Dov~M. Gabbay},
 year         = {1972},
 title        = {Model Theory for Intuitionistic Logic},
 journal      = {Zeitschrift fur mathematische Logik und Grundlagen der Mathematik},
 volume       = {18},
 pages        = {49--54},
 doi          = {10.1002/malq.19720180402},
)
@misc(GroMarSte25,
 author       = {Jim de~Groot and Jo{\~a}o Marcos and Rodrigo Stefanes},
 year         = {2025},
 title        = {Intrinsic and relative characterization results for logics with negative modalities},
 note         = {\href{https://arxiv.org/abs/2512.15496}{arxiv:2512.15496}},
)
@inproceedings(GrootPatt19,
 author       = {Jim de~Groot and Dirk Pattinson},
 year         = {2019},
 title        = {Hennessy-Milner properties for (modal) bi-intuitionistic logic},
 booktitle    = {Proceedings of the 26th WoLLIC},
 organization = {Springer},
 pages        = {161--176},
 doi          = {10.1007/978-3-662-59533-6\_10},
)
@mastersthesis(Han03,
 author       = {Helle~Hvid Hansen},
 year         = {2003},
 title        = {Monotonic Modal Logics},
 school       = {University of Amsterdam},
)
@article(Han09,
 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},
 doi          = {10.2168/LMCS-5(2:2)2009},
)
@article(HenMil85,
 author       = {Matthew Hennessy and Robin Milner},
 year         = {1985},
 title        = {Algebraic laws for nondeterminism and concurrency},
 journal      = {Journal of the ACM},
 volume       = {32},
 number       = {1},
 pages        = {137--161},
 doi          = {10.1145/2455.2460},
)
@inproceedings(JanWalu95,
 author       = {David Janin and Igor Walukiewicz},
 year         = {1995},
 title        = {Automata for the modal $\mu$-calculus and related results},
 booktitle    = {Proceedings of the 20th MFCS},
 organization = {Springer},
 pages        = {552--562},
)
@article(KurRij97,
 author       = {Natasha Kurtonina and Maarten~De Rijke},
 year         = {1997},
 title        = {Simulating without negation},
 journal      = {Journal of Logic and Computation},
 volume       = {7},
 number       = {4},
 pages        = {501--522},
 doi          = {10.1093/logcom/7.4.501},
)
@phdthesis(Mar79,
 author       = {Zoran~M. Markovi\'c},
 year         = {1979},
 title        = {Model Theory for Intuitionistic Logic},
 school       = {University of Pennsylvania},
)
@inproceedings(MenPai05,
 author       = {Michael Mendler and {de Paiva}, Valeria},
 year         = {2005},
 title        = {Constructive {CK} for contexts},
 booktitle    = {Proceedings {CRR} 2005},
)
@book(Mil80,
 author       = {Robin Milner},
 year         = {1980},
 title        = {A Calculus of Communicating Systems},
 publisher    = {Springer},
)
@article(Olk13,
 author       = {Grigory~K. Olkhovikov},
 year         = {2013},
 title        = {Model-theoretic characterization of intuitionistic propositional formulas},
 journal      = {The Review of Symbolic Logic},
 volume       = {6},
 number       = {2},
 pages        = {348--365},
 doi          = {10.1017/S1755020312000342},
)
@inproceedings(Park81,
 author       = {David Park},
 year         = {1981},
 title        = {Concurrency and automata on infinite sequences},
 editor       = {Peter Deussen},
 booktitle    = {Theoretical Computer Science: Proceedings of the 5th GI-Conference},
 series       = {LNCS},
 volume       = {104},
 publisher    = {Springer},
 pages        = {167--183},
 doi          = {10.1007/BFb0017309},
)
@inproceedings(Pat97,
 author       = {Anna Patterson},
 year         = {1997},
 title        = {Bisimulation and propositional intuitionistic logic},
 editor       = {A.~Mazurkiewicz and J.~Win\-kowski},
 booktitle    = {Proceedings of the 8th CONCUR},
 publisher    = {Springer},
 pages        = {347--360},
 doi          = {10.1007/3-540-63141-0\_24},
)
@inproceedings(PltStir86,
 author       = {Gordon Plotkin and Colin Stirling},
 year         = {1986},
 title        = {A framework for intuitionistic modal logics (extended abstract)},
 booktitle    = {Proceedings of the 1st TARK},
 pages        = {399--406},
)
@phdthesis(Sim94,
 author       = {Alex~K. Simpson},
 year         = {1994},
 title        = {The Proof Theory and Semantics of Intuitionistic Modal Logic},
 school       = {University of Edinburgh},
)
@phdthesis(VBen76,
 author       = {{Van Benthem}, Johan},
 year         = {1976},
 title        = {Modal Correspondence Theory},
 school       = {University of Amsterdam},
)
@article(Wij90,
 author       = {Duminda Wijesekera},
 year         = {1990},
 title        = {Constructive Modal Logics {I}},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {50},
 pages        = {271--301},
 doi          = {10.1016/0168-0072(90)90059-B},
)
@article(WijNer05,
 author       = {Duminda Wijesekera and Anil Nerode},
 year         = {2005},
 title        = {Tableaux for constructive concurrent dynamic logic},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {135},
 number       = {1-3},
 pages        = {1--72},
 doi          = {10.1016/j.apal.2004.12.001},
)
@incollection(WolterZakharyaschev1999,
 author       = {Frank Wolter and Michael Zakharyaschev},
 year         = {1999},
 title        = {Intuitionistic modal logic},
 editor       = {Andrea Cantini and Ettore Casari and Pierluigi Minari},
 booktitle    = {Logic and Foundations of Mathematics: Selected contributed papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995},
 publisher    = {Springer},
 address      = {Dordrecht},
 pages        = {227--238},
 doi          = {10.1007/978-94-017-2109-7_17},
)