Automata for epistemic temporal logic with synchronous communication
type: Item
instance of: scholarly article
title: Automata for epistemic temporal logic with synchronous communication
zbMATH Open document ID: 1234.03008
author: Sumit K. Garg
published in: Journal of Logic, Language and Information
publication date: 2011-01-07T00:00:00Z
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 03D05
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 5833738
zbMATH Keywords: epistemic logic
zbMATH Keywords: temporal logic
zbMATH Keywords: epistemic automata
zbMATH Keywords: decidability
zbMATH Keywords: knowledge expressions
zbMATH Keywords: distributed causal knowledge
zbMATH Keywords: regular consistent languages
MaRDI profile type: Publication
full work available at URL: s10849-009-9118-5
OpenAlex ID: W2027902535
cites work: The Logic of Public Announcements, Common Knowledge, and Private Suspicions
cites work: How processes learn
cites work: Q4281564
cites work: Q4845472
cites work: Knowledge and common knowledge in a distributed environment
cites work: Complete Axiomatizations for Reasoning about Knowledge and Time
cites work: Q4733400
cites work: Q3680260
cites work: A knowledge based semantics of messages
cites work: Q4385530
cites work: Logics of communication and change
cites work: Merging frameworks for interaction
cites work: Q3509047
cites work: Reasoning about update logic
cites work: Dynamic Epistemic Logic and Knowledge Puzzles
cites work: Defaults in update semantics
cites work: Notes on finite asynchronous automata
DOI: 10.1007/S10849-009-9118-5
description: scientific article; zbMATH DE number 5833738