Logical Non-determinism as a Tool for Logical Modularity: An Introduction

Arnon Avron

Logical Non-determinism as a Tool for Logical Modularity: An Introduction

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Original language	English
Title of host publication	We Will Show Them!
Subtitle of host publication	essays in honour of Dov Gabbay on his 60th birthday.
Publisher	College Publications, [London]
Pages	105-124
Number of pages	20
Volume	1
ISBN (Print)	9781904987116, 1904987117
State	Published - 2005

Access to Document

Cite this

@inbook{aee41ffc74d641de842b221daa5aae3c,

title = "Logical Non-determinism as a Tool for Logical Modularity: An Introduction",

author = "Arnon Avron",

note = "DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "2005",

language = "אנגלית",

isbn = "9781904987116",

volume = "1",

pages = "105--124",

booktitle = "We Will Show Them!",

publisher = "College Publications, [London]",

}

TY - CHAP

T1 - Logical Non-determinism as a Tool for Logical Modularity

T2 - An Introduction

AU - Avron, Arnon

N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2005

Y1 - 2005

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.chapter???

SN - 9781904987116

SN - 1904987117

VL - 1

SP - 105

EP - 124

BT - We Will Show Them!

PB - College Publications, [London]

ER -