Amanote Research

Amanote Research

    RegisterSign In

Sum and Product in Dynamic Epistemic Logic

Journal of Logic and Computation - United Kingdom
doi 10.1093/logcom/exm081
Full Text
Open PDF
Abstract

Available in full text

Categories
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
Date

November 22, 2007

Authors
H. P. van DitmarschJ. RuanR. Verbrugge
Publisher

Oxford University Press (OUP)


Related search

Dynamic Epistemic Logic Displayed

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Agreement Theorems in Dynamic-Epistemic Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

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

Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks

Studia Logica
Philosophy of ScienceLogicHistory
2018English

Dynamic Topological Logic

Annals of Pure and Applied Logic
Logic
2005English

Adiabatic Dynamic Logic

IEEE Journal of Solid-State Circuits
Electronic EngineeringElectrical
1995English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy