Neighbourhood contingency bisimulation

Zeinab Bakhtiari, Hans Van Ditmarsch, Helle Hvid Hansen

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

4 Citations (Scopus)
23 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 languageEnglish
Title of host publicationLogic and Its Applications - 7th Indian Conference, ICLA 2017, Proceedings
PublisherSpringer
Pages48-63
Number of pages16
Volume10119 LNCS
ISBN (Print)9783662540688
DOIs
Publication statusPublished - 2017
Event7th Indian Conference on Logic and Its Applications - Kanpur, India
Duration: 5 Jan 20177 Jan 2017
Conference number: 7

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10119 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

Conference7th Indian Conference on Logic and Its Applications
Abbreviated title ICLA 2017
CountryIndia
CityKanpur
Period5/01/177/01/17

Fingerprint

Dive into the research topics of 'Neighbourhood contingency bisimulation'. Together they form a unique fingerprint.

Cite this