1.Previous
3.Next

— a subset of a topological space such that does not contain an isolated point
*Kripke semantics — a dense accessibility relation corresponds to the axiom

References

Further reading

* David Harel, Dexter Kozen, Jerzy Tiuryn, Dynamic logic, MIT Press, 2000, , p. 6ff

1.Previous
3.Next