Efficient analysis of belief properties in process algebra

DOI10.1016/J.JLAMP.2024.101001MaRDI QIDQ6615566

Fatemeh Ghassemi, Zahra Moezkarimi

Publication date: 8 October 2024

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

zbMATH Keywords

epistemic logicstate space reductionprocess theoryepistemic protocols

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Title not available (Why is that?)
• True lies
• Dynamics of lying
• Dynamic epistemic logic
• A note on model checking the modal \(\nu\)-calculus
• A knowledge based semantics of messages
• Games, actions and social software. Multidisciplinary aspects
• A structural approach to operational semantics
• Acceptance in incomplete argumentation frameworks
• Some comments on history based structures
• A lattice-theoretical fixpoint theorem and its applications
• Graded epistemic logic with public announcement
• Spatial and Epistemic Modalities in Constraint-Based Process Calculi
• Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change
• Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
• Expressivity and completeness for public update logics via reduction axioms
• Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
• Interpreted Systems Semantics for Process Algebra with Identity Annotations
• A policy-aware epistemic framework for social networks
• Dynamic epistemic logics for abstract argumentation

This page was built for publication: Efficient analysis of belief properties in process algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6615566)