Informatics Report Series
|
|
|
|
|
|
Title:Independence: logics and concurrency |
Authors:
Julian Bradfield
|
Date: 2006 |
Publication Title:Tuomo Aho and Ahti-Veikko Pietarinen (eds.) (2006). _Truth and Games: Essays in Honour of Gabriel Sandu_, Vol.78. Helsinki: Societas Philosophica Fennica. ISBN 951-9264-57-4 |
Publisher:Societas Philosophica Fennica |
Publication Type:Book Chapter
Publication Status:Published
|
Page Nos:47-70
|
|
- Abstract:
-
We consider a variety of ways in which independence-friendly logic as introduced by Hintikka and Sandu can be applied to modal logics for concurrent and distributed systems.
- Links To Paper
- Preprint of the to-be-published version
- Bibtex format
- @InBook{EDI-INF-RR-0554,
- author = {
Julian Bradfield
},
- title = {Independence: logics and concurrency},
- book title = {Tuomo Aho and Ahti-Veikko Pietarinen (eds.) (2006). _Truth and Games: Essays in Honour of Gabriel Sandu_, Vol.78. Helsinki: Societas Philosophica Fennica. ISBN 951-9264-57-4},
- publisher = {Societas Philosophica Fennica},
- year = 2006,
- pages = {47-70},
- url = {http://www.inf.ed.ac.uk/~jcb/Research/hml-sandu.ps.gz},
- }
|