Dynamic Epistemic Logic Displayed

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-40948-6_11
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Agreement Theorems in Dynamic-Epistemic Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Sum and Product in Dynamic Epistemic Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2007English

Modelling Cryptographic Keys in Dynamic Epistemic Logic With DEMO

Highlights on Practical Applications of Agents and Multi-Agent Systems
2012English

Epistemic Logic and Information Update

2008English

Epistemic Logic: A Survey of the Logic of Knowledge

Principia
PhilosophyPhilosophy of ScienceHistory
2019English

Dynamic Topological Logic

Annals of Pure and Applied Logic
Logic
2005English

Adiabatic Dynamic Logic

IEEE Journal of Solid-State Circuits
Electronic EngineeringElectrical
1995English

First-Order Dynamic Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1979English

Dynamic Game Logic of Communication

Transactions of the Institute of Systems, Control and Information Engineers
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy