Downward-directed transitive frames with universal relations

Ilya Shapirovsky. Downward-directed transitive frames with universal relations. In Guido Governatori, Ian M. Hodkinson, Yde Venema, editors, Advances in Modal Logic 6, papers from the sixth conference on Advances in Modal Logic, held in Noosa, Queensland, Australia, on 25-28 September 2006. pages 413-428, College Publications, 2006. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.