Agreement Theorems in Dynamic-Epistemic Logic

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-04893-7_9
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Dynamic Epistemic Logic Displayed

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

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

Completeness and Herbrand Theorems for Nominal Logic

Journal of Symbolic Logic
PhilosophyLogic
2006English

Dynamic Topological Logic

Annals of Pure and Applied Logic
Logic
2005English

Adiabatic Dynamic Logic

IEEE Journal of Solid-State Circuits
Electronic EngineeringElectrical
1995English

Deduction and Reduction Theorems for Inferential Erotetic Logic

Studia Logica
Philosophy of ScienceLogicHistory
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy