A logic for extensional protocols
From MaRDI portal
Recommendations
- Extensions of the provability logic
- An extension of protocol verification modal logic to multi-channel protocols
- An extended propositional logic
- scientific article; zbMATH DE number 1630114
- On extensions of basic propositional logic
- Extensionality and logicality
- Completeness and counter-example generations of a basic protocol logic (extended abstract)
- A formal system for propositional extended IF logic
- Constructing natural extensions of propositional logics
Cites work
- A knowledge based semantics of messages
- Dynamic epistemic logic
- Knowledge and common knowledge in a distributed environment
- Logical dynamics of information and interaction
- Logics of communication and change
- Merging DEL and ETL
- Merging frameworks for interaction
- Process Algebra
- Reasoning with protocols under imperfect information
- The Byzantine Generals Problem
Cited in
(11)- Towards a logic of tweeting
- A new logic for electronic commerce protocols
- Intensional protocols for dynamic epistemic logic
- scientific article; zbMATH DE number 1696909 (Why is no real title available?)
- Completeness and counter-example generations of a basic protocol logic (extended abstract)
- Reasoning about protocol change and knowledge
- Reasoning with protocols under imperfect information
- Model transformers for dynamical systems of dynamic epistemic logic
- An extension of protocol verification modal logic to multi-channel protocols
- Hidden protocols: modifying our expectations in an evolving world
- scientific article; zbMATH DE number 5662518 (Why is no real title available?)
This page was built for publication: A logic for extensional protocols
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2901223)
