Possible worlds and resources: The semantics of \(\mathbf{BI}\)
type: Item
instance of: scholarly article
title: Possible worlds and resources: The semantics of \(\mathbf{BI}\)
zbMATH Open document ID: 1055.03021
author: David Pym
author: Peter W. O'Hearn
author: Hongseok Yang
published in: Theoretical Computer Science
publication date: 2004-08-06T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 2081680
zbMATH Keywords: logic of bunched implications
zbMATH Keywords: possible-worlds semantics
zbMATH Keywords: logic of resources
MaRDI profile type: Publication
full work available at URL: j.tcs.2003.11.020
OpenAlex ID: W2013474929
cites work: Contributions to the Theory of Logic Programming
cites work: Q4539612
cites work: Q4283230
cites work: Q4066554
cites work: Q4737192
cites work: TQL: a query language for semistructured data based on the ambient logic
cites work: Anytime, anywhere
cites work: The Functional Approach to Programming
cites work: Reports of the Midwest category seminar. IV
cites work: Q4940723
cites work: Q4342081
cites work: The Semantics of Predicate Logic as a Programming Language
cites work: Completeness results for linear logic on Petri nets
cites work: Q4894942
cites work: Q4873969
cites work: Linear logic
cites work: BI as an assertion language for mutable data structures
cites work: A relevant analysis of natural deduction
cites work: Q5528627
cites work: Q3862380
cites work: The finite model property for various fragments of linear logic
cites work: Deductive systems and categories
cites work: Q3727946
cites work: Q4842970
cites work: Q5639839
cites work: Sheaves in geometry and logic: a first introduction to topos theory
cites work: Uniform proofs as a foundation for logic programming
cites work: Q3992568
cites work: On bunched typing
cites work: Q4263875
cites work: The Logic of Bunched Implications
cites work: Constructive Sheaf Semantics
cites work: The semantics and proof theory of the logic of bunched implications
cites work: Q4372017
cites work: Q4805593
cites work: Q4077984
cites work: Region-based memory management
cites work: Q4495851
cites work: The undecidability of entailment and relevant implication
cites work: Q3994458
Wikidata QID: Q56445145
DBLP publication ID: journals/tcs/PymOY04
DOI: 10.1016/J.TCS.2003.11.020
description: scientific article; zbMATH DE number 2081680