@article(AP16, author = {Gabrielle Anderson and David J Pym}, year = {2016}, title = {{A Calculus and Logic of Bunched Resources and Processes}}, journal = {{Theoretical Computer Science}}, volume = {614}, pages = {63--96}, doi = {10.1016/j.tcs.2015.11.035}, ) @book(BdeRV2001, author = {Patrick Blackburn and De Rijke, Maarten and Yde Venema}, year = {2001}, title = {{Modal Logic}}, publisher = {Cambridge University Press}, doi = {10.1017/CBO9781107050884}, ) @article(CGZ2005, author = {Cristiano Calcagno and Philippa Gardner and Uri Zarfaty}, year = {2005}, title = {{Context Logic and Tree Update}}, journal = {{ACM SIGPLAN Notices}}, volume = {40}, number = {1}, pages = {271--282}, doi = {10.1145/1047659.1040328}, ) @article(CGZ2007, author = {Cristiano Calcagno and Philippa Gardner and Uri Zarfaty}, year = {2007}, title = {{Context Logic as Modal Logic: Completeness and Parametric Inexpressivity}}, journal = {{ACM SIGPLAN Notices}}, volume = {42}, number = {1}, pages = {123--134}, doi = {10.1145/1190215.1190236}, ) @inproceedings(CIP2021, author = {Tristan Caulfield and Marius-Constantin Ilau and David J Pym}, year = {2021}, title = {{Engineering Ecosystem Models: Semantics and Pragmatics}}, booktitle = {{13th EAI International Conference on Simulation Tools and Techniques}}, organization = {Springer}, pages = {236--258}, doi = {10.1007/978-3-030-97124-3\_21}, ) @article(DD2015, author = {St{\'e}phane Demri and Morgan Deters}, year = {2015}, title = {Separation logics and modalities: a survey}, journal = {Journal of Applied Non-Classical Logics}, volume = {25}, number = {1}, pages = {50--99}, doi = {10.1080/11663081.2015.1018801}, ) @article(Dosen1992, author = {Do{\v{s}}en, Kosta}, year = {1992}, title = {Modal translations in substructural logics}, journal = {Journal of Philosophical Logic}, volume = {21}, pages = {283--336}, doi = {10.1007/BF00260931}, ) @book(Fitt12, author = {Melvin Fitting}, year = {2012}, title = {{First-Order Logic and Automated Theorem Proving}}, publisher = {Springer Science \& Business Media}, doi = {10.1007/978-1-4612-2360-3}, ) @article(FuhrmannMaresOnS, author = {Andr\'e Fuhrmann and Edwin D. Mares}, year = {1994}, title = {On S}, journal = {Studia Logica}, volume = {53}, number = {1}, pages = {75--91}, doi = {10.1007/bf01053023}, ) @article(GKP2020, author = {Didier Galmiche and Pierre Kimmel and David J Pym}, year = {2019}, title = {{A substructural epistemic resource logic: theory and modelling applications}}, journal = {{Journal of Logic and Computation}}, volume = {29}, number = {8}, pages = {1251--1287}, doi = {10.1093/logcom/exz024}, ) @inproceedings(GLP2024, author = {Didier Galmiche and Timo Lang and David J Pym}, year = {2024}, title = {{Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning}}, booktitle = {{16th EAI International Conference on Simulation Tools and Techniques}}, organization = {Springer}, pages = {48--71}, doi = {10.1007/978-3-031-87345-4\_4}, ) @article(GMP2005, author = {Didier Galmiche and Daniel M{\'e}ry and David J Pym}, year = {2005}, title = {{The semantics of BI and resource tableaux}}, journal = {Mathematical Structures in Computer Science}, volume = {15}, number = {6}, pages = {1033--1088}, doi = {10.1017/S0960129505004858}, ) @article(GheorghiuPym2023, author = {Alexander V Gheorghiu and David J Pym}, year = {2023}, title = {{Semantical Analysis of the Logic of Bunched Implications}}, journal = {{Studia Logica}}, volume = {111}, number = {4}, pages = {525--571}, doi = {10.1007/s11225-022-10028-z}, ) @inproceedings(Ishtiaq2001, author = {Samin S Ishtiaq and Peter W O'Hearn}, year = {2001}, title = {{BI as an Assertion Language for Mutable Data Structures}}, booktitle = {{Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}}, pages = {14--26}, doi = {10.1145/360204.375719}, ) @article(Kamide2002, author = {Norihiro Kamide}, year = {2002}, title = {{Kripke Semantics for Modal Substructural Logics}}, journal = {{Journal of Logic, Language, and Information}}, volume = {11}, pages = {453--470}, doi = {10.1023/A:1019915908844}, ) @article(OP99, author = {Peter W O'Hearn and David J Pym}, year = {1999}, title = {{The Logic of Bunched Implications}}, journal = {Bulletin of Symbolic Logic}, volume = {5}, number = {2}, pages = {215--244}, doi = {10.2307/421090}, ) @book(Ono2019, author = {Hiroakira Ono}, year = {2019}, title = {Proof Theory and Algebra in Logic}, publisher = {Springer}, doi = {10.1007/978-981-13-7997-0}, ) @article(POY2004, author = {David J Pym and Peter W O'Hearn and Hongseok Yang}, year = {2004}, title = {{Possible Worlds and Resources: The Semantics of BI}}, journal = {Theoretical Computer Science}, volume = {315}, number = {1}, pages = {257--305}, doi = {10.1016/j.tcs.2003.11.020}, ) @inproceedings(Reynolds2002, author = {John C Reynolds}, year = {2002}, title = {Separation Logic: A Logic for Shared Mutable Data Structures}, booktitle = {{Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science}}, organization = {IEEE}, pages = {55--74}, doi = {10.1109/LICS.2002.1029817}, ) @incollection(RM73, author = {Richard Routley and Robert Meyer}, year = {1973}, title = {{The Semantics of Entailment}}, booktitle = {{Studies in Logic and the Foundations of Mathematics}}, volume = {68}, publisher = {Elsevier}, pages = {199--243}, doi = {10.1016/S0049-237X(08)71541-6}, ) @phdthesis(Simpson94, author = {Alex K Simpson}, year = {1994}, title = {{The Proof Theory and Semantics of Intuitionistic Modal Logic}}, school = {{School of Informatics, University of Edinburgh}}, url = {https://era.ed.ac.uk/handle/1842/407}, ) @misc(CrimsonTide, author = {Don Simpson and Jerry Bruckheimer (Producers)}, year = {1995}, title = {Crimson Tide [movie]}, url = {https://www.imdb.com/title/tt0112740/}, note = {Directed by Tony Scott}, )