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