Neighbourhood contingency bisimulation

Zeinab Bakhtiari; Hans Van Ditmarsch; Helle Hvid Hansen

doi:10.1007/978-3-662-54069-5_5

Neighbourhood contingency bisimulation

Zeinab Bakhtiari, Hans Van Ditmarsch, Helle Hvid Hansen^*

^*Corresponding author for this work

Energy and Industry

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

6 Citations (Scopus)

46 Downloads (Pure)

Abstract

We introduce a notion of bisimulation for contingency logic interpreted on neighbourhood structures, characterise this logic as bisimulation-invariant fragment of modal logic and of first-order logic, and compare it with existing notions in the literature.

Original language	English
Title of host publication	Logic and Its Applications - 7th Indian Conference, ICLA 2017, Proceedings
Publisher	Springer
Pages	48-63
Number of pages	16
Volume	10119 LNCS
ISBN (Print)	9783662540688
DOIs	https://doi.org/10.1007/978-3-662-54069-5_5
Publication status	Published - 2017
Event	7th Indian Conference on Logic and Its Applications - Kanpur, India Duration: 5 Jan 2017 → 7 Jan 2017 Conference number: 7

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	10119 LNCS
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Conference

Conference	7th Indian Conference on Logic and Its Applications
Abbreviated title	ICLA 2017
Country/Territory	India
City	Kanpur
Period	5/01/17 → 7/01/17

Access to Document

10.1007/978-3-662-54069-5_5

ncb-iclaAccepted author manuscript, 309 KB

Cite this

Bakhtiari, Z., Van Ditmarsch, H., & Hansen, H. H. (2017). Neighbourhood contingency bisimulation. In Logic and Its Applications - 7th Indian Conference, ICLA 2017, Proceedings (Vol. 10119 LNCS, pp. 48-63). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10119 LNCS). Springer. https://doi.org/10.1007/978-3-662-54069-5_5

@inproceedings{3a43b44e4e344a4889678ee10f083a03,

title = "Neighbourhood contingency bisimulation",

abstract = "We introduce a notion of bisimulation for contingency logic interpreted on neighbourhood structures, characterise this logic as bisimulation-invariant fragment of modal logic and of first-order logic, and compare it with existing notions in the literature.",

author = "Zeinab Bakhtiari and {Van Ditmarsch}, Hans and Hansen, {Helle Hvid}",

year = "2017",

doi = "10.1007/978-3-662-54069-5_5",

language = "English",

isbn = "9783662540688",

volume = "10119 LNCS",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "48--63",

booktitle = "Logic and Its Applications - 7th Indian Conference, ICLA 2017, Proceedings",

note = "7th Indian Conference on Logic and Its Applications, ICLA 2017 ; Conference date: 05-01-2017 Through 07-01-2017",

}

Bakhtiari, Z, Van Ditmarsch, H & Hansen, HH 2017, Neighbourhood contingency bisimulation. in Logic and Its Applications - 7th Indian Conference, ICLA 2017, Proceedings. vol. 10119 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10119 LNCS, Springer, pp. 48-63, 7th Indian Conference on Logic and Its Applications, Kanpur, India, 5/01/17. https://doi.org/10.1007/978-3-662-54069-5_5

Neighbourhood contingency bisimulation. / Bakhtiari, Zeinab; Van Ditmarsch, Hans; Hansen, Helle Hvid.
Logic and Its Applications - 7th Indian Conference, ICLA 2017, Proceedings. Vol. 10119 LNCS Springer, 2017. p. 48-63 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10119 LNCS).

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Neighbourhood contingency bisimulation

AU - Bakhtiari, Zeinab

AU - Van Ditmarsch, Hans

AU - Hansen, Helle Hvid

N1 - Conference code: 7

PY - 2017

Y1 - 2017

N2 - We introduce a notion of bisimulation for contingency logic interpreted on neighbourhood structures, characterise this logic as bisimulation-invariant fragment of modal logic and of first-order logic, and compare it with existing notions in the literature.

AB - We introduce a notion of bisimulation for contingency logic interpreted on neighbourhood structures, characterise this logic as bisimulation-invariant fragment of modal logic and of first-order logic, and compare it with existing notions in the literature.

UR - http://resolver.tudelft.nl/uuid:3a43b44e-4e34-4a48-8967-8ee10f083a03

UR - http://www.scopus.com/inward/record.url?scp=85009773465&partnerID=8YFLogxK

U2 - 10.1007/978-3-662-54069-5_5

DO - 10.1007/978-3-662-54069-5_5

M3 - Conference contribution

AN - SCOPUS:85009773465

SN - 9783662540688

VL - 10119 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 48

EP - 63

BT - Logic and Its Applications - 7th Indian Conference, ICLA 2017, Proceedings

PB - Springer

T2 - 7th Indian Conference on Logic and Its Applications

Y2 - 5 January 2017 through 7 January 2017

ER -

Bakhtiari Z, Van Ditmarsch H, Hansen HH. Neighbourhood contingency bisimulation. In Logic and Its Applications - 7th Indian Conference, ICLA 2017, Proceedings. Vol. 10119 LNCS. Springer. 2017. p. 48-63. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-662-54069-5_5

Neighbourhood contingency bisimulation

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this