A Calculus and Logic of Bunched Resources and Processes

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