Informatics Report Series


Report   

EDI-INF-RR-0554


Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Home
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},
}


Home : Publications : Report 

Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh