Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic (Q6118728): Difference between revisions

Latest revision as of 13:18, 27 August 2024

scientific article; zbMATH DE number 7810630

Language	Label	Description	Also known as
English	Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic	scientific article; zbMATH DE number 7810630

Statements

instance of

scholarly article

0 references

title

Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic (English)

0 references

0 references

0 references

Electronic Proceedings in Theoretical Computer Science

0 references

publication date

28 February 2024

0 references

full work available at URL

https://arxiv.org/abs/2307.05067

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*

0 references

Graph-Based Algorithms for Boolean Function Manipulation

0 references

Binary Decision Diagrams

0 references

Symbolic model checking: \(10^{20}\) states and beyond

0 references

Symbolic model checking of public announcement protocols

0 references

The dining cryptographers problem: Unconditional sender and recipient untraceability

0 references

Dynamic epistemic logic

0 references

Sum and Product in Dynamic Epistemic Logic

0 references

Q2957449

0 references

Q5819415

0 references

Q3141897

0 references

Zero-suppressed BDDs and their applications

0 references

Variable Forgetting in Reasoning about Knowledge

0 references

Identifiers

0 references

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6118728

@@ Property / cites work @@
+Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Binary Decision Diagrams
@@ Property / cites work: Binary Decision Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Symbolic model checking of public announcement protocols
+Normal rank
@@ Property / cites work @@
+The dining cryptographers problem: Unconditional sender and recipient untraceability
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Sum and Product in Dynamic Epistemic Logic
@@ Property / cites work: Sum and Product in Dynamic Epistemic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2957449
@@ Property / cites work: Q2957449 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5819415
@@ Property / cites work: Q5819415 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141897
@@ Property / cites work: Q3141897 / rank @@
+Normal rank
@@ Property / cites work @@
+Zero-suppressed BDDs and their applications
@@ Property / cites work: Zero-suppressed BDDs and their applications / rank @@
+Normal rank
@@ Property / cites work @@
+Variable Forgetting in Reasoning about Knowledge
@@ Property / cites work: Variable Forgetting in Reasoning about Knowledge / rank @@
+Normal rank