1
by Pagliani, Piero, Chakraborty, Mihir
Published 2008
Springer Netherlands
Table of Contents: ... and Formal Information Constructions -- Pre-Topological and Topological Approximation Operators -- Frames...

2
Published 2001
Springer Netherlands
Table of Contents: ...1 Encounters Between Topology and Domain Theory -- 1 Introduction -- 2 Introductory Domain Theory...

3
by Gabbay, Dov M.
Published 1981
Springer Netherlands
Table of Contents: ...Logical Systems and Semantics -- Introducing HPC -- The Kripke, Beth and Topological...

4
Published 1981
Springer Netherlands
Table of Contents: ... Completeness in Tense Logic (Preliminary Report) -- “Locally-at” as a Topological Quantifier-Former...

5
Published 1995
Springer Netherlands
Table of Contents: ... Operations on Spaces of Structures -- Model Theory of Topological Structures -- Computable Quantifiers...

6
by Rescher, N.
Published 1968
Springer Netherlands
Table of Contents: ... -- XIII / Topological Logic -- XIV / Assertion Logic -- XV / The Logic of Preference -- XVI / Deontic...

7
by Esakia, Leo
Published 2019
Springer International Publishing
... hybrid that “crossbreeds” topology (Stone spaces) and order (Kripke frames), resulting in the structures...

8
by Hitzler, Pascal
Published 2010
Taylor & Francis
... theory to include nonconventional methods from mathematical analysis that depend on topology, domain...

9
Published 2014
Springer Netherlands
Table of Contents: ... -- Topological interpretations of provability logic; Lev Beklemishev and David Gabelaia -- Derivational modal...

10
Published 2003
Springer Netherlands
..., logical, and topological ideas and provide a natural framework for modelling and reasoning about...

11
Published 2022
Springer International Publishing
Table of Contents: ... algebraic logic - An introductory chapter (Josep Maria Font) -- Chapter 4. Topological duality and algebraic...

12
Published 1981
Springer Netherlands
Table of Contents: ... -- Set theory, axiomatizations of -- Syntax, logical -- Tense logic -- Topology -- Trees -- Truth...

13
by Dorn, Georg, Weingartner, Paul
Published 1985
Springer US
Table of Contents: ... of Ptykes -- Wellordering Theorems in Topology -- Foundations of Logic: Philosophical Logic -- Mathematical...

14
by Niiniluoto, I.
Published 1987
Springer Netherlands
Table of Contents: ...1. Distance and Similarity -- 1.1. Metric Spaces and Distances -- 1.2. Topological Spaces...

15
by Klement, Erich Peter, Mesiar, R., Pap, E.
Published 2000
Springer Netherlands
... independent roots, namely, the field of (specific) functional equations and the theory of (special topological...