The algebra of topology
From MaRDI portal
Publication:2652481
DOI10.2307/1969080zbMath0060.06206OpenAlexW2050527500WikidataQ106090725 ScholiaQ106090725MaRDI QIDQ2652481
Alfred Tarski, J. C. C. McKinsey
Publication date: 1944
Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/1969080
Related Items
TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS, The point of pointless topology, Semilattice Pseudo-complements on Semigroups, Jankov Formulas and Axiomatization Techniques for Intermediate Logics, Measure Quantifier in Monadic Second Order Logic, Central internal algebras and varieties, Unnamed Item, Continuity, freeness, and filtrations, Logics for multi-subset spaces, Universal extensions of specialization semilattices, Leon Henkin the Reviewer, European Summer Meeting of the Association for Symbolic Logic, Geometric Model Checking of Continuous Space, Modal operators on pseudo-BE algebras, Analytische Mannigfaltigkeiten in Riemannschen Bereichen, Implication via spacetime, COMPLETELY SEPARABLE MAD FAMILIES AND THE MODAL LOGIC OF βω, Tree-like constructions in topology and modal logic, COUNTABILITY PROPERTIES IN INTERIOR ALGEBRAS, QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE, An algebraic study of Diodorean modal systems, Unnamed Item, Ideal Related Algebras and Their Logics Extended Abstract, CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE, Bisimulation and propositional intuitionistic logic, Omitting types algebraically and more about amalgamation for modal cylindric algebras, McKinsey-Tarski algebras: an alternative pointfree approach to topology, Topological Semantics of Justification Logic, Two concepts from the theory of models, Laws for generalised interior operations in semigroups, Fixed point logics and definable topological properties, Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras, Completeness of a functional system for surjective functions, The representations of S5, Continuous accessibility modal logics, KRULL DIMENSION IN MODAL LOGIC, STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES, The intensional side of algebraic-topological representation theorems, Identity and intensionality in univalent foundations and philosophy, Finite model property in weakly transitive tense logics, Lattice logic as a fragment of (2-sorted) residuated modal logic, Unnamed Item, Neighbourhood lattices – a poset approach to topological spaces, Algebraic Methods for Rough Approximation Spaces by Lattice Interior–Closure Operations, Irredundant Coverings, Tolerances, and Related Algebras, THE MODAL LOGIC OF STONE SPACES: DIAMOND AS DERIVATIVE, Verified Decision Procedures for Modal Logics., TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3, Interpolation and amalgamation in modal cylindric algebras, A logic for metric and topology, 2002–2003 Winter Meeting of the Association for Symbolic Logic, Axiomatizing Hybrid Products of Monotone Neighborhood Frames, LOGICS ABOVE S4 AND THE LEBESGUE MEASURE ALGEBRA, TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC, On subvarieties of symmetric closure algebras, Additive derivative and multiplicative coderivative operators on MV-algebras, Unnamed Item, STABLE CANONICAL RULES, THE MCKINSEY–TARSKI THEOREM FOR LOCALLY COMPACT ORDERED SPACES, STABLE MODAL LOGICS, Lattice NExtS4 from the Embedding Theorem Viewpoint, closure-complement-frontier problem in saturated polytopological spaces, Conuclear images of substructural logics, Some theorems about the sentential calculi of Lewis and Heyting, Modal translation of substructural logics, 2010 North American Annual Meeting of the Association for Symbolic Logic, Remarks About a Closure Algebra in which Closed Elements are Open, KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS, Justified Belief and the Topology of Evidence, Observational Effort and Formally Open Mappings, Neighborhood-Sheaf Semantics for First-Order Modal Logic, Unnamed Item, Experiments in Theorem Proving for Topological Hybrid Logic, Subordination Tarski algebras, The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★, A ModalWalk Through Space, Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic, Quasi-Atoms and Complete Distributivity, Structure from appearance: topology with shapes, without points, QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES, VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS, Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗, Finite Monadic Algebras, Polarity in a Completely Distributive Complete Lattice, Two proofs of the algebraic completeness theorem for multilattice logic, TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4, MODAL LOGICS OF METRIC SPACES, Unnamed Item, Some Formal Semantics for Epistemic Modesty, On the Blok-Esakia Theorem, Topological Interpretations of Provability Logic, Topological Perspective on the Hybrid Proof Rules, Representation of Jordan and Lie Algebras, A new pointfree form of subspaces, Unnamed Item, Free algebras in the variety of three-valued closure algebras, Strong Completeness of S4 for the Real Line, Modal Logics of Some Hereditarily Irresolvable Spaces, L-algebras and topology, THE BAIRE CLOSURE AND ITS LOGIC, POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION, TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES, Modal logic of generalized separated topological spaces, Dynamic Cantor Derivative Logic, Boundary-border extensions of the Kuratowski monoid, Prototypes, poles, and tessellations: towards a topological theory of conceptual spaces, Unification of Modal Logic via Topological Categories, Formalising basic topology for computational logic in simple type theory, The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames, Geometric modal logic, Finite embeddability property for residuated lattices via regular languages, Elementary theories of free topo-Boolean and pseudo-Boolean algebras, Default consequence relations from topology and measure theory, Particle-free bodies and point-free spaces, Raney algebras and duality for \(T_0\)-spaces, Subalgebras of closure algebras, Nuclear ranges in implicative semilattices, Q-ultrafilters and normal ultrafilters in B-algebras, Matching topological and frame products of modal logics, Completeness results for intuitionistic and modal logic in a categorical setting, Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics, Varieties of complex algebras, Meredith, Prior, and the history of possible worlds semantics, Deciding implication for functional dependencies in complex-value databases, Multimodal logics of products of topologies, The modal logic of continuous functions on Cantor space, Belief, knowledge, lies and other utterances in an algebra for space and extrusion, Die überinvarianten und verwandte Kongruenzrelationen einer allgemeinen Algebra, Embeddings of implicative lattices and superintuitionistic logics, On dynamic topological and metric logics, A model for spacetime. II: The emergence of higher dimensions and field theory/strings dualities, Distributive lattices with an operator, Intuitionistic logic and modality via topology, Propositional quantification in the topological semantics for \(\mathbf S4\), A unification of two approaches to vagueness: the Boolean many-valued approach and the modal-precisificational approach, Logic for physical space. From antiquity to present day, Modal multilattice logic, Elementary equivalence of topological spaces, A topological approach to full belief, Topology and measure in logics for region-based theories of space, Completeness of \(\mathrm S4\) for the Lebesgue measure algebra, The d-logic of the rational numbers: a fruitful construction, Willem Blok and modal logic, Boolean modules, Algebraic models of deviant modal operators based on De Morgan and Kleene lattices, The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem, On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations, A modal logic framework for reasoning about comparative distances and topology, Tarski's theorem on intuitionistic logic, for polyhedra, Modal logics of Stone spaces, Subspaces of \(\mathbb{Q}\) whose d-logics do not have the FMP, Possible worlds in use, Foreword to the special issue dedicated to the memory of Leo Esakia, Lattice subordinations and Priestley duality., Mathematical modal logic: A view of its evolution, B-varieties with normal free algebras, Nest sets and relativized closure properties, First order \(S4\) and its measure-theoretic semantics, On modal logics arising from scattered locally compact Hausdorff spaces, Heyting mereology as a framework for spatial reasoning, Modes of adjointness, Some topological properties of paraconsistent models, Topological soft algebra and its application, A semantic hierarchy for intuitionistic logic, Existentially closed closure algebras, L-algebras with duality and the structure group of a set-theoretic solution to the Yang-Baxter equation, Simple and subdirectly irreducibles bounded distributive lattices with unary operators, Spatial logic of tangled closure operators and modal mu-calculus, Modal logic axioms valid in quotient spaces of finite CW-complexes and other families of topological spaces, A new proof of the McKinsey-Tarski theorem, A Grim semantics for logics of belief, On representation of finite pseudo-Boolean algebras and one of its applications, Connected modal logics, More on \(d\)-logics of subspaces of the rational numbers, A canonical topological model for extensions of K4, The modal logic of continuous functions on the rational numbers, Dynamic topological logic, Completeness of S4 with respect to the real line: revisited, Covering rough sets based on neighborhoods: an approach without using neighborhoods, Implications in Boolean algebras with a two-valued closure operator, A proof of topological completeness for S4 in \((0,1)\), On a definition of a variety of monadic \(\ell\)-groups., The overlap algebra of regular opens, On modal logic of deductive closure, A simplicial complex model for dynamic epistemic logic to study distributed task computability, Topological characterization of semisimple MV-algebras, Canonical extensions and ultraproducts of polarities, Reasoning about distributed information with infinitely many agents, Quelques remarques sur les `tableaux de Beth', Algebre di Frechet: una classe di algebre Booleane con operatore, The modal logic of \({\beta(\mathbb{N})}\), Announcement as effort on topological spaces, Modal languages for topology: expressivity and definability, Relation algebras and function semigroups, Dynamic topological S5, Interior algebras and varieties, Classical modal De Morgan algebras, Around provability logic, Die Charakteristik einer allgemeinen Algebra. I, Solution to a problem concerning the intersection of maximal filters and maximal ideals in a distributive lattice, Hybrid logics of separation axioms, Constructive and algebraic methods of the theory of rough sets, Bases of quasiidentities of finite modal algebras, Modal logics of domains on the real plane, Characteristic inference rules, An effective representation for finitely generated free interior algebras, From interior algebras to unital \(\ell\)-groups: a unifying treatment of modal residuated lattices, The theory of Boolean algebras with an additional binary operation, The genesis of possible worlds semantics, On modal logics of partial recursive functions, Some results on modal axiomatization and definability for topological spaces
