You're using an ancient browser to surf the modern web. Please update to the latest version (and don't use Internet Explorer!).

Leonardi.DB

a logical geometry project

First-Order Modal Logic (1998)

Authors: Fitting, Melvin; Mendelsohn, Richard L.
Publisher: Kluwer
Place of publication: Dordrecht
Language: English
ISBN: 978-0-7923-5335-5
DOI: doi:10.1007/978-94-011-5292-1

Diagrams (3)

↑ Back to top ↑