The top documents tagged [atomic propositions]
CA 208 Logic
25 views
Model Checking
55 views
Symbolic dynamics of M arkov chains
50 views
Propositional Equivalences
61 views