Quantified epistemic logics for reasoning about knowledge in multi-agent systems
type: Item
instance of: scholarly article
title: Quantified epistemic logics for reasoning about knowledge in multi-agent systems
zbMATH Open document ID: 1191.68646
published in: Artificial Intelligence
publication date: 2009-08-31T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03B42
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 68T42
zbMATH DE Number: 5600162
zbMATH Keywords: knowledge representation
zbMATH Keywords: distributed knowledge
zbMATH Keywords: mathematical logic
zbMATH Keywords: first-order modal logic
zbMATH Keywords: epistemic logic
zbMATH Keywords: multi-agent systems
zbMATH Keywords: distributed systems
zbMATH Keywords: message passing systems
author: Francesco Belardinelli
author: Alessio Lomuscio
describes a project that uses: Verics
describes a project that uses: MCK
MaRDI profile type: Publication
full work available at URL: j.artint.2009.02.003
OpenAlex ID: W1993760875
cites work: Q3999200
cites work: Modal logic
cites work: Q3408862
cites work: Q3128959
cites work: A unified completeness theorem for quantified modal logics
cites work: Q4661994
cites work: Monodic temporal resolution
cites work: Equality and monodic first-order temporal logic
cites work: Q4417931
cites work: Q4845472
cites work: What can machines know?
cites work: First-order modal logic
cites work: Knowledge, Identity, and Existence1
cites work: Computer Aided Verification
cites work: Q4789451
cites work: Modelling knowledge and action in distributed systems
cites work: Reasoning about common knowledge with infinitely many agents
cites work: Monodic packed fragment with equality is decidable
cites work: Complexity of monodic guarded fragments over linear and real time
cites work: Decidable fragments of first-order temporal logics
cites work: MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT
cites work: Q4698331
cites work: Logic in Computer Science
cites work: Game logic and its applications. I
cites work: Game logic and its applications. II
cites work: A completeness theorem in modal logic
cites work: Limited reasoning in first-order knowledge bases
cites work: Limited reasoning in first-order knowledge bases with full introspection
cites work: Time, clocks, and the ordering of events in a distributed system
cites work: Q3141897
cites work: Q4835902
cites work: Concurrent common knowledge: Defining agreement for asynchronous systems
cites work: Q3680260
cites work: Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
cites work: Q4028821
cites work: Axiomatising first-order temporal logic: Until and since over linear time
cites work: Q3509042
cites work: Q4536335
cites work: Common knowledge and quantification
cites work: Q5582317
cites work: First order common knowledge logics
cites work: Decidable fragments of first-order modal logics
cites work: Axiomatizing the monodic fragment of first-order temporal logic
cites work: Reasoning about rational agents
DOI: 10.1016/J.ARTINT.2009.02.003
description: scientific article; zbMATH DE number 5600162