Populational announcement logic (PPAL)

DOI10.1016/j.entcs.2020.02.007zbMath1495.03023OpenAlexW3013759135WikidataQ113317340 ScholiaQ113317340MaRDI QIDQ2219080

Vitor Machado, Mario R. F. Benevides

Publication date: 19 January 2021

Full work available at URL: https://doi.org/10.1016/j.entcs.2020.02.007

zbMATH Keywords

modal logicknowledge representationepistemic logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Uses Software

• MCMAS
• MCK
• SMCDEL
• DEMO

Cites Work

• Unnamed Item
• Unnamed Item
• On fuzzy modal logics \(S5(\mathcal C)\)
• First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
• Reasoning about information change
• Probabilistic dynamic epistemic logic
• A logic for reasoning about probabilities
• Logics for epistemic programs
• Logics of public communications
• mcmas: A Model Checker for Multi-agent Systems
• Symbolic Model Checking for Dynamic Epistemic Logic
• Binary Decision Diagrams
• Reasoning about knowledge and probability
• Computer Aided Verification
• Term-modal logics

This page was built for publication: Populational announcement logic (PPAL)