Combining epistemic logic and Hennessy-Milner logic

Sophia Knight, Radu Mardare, Prakash Panangaden

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

We define an epistemic logic for labelled transition systems by introducing equivalence relations for the agents on the states of the labelled transition system. The idea is that agents observe the dynamics of the system modulo their ability to distinguish states and in the process learn about the current state and past history of the execution. This is in the spirit of dynamic epistemic logic but is a direct combination of Hennessy-Milner logic and epistemic logic. We give an axiomatization for the logic and prove a completeness theorem with respect to the class of models obtained by unfolding labelled transition systems.

Original languageEnglish
Title of host publicationLogic and Program Semantics
EditorsR.L. Constable, A. Silva
Place of PublicationBerlin
PublisherSpringer-Verlag
Pages219-243
Number of pages25
ISBN (Print)9783642294846
DOIs
Publication statusPublished - 21 May 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7230 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint

Epistemic Logic
Labeled Transition System
Logic
Dynamic Logic
Axiomatization
Unfolding
Equivalence relation
Modulo
Completeness
Theorem
Model

Keywords

  • equivalence relation
  • inductive hypothesis
  • modal logic
  • label transition system
  • epistemic logic

Cite this

Knight, S., Mardare, R., & Panangaden, P. (2012). Combining epistemic logic and Hennessy-Milner logic. In R. L. Constable, & A. Silva (Eds.), Logic and Program Semantics (pp. 219-243). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7230 LNCS). Berlin: Springer-Verlag. https://doi.org/10.1007/978-3-642-29485-3_14
Knight, Sophia ; Mardare, Radu ; Panangaden, Prakash. / Combining epistemic logic and Hennessy-Milner logic. Logic and Program Semantics. editor / R.L. Constable ; A. Silva. Berlin : Springer-Verlag, 2012. pp. 219-243 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inbook{d75838bfb8aa46f2851709b37699267e,
title = "Combining epistemic logic and Hennessy-Milner logic",
abstract = "We define an epistemic logic for labelled transition systems by introducing equivalence relations for the agents on the states of the labelled transition system. The idea is that agents observe the dynamics of the system modulo their ability to distinguish states and in the process learn about the current state and past history of the execution. This is in the spirit of dynamic epistemic logic but is a direct combination of Hennessy-Milner logic and epistemic logic. We give an axiomatization for the logic and prove a completeness theorem with respect to the class of models obtained by unfolding labelled transition systems.",
keywords = "equivalence relation, inductive hypothesis, modal logic, label transition system, epistemic logic",
author = "Sophia Knight and Radu Mardare and Prakash Panangaden",
year = "2012",
month = "5",
day = "21",
doi = "10.1007/978-3-642-29485-3_14",
language = "English",
isbn = "9783642294846",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "219--243",
editor = "R.L. Constable and A. Silva",
booktitle = "Logic and Program Semantics",

}

Knight, S, Mardare, R & Panangaden, P 2012, Combining epistemic logic and Hennessy-Milner logic. in RL Constable & A Silva (eds), Logic and Program Semantics. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7230 LNCS, Springer-Verlag, Berlin, pp. 219-243. https://doi.org/10.1007/978-3-642-29485-3_14

Combining epistemic logic and Hennessy-Milner logic. / Knight, Sophia; Mardare, Radu; Panangaden, Prakash.

Logic and Program Semantics. ed. / R.L. Constable; A. Silva. Berlin : Springer-Verlag, 2012. p. 219-243 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7230 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapter

TY - CHAP

T1 - Combining epistemic logic and Hennessy-Milner logic

AU - Knight, Sophia

AU - Mardare, Radu

AU - Panangaden, Prakash

PY - 2012/5/21

Y1 - 2012/5/21

N2 - We define an epistemic logic for labelled transition systems by introducing equivalence relations for the agents on the states of the labelled transition system. The idea is that agents observe the dynamics of the system modulo their ability to distinguish states and in the process learn about the current state and past history of the execution. This is in the spirit of dynamic epistemic logic but is a direct combination of Hennessy-Milner logic and epistemic logic. We give an axiomatization for the logic and prove a completeness theorem with respect to the class of models obtained by unfolding labelled transition systems.

AB - We define an epistemic logic for labelled transition systems by introducing equivalence relations for the agents on the states of the labelled transition system. The idea is that agents observe the dynamics of the system modulo their ability to distinguish states and in the process learn about the current state and past history of the execution. This is in the spirit of dynamic epistemic logic but is a direct combination of Hennessy-Milner logic and epistemic logic. We give an axiomatization for the logic and prove a completeness theorem with respect to the class of models obtained by unfolding labelled transition systems.

KW - equivalence relation

KW - inductive hypothesis

KW - modal logic

KW - label transition system

KW - epistemic logic

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

U2 - 10.1007/978-3-642-29485-3_14

DO - 10.1007/978-3-642-29485-3_14

M3 - Chapter

SN - 9783642294846

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

SP - 219

EP - 243

BT - Logic and Program Semantics

A2 - Constable, R.L.

A2 - Silva, A.

PB - Springer-Verlag

CY - Berlin

ER -

Knight S, Mardare R, Panangaden P. Combining epistemic logic and Hennessy-Milner logic. In Constable RL, Silva A, editors, Logic and Program Semantics. Berlin: Springer-Verlag. 2012. p. 219-243. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-29485-3_14