Can I read Products of Topological Modal Logics [PhD Thesis] on EtoBox?

Products of Topological Modal Logics [PhD Thesis] by Darko Sarenac is a nonfiction available to read on EtoBox.

What is Products of Topological Modal Logics [PhD Thesis] about?

Dedication iv Abstract v Acknowledgments vi 1 Introduction 1 2 Modal Logics for Products of Topologies 6 2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.2 Preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.2.1 Topological completeness of S4 . . . . . . . . . . . . . . . . . 8 2.2.2 The fusion S4 " S4 . . . . . . . . . . . . . . . . . . . . . . . . 11 2.2.3 The product S4 × S4 . . . . . . . . . . . . . . . . . . . . . . . 12 2.3 Product spaces and product topo-bisimulations . . . . . . . . . . . . 13 2.3.1 Horizontal and vertical topologies . . . . . . . . . . . . . . . . 13 2.3.2 Failure of com and chr on R × R . . . . . . . . . . . . . . . . 16 2.3.3 Product topo-bisimulations . . . . . . . . . . . . . . . . . . . 17 2.4 Correspondence for com and chr . . . . . . . . . . . . . . . . . . . . . 19 2.5 Cardinal Spaces and chr and com . . . . . . . . . . . . . . . . . . . . 23 2.5.1 Bimodal formulae in products of cardinal spaces . . . . . . . . 23 2.6 The logic of product spaces . . . . . . . . . . . . . . . . . . . . . . . 27 2.7 Adding the true product interior . . . . . . . . . . . . . . . . . . . . . 29 2.8 Conclus

Who reads Products of Topological Modal Logics [PhD Thesis]?

Author

Darko Sarenac

Publisher

University of Amsterdam

Published

2006

Language

EN

Category

nonfiction

Subjects

Mathematics, Logic, Stem