On the public citation graph

The Algebra of Topology

https://doi.org/10.2307/1969080
0 signed · 472 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/9781118601457.biblioopenalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1002/malq.19590051405openalex-snapshot
Modal Logics Between S 4 and S 5
inferred← citeshttps://doi.org/10.1002/malq.19620080311openalex-snapshot
BI‐Modal Logic, Double‐Closure Algebras, and Hilbert Space
inferred← citeshttps://doi.org/10.1002/malq.19640100403openalex-snapshot
A NOTE ON THE MODAL CALCULI S 4.2 AND S 4.3
inferred← citeshttps://doi.org/10.1002/malq.19650110208openalex-snapshot
A Class of Extensions of the Modal System S4 with the Finite Model Property
inferred← citeshttps://doi.org/10.1002/malq.19720180703openalex-snapshot
An Axiomatization of Topological Boolean Algebras
inferred← citeshttps://doi.org/10.1002/malq.19960420119openalex-snapshot
Polymodal Lattices and Polymodal Logic
inferred← citeshttps://doi.org/10.1002/malq.201400074openalex-snapshot
Conuclear images of substructural logics
inferred← citeshttps://doi.org/10.1002/malq.201600011openalex-snapshot
Completeness of a functional system for surjective functions
inferred← citeshttps://doi.org/10.1002/malq.202000051openalex-snapshot
Omitting types algebraically and more about amalgamation for modal cylindric algebras
inferred← citeshttps://doi.org/10.1002/mana.19700460105openalex-snapshot
Completions of B OOLEAN Algebras with operators
inferred← citeshttps://doi.org/10.1002/mana.19720540112openalex-snapshot
Sur certaines categories de couples d'applications croissantes
inferred← citeshttps://doi.org/10.1002/pamm.201610437openalex-snapshot
Localic Krull dimension
inferred← citeshttps://doi.org/10.1006/jabr.1999.7939openalex-snapshot
Interior Algebras and Varieties
inferred← citeshttps://doi.org/10.1007/3-540-45813-1_15openalex-snapshot
On the Structure of Rough Approximations
inferred← citeshttps://doi.org/10.1007/3-540-48238-5_9openalex-snapshot
On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics
inferred← citeshttps://doi.org/10.1007/3-540-49163-5_3openalex-snapshot
On Hybrid Systems and the Modal µ-calculus
inferred← citeshttps://doi.org/10.1007/3-540-63141-0_24openalex-snapshot
Bisimulation and propositional intuitionistic logic
inferred← citeshttps://doi.org/10.1007/3-540-64582-9_758openalex-snapshot
A system handling RCC-8 queries on 2D regions representable in the closure algebra of half-planes
inferred← citeshttps://doi.org/10.1007/3-540-68804-8_7openalex-snapshot
Local Variations on a Loose Theme: Modal Logic and Decidability
inferred← citeshttps://doi.org/10.1007/978-1-4020-5587-4_1openalex-snapshot
What is Spatial Logic?
inferred← citeshttps://doi.org/10.1007/978-1-4020-5587-4_10openalex-snapshot
Dynamic Topological Logic
inferred← citeshttps://doi.org/10.1007/978-1-4020-5587-4_3openalex-snapshot
Axioms, Algebras and Topology
inferred← citeshttps://doi.org/10.1007/978-1-4020-5587-4_5openalex-snapshot
Modal Logics of Space
inferred← citeshttps://doi.org/10.1007/978-1-4020-5587-4_6openalex-snapshot
Topology and Epistemic Logic
inferred← citeshttps://doi.org/10.1007/978-1-4020-5587-4_8openalex-snapshot
Locales and Toposes as Spaces
inferred← citeshttps://doi.org/10.1007/978-1-4020-5587-4_9openalex-snapshot
Spatial Logic + Temporal Logic = ?
inferred← citeshttps://doi.org/10.1007/978-1-4612-5373-0_15openalex-snapshot
Universal Algebra
inferred← citeshttps://doi.org/10.1007/978-1-4613-1461-5_21openalex-snapshot
Topological Rough Algebras
inferred← citeshttps://doi.org/10.1007/978-1-4613-8928-6_11openalex-snapshot
Skolem Rings and Their Varieties
inferred← citeshttps://doi.org/10.1007/978-1-4757-3627-4_3openalex-snapshot
A Survey of Residuated Lattices
inferred← citeshttps://doi.org/10.1007/978-3-030-01162-8_2openalex-snapshot
Algebraic Methods for Rough Approximation Spaces by Lattice Interior–Closure Operations
inferred← citeshttps://doi.org/10.1007/978-3-030-01162-8_5openalex-snapshot
Irredundant Coverings, Tolerances, and Related Algebras
inferred← citeshttps://doi.org/10.1007/978-3-030-01800-9_4openalex-snapshot
Modal Ω-Logic: Automata, Neo-Logicism, and Set-Theoretic Realism
inferred← citeshttps://doi.org/10.1007/978-3-030-05363-5_16openalex-snapshot
Notes for an Improvisational Specification of Design Spaces
inferred← citeshttps://doi.org/10.1007/978-3-030-06164-7_5openalex-snapshot
Qualitative Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-030-12096-2_2openalex-snapshot
Heyting Algebras and Closure Algebras
inferred← citeshttps://doi.org/10.1007/978-3-030-44638-3_6openalex-snapshot
Ideal Related Algebras and Their Logics Extended Abstract
inferred← citeshttps://doi.org/10.1007/978-3-030-53654-1_7openalex-snapshot
Implication via Spacetime
inferred← citeshttps://doi.org/10.1007/978-3-030-71430-7_10openalex-snapshot
Strong Completeness of S4 for the Real Line
inferred← citeshttps://doi.org/10.1007/978-3-030-71430-7_11openalex-snapshot
Modal Logics of Some Hereditarily Irresolvable Spaces
inferred← citeshttps://doi.org/10.1007/978-3-030-76920-8_7openalex-snapshot
Finite Embeddability Property for Residuated Lattices via Regular Languages
inferred← citeshttps://doi.org/10.1007/978-3-030-98479-3_12openalex-snapshot
Topological Evidence Logics: Multi-agent Setting
inferred← citeshttps://doi.org/10.1007/978-3-031-06843-0_4openalex-snapshot
Jankov Formulas and Axiomatization Techniques for Intermediate Logics
inferred← citeshttps://doi.org/10.1007/978-3-031-15298-6_13openalex-snapshot
The Alternation Hierarchy of the $$\mu $$-calculus over Weakly Transitive Frames
inferred← citeshttps://doi.org/10.1007/978-3-031-15298-6_3openalex-snapshot
Fixed Point Logics and Definable Topological Properties
inferred← citeshttps://doi.org/10.1007/978-3-031-16681-5_4openalex-snapshot
Formalising Basic Topology for Computational Logic in Simple Type Theory
inferred← citeshttps://doi.org/10.1007/978-3-031-26689-8_7openalex-snapshot
Modal Logic of Generalized Separated Topological Spaces
inferred← citeshttps://doi.org/10.1007/978-3-031-29415-0_3openalex-snapshot
Modern Faces of Filtration
inferred← citeshttps://doi.org/10.1007/978-3-031-35355-0_9openalex-snapshot
On Bisimilarity for Polyhedral Models and SLCS
inferred← citeshttps://doi.org/10.1007/978-3-031-44490-6_5openalex-snapshot
A Gentle Introduction to the Leibniz Hierarchy
inferred← citeshttps://doi.org/10.1007/978-3-031-57635-5_13openalex-snapshot
Mission Impossible
inferred← citeshttps://doi.org/10.1007/978-3-031-60878-0_18openalex-snapshot
Topology and Justified True Belief: A Baseless, Evidence-Free (and Pointless) Approach
inferred← citeshttps://doi.org/10.1007/978-3-031-62645-6_2openalex-snapshot
Weak Simplicial Bisimilarity for Polyhedral Models and SLCS $$_\eta $$
inferred← citeshttps://doi.org/10.1007/978-3-031-62687-6_3openalex-snapshot
A Logic of Isolation
inferred← citeshttps://doi.org/10.1007/978-3-031-74175-3_3openalex-snapshot
Vagueness, the Sorites Paradox, and Precisifications
inferred← citeshttps://doi.org/10.1007/978-3-031-85134-6_18openalex-snapshot
Ten Years of Spatial Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-032-22626-6_6openalex-snapshot
Virtual Group Knowledge and Group Belief in Topological Evidence Models
inferred← citeshttps://doi.org/10.1007/978-3-032-22626-6_7openalex-snapshot
On Fuzzy Topological Semantics
inferred← citeshttps://doi.org/10.1007/978-3-032-22774-4_1openalex-snapshot
Model Checking in Space with Applications to Medical Image Analysis
inferred← citeshttps://doi.org/10.1007/978-3-032-23475-9_1openalex-snapshot
C.I. Lewis 1918
inferred← citeshttps://doi.org/10.1007/978-3-0348-9114-1_5openalex-snapshot
La Logique Mathématique en sa jeunesse
inferred← citeshttps://doi.org/10.1007/978-3-319-06025-5_12openalex-snapshot
Structures for Epistemic Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-09719-0_10openalex-snapshot
Leon Henkin the Reviewer
inferred← citeshttps://doi.org/10.1007/978-3-319-21732-1_7openalex-snapshot
The Topology of Common Belief
inferred← citeshttps://doi.org/10.1007/978-3-319-26506-3_9openalex-snapshot
Public Announcements and Inconsistencies: For a Paraconsistent Topological Model
inferred← citeshttps://doi.org/10.1007/978-3-319-27683-0_19openalex-snapshot
Measure Quantifier in Monadic Second Order Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-31943-8_5openalex-snapshot
Modeling Uncertainty, Context, and Information Fusion via Lattice-Based Probability
inferred← citeshttps://doi.org/10.1007/978-3-319-67149-9openalex-snapshot
Neighborhood Semantics for Modal Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-69917-2_10openalex-snapshot
Lattice NExtS4 from the Embedding Theorem Viewpoint
inferred← citeshttps://doi.org/10.1007/978-3-319-99368-3_24openalex-snapshot
Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras
inferred← citeshttps://doi.org/10.1007/978-3-540-24615-2_10openalex-snapshot
Approximation Operators in Qualitative Data Analysis
inferred← citeshttps://doi.org/10.1007/978-3-540-71200-8_22openalex-snapshot
Lattice Theory for Rough Sets
inferred← citeshttps://doi.org/10.1007/978-3-540-72734-7_12openalex-snapshot
Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics
inferred← citeshttps://doi.org/10.1007/978-3-540-79709-8_7openalex-snapshot
Topological Semantics of Justification Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-89439-1_40openalex-snapshot
On the Computational Complexity of Spatial Logics with Connectedness Constraints
inferred← citeshttps://doi.org/10.1007/978-3-642-00909-9_52openalex-snapshot
Variable Accessibility Models for Modal Logic on Topological Spaces
inferred← citeshttps://doi.org/10.1007/978-3-642-02261-6_16openalex-snapshot
Observational Effort and Formally Open Mappings
inferred← citeshttps://doi.org/10.1007/978-3-642-13182-0_16openalex-snapshot
The Cantor Space as a Generic Model of Topologically Presented Knowledge
inferred← citeshttps://doi.org/10.1007/978-3-642-14755-5_6openalex-snapshot
An Exploratory Survey of Logic-Based Formalisms for Spatial Information
inferred← citeshttps://doi.org/10.1007/978-3-642-15660-1_29openalex-snapshot
Finite Topological Models of Modal Logic Systems S4 and S5
inferred← citeshttps://doi.org/10.1007/978-3-642-15675-5_24openalex-snapshot
Minimal Knowledge and Belief via Minimal Topology
inferred← citeshttps://doi.org/10.1007/978-3-642-22303-7_1openalex-snapshot
Ordinal Completeness of Bimodal Provability Logic GLB
inferred← citeshttps://doi.org/10.1007/978-3-642-22303-7_2openalex-snapshot
Spectral and T 0-Spaces in d-Semantics
inferred← citeshttps://doi.org/10.1007/978-3-642-22303-7_4openalex-snapshot
A Modal Transcription of the Hausdorff Residue
inferred← citeshttps://doi.org/10.1007/978-3-642-23887-1_75openalex-snapshot
Spatial Representation and Reasoning: Integrating Synthetic Character’s Visual Perception and Symbolic Representation
inferred← citeshttps://doi.org/10.1007/978-3-642-30310-4_10openalex-snapshot
EM Topological Signaling and Computing
inferred← citeshttps://doi.org/10.1007/978-3-642-32940-1_23openalex-snapshot
Spatial and Epistemic Modalities in Constraint-Based Process Calculi
inferred← citeshttps://doi.org/10.1007/978-3-642-34359-9_12openalex-snapshot
Twenty Years of Topological Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-36039-8_22openalex-snapshot
Subset Space Public Announcement Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-40948-6_3openalex-snapshot
The Topology of Belief, Belief Revision and Defeasible Knowledge
inferred← citeshttps://doi.org/10.1007/978-3-662-52921-8_6openalex-snapshot
Justified Belief and the Topology of Evidence
inferred← citeshttps://doi.org/10.1007/978-3-662-54332-0_12openalex-snapshot
The Topology of Full and Weak Belief
inferred← citeshttps://doi.org/10.1007/978-3-662-55665-8_23openalex-snapshot
Topo-Logic as a Dynamic-Epistemic Logic
inferred← citeshttps://doi.org/10.1007/978-3-662-59533-6_11openalex-snapshot
The McKinsey-Tarski Theorem for Topological Evidence Logics
inferred← citeshttps://doi.org/10.1007/978-3-662-59565-7_2openalex-snapshot
A Study of Subminimal Logics of Negation and Their Modal Companions
inferred← citeshttps://doi.org/10.1007/978-3-7908-1776-8_8openalex-snapshot
Algebraic Structures
inferred← citeshttps://doi.org/10.1007/978-81-322-2719-9_19openalex-snapshot
Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗
inferred← citeshttps://doi.org/10.1007/978-94-007-0074-1_5openalex-snapshot
Modal Logic for Qualitative Dynamics
inferred← citeshttps://doi.org/10.1007/978-94-009-5203-4_3openalex-snapshot
Relevance Logic and Entailment
inferred← citeshttps://doi.org/10.1007/978-94-009-6259-0_1openalex-snapshot
Basic Modal Logic
inferred← citeshttps://doi.org/10.1007/978-94-010-3520-0_6openalex-snapshot
Quelques Remarques Sur Les “Tableaux De Beth”
inferred← citeshttps://doi.org/10.1007/978-94-015-1239-8_2openalex-snapshot
B
inferred← citeshttps://doi.org/10.1007/978-94-015-1288-6_2openalex-snapshot
B
inferred← citeshttps://doi.org/10.1007/978-94-015-8242-1_9openalex-snapshot
A Logic with Progressive Tenses
inferred← citeshttps://doi.org/10.1007/978-94-015-8311-4_1openalex-snapshot
On the Interpretation of Attitude Logics
inferred← citeshttps://doi.org/10.1007/978-94-017-0454-0_1openalex-snapshot
Basic Modal Logic
inferred← citeshttps://doi.org/10.1007/978-94-017-0470-0_2openalex-snapshot
Elements of the History of Locale Theory
inferred← citeshttps://doi.org/10.1007/978-94-017-0697-1_6openalex-snapshot
A Survey of Boolean Algebras with Operators
inferred← citeshttps://doi.org/10.1007/978-94-017-6123-9_6openalex-snapshot
Quelques Remarques Sur Les “Tableaux de Beth”
inferred← citeshttps://doi.org/10.1007/978-94-017-8860-1_10openalex-snapshot
Topological Interpretations of Provability Logic
inferred← citeshttps://doi.org/10.1007/978-94-017-8860-1_11openalex-snapshot
Derivational Modal Logics with the Difference Modality
inferred← citeshttps://doi.org/10.1007/978-94-017-8860-1_5openalex-snapshot
On the Blok-Esakia Theorem
inferred← citeshttps://doi.org/10.1007/bf00370147openalex-snapshot
Distributive lattices with an operator
inferred← citeshttps://doi.org/10.1007/bf00370207openalex-snapshot
B-varieties with normal free algebras
inferred← citeshttps://doi.org/10.1007/bf00373272openalex-snapshot
Q-ultrafilters and normal ultrafilters in B-algebras
inferred← citeshttps://doi.org/10.1007/bf00873574openalex-snapshot
Quelques remarques sur les ?Tableaux de Beth?
inferred← citeshttps://doi.org/10.1007/bf00970045openalex-snapshot
Elementary equivalence of topological spaces
inferred← citeshttps://doi.org/10.1007/bf01157678openalex-snapshot
Elementary theories of free topo-Boolean and pseudo-Boolean algebras
inferred← citeshttps://doi.org/10.1007/bf01195140openalex-snapshot
An effective representation for finitely generated free interior algebras
inferred← citeshttps://doi.org/10.1007/bf01236783openalex-snapshot
On representation of finite pseudo-Boolean algebras and one of its applications
inferred← citeshttps://doi.org/10.1007/bf01359974openalex-snapshot
Die �berinvarianten und verwandte Kongruenzrelationen einer allgemeinen Algebra
inferred← citeshttps://doi.org/10.1007/bf01371628openalex-snapshot
The theory of boolean algebras with an additional binary operation
inferred← citeshttps://doi.org/10.1007/bf01418760openalex-snapshot
Modal logics of domains on the real plane
inferred← citeshttps://doi.org/10.1007/bf01447845openalex-snapshot
Analytische Mannigfaltigkeiten in Riemannschen Bereichen
inferred← citeshttps://doi.org/10.1007/bf01650094openalex-snapshot
Die Charakteristik einer allgemeinen Algebra. I
inferred← citeshttps://doi.org/10.1007/bf01980756openalex-snapshot
Bases of quasiidentities of finite modal algebras
inferred← citeshttps://doi.org/10.1007/bf02009330openalex-snapshot
Embeddings of implicative lattices and superintuitionistic logics
inferred← citeshttps://doi.org/10.1007/bf02124614openalex-snapshot
Implications in Boolean algebras with a two-valued closure operator
inferred← citeshttps://doi.org/10.1007/bf02332827openalex-snapshot
Subalgebras of closure algebras
inferred← citeshttps://doi.org/10.1007/bf02573019openalex-snapshot
Relation algebras and function semigroups
inferred← citeshttps://doi.org/10.1007/bf02844036openalex-snapshot
Algebre di Fréchet: Una classe di Algebre booleane con operatore
inferred← citeshttps://doi.org/10.1007/bf02945051openalex-snapshot
Solution to a problem concerning the intersection of maximal filters and maximal ideals in a distributive lattice
inferred← citeshttps://doi.org/10.1007/bfb0064874openalex-snapshot
Abolition of the fregean axiom
inferred← citeshttps://doi.org/10.1007/bfb0065993openalex-snapshot
An application of elementary model theory to topological boolean algebras
inferred← citeshttps://doi.org/10.1007/bfb0099485openalex-snapshot
Partial closures and semantics of while: Towards an iteration-based theory of data types
inferred← citeshttps://doi.org/10.1007/pl00000358openalex-snapshot
Locally finite varieties
inferred← citeshttps://doi.org/10.1007/s00012-004-1871-3openalex-snapshot
Semilattices with closure
inferred← citeshttps://doi.org/10.1007/s00012-007-2032-2openalex-snapshot
Topo-canonical completions of closure algebras and Heyting algebras
inferred← citeshttps://doi.org/10.1007/s00012-013-0253-0openalex-snapshot
Lattice subordinations and Priestley duality
inferred← citeshttps://doi.org/10.1007/s00012-018-0562-4openalex-snapshot
Canonical extensions and ultraproducts of polarities
inferred← citeshttps://doi.org/10.1007/s00012-022-00768-3openalex-snapshot
Nuclear ranges in implicative semilattices
inferred← citeshttps://doi.org/10.1007/s00153-006-0024-0openalex-snapshot
The modal logic of continuous functions on cantor space
inferred← citeshttps://doi.org/10.1007/s00153-009-0123-9openalex-snapshot
The modal logic of $${\beta(\mathbb{N})}$$
inferred← citeshttps://doi.org/10.1007/s00153-010-0185-8openalex-snapshot
The modal logic of continuous functions on the rational numbers
inferred← citeshttps://doi.org/10.1007/s00153-010-0214-7openalex-snapshot
Connected modal logics
inferred← citeshttps://doi.org/10.1007/s00153-012-0290-yopenalex-snapshot
Subspaces of $${\mathbb{Q}}$$ whose d-logics do not have the FMP
inferred← citeshttps://doi.org/10.1007/s00153-020-00743-6openalex-snapshot
Tree-like constructions in topology and modal logic
inferred← citeshttps://doi.org/10.1007/s00233-023-10356-zopenalex-snapshot
Laws for generalised interior operations in semigroups
inferred← citeshttps://doi.org/10.1007/s10472-021-09779-7openalex-snapshot
Default consequence relations from topology and measure theory
inferred← citeshttps://doi.org/10.1007/s10485-020-09606-wopenalex-snapshot
Raney Algebras and Duality for $$T_0$$-Spaces
inferred← citeshttps://doi.org/10.1007/s10485-026-09849-zopenalex-snapshot
McKinsey-Tarski Algebras and Raney Extensions
inferred← citeshttps://doi.org/10.1007/s10516-011-9180-xopenalex-snapshot
Heyting Mereology as a Framework for Spatial Reasoning
inferred← citeshttps://doi.org/10.1007/s10516-023-09698-8openalex-snapshot
Basing Belief on Quasi-Factive Evidence
inferred← citeshttps://doi.org/10.1007/s10670-019-00214-2openalex-snapshot
Topological Models of Columnar Vagueness
inferred← citeshttps://doi.org/10.1007/s10699-024-09971-yopenalex-snapshot
Wigner and Friends, A Map is not the Territory! Contextuality in Multi-agent Paradoxes
inferred← citeshttps://doi.org/10.1007/s10701-006-9087-3openalex-snapshot
A Model for Spacetime II. The Emergence of Higher Dimensions and Field Theory/Strings Dualities
inferred← citeshttps://doi.org/10.1007/s10849-009-9091-zopenalex-snapshot
Hybrid Logics of Separation Axioms
inferred← citeshttps://doi.org/10.1007/s10849-025-09440-0openalex-snapshot
Inquisitive Neighborhood Logic
inferred← citeshttps://doi.org/10.1007/s10849-026-09476-wopenalex-snapshot
Spatio-temporal Model Checking with VoxLogicA
inferred← citeshttps://doi.org/10.1007/s10992-007-9055-1openalex-snapshot
A Grim Semantics For Logics of Belief
inferred← citeshttps://doi.org/10.1007/s10992-010-9161-3openalex-snapshot
Completeness of S4 for the Lebesgue Measure Algebra
inferred← citeshttps://doi.org/10.1007/s10992-012-9266-yopenalex-snapshot
Modes of Adjointness
inferred← citeshttps://doi.org/10.1007/s10992-016-9405-yopenalex-snapshot
A Unification of Two Approaches to Vagueness: The Boolean Many-Valued Approach and the Modal-Precisificational Approach
inferred← citeshttps://doi.org/10.1007/s10992-018-9463-4openalex-snapshot
A Topological Approach to Full Belief
inferred← citeshttps://doi.org/10.1007/s10992-021-09638-0openalex-snapshot
Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Dynamics
inferred← citeshttps://doi.org/10.1007/s10992-022-09671-7openalex-snapshot
Continuous Accessibility Modal Logics
inferred← citeshttps://doi.org/10.1007/s11083-011-9224-2openalex-snapshot
Modal Logics of Stone Spaces
inferred← citeshttps://doi.org/10.1007/s11225-005-4646-8openalex-snapshot
On Modal Logics of Partial Recursive Functions
inferred← citeshttps://doi.org/10.1007/s11225-005-4648-6openalex-snapshot
Some Results on Modal Axiomatization and Definability for Topological Spaces
inferred← citeshttps://doi.org/10.1007/s11225-006-8296-2openalex-snapshot
Willem Blok and Modal Logic
inferred← citeshttps://doi.org/10.1007/s11225-006-9005-xopenalex-snapshot
On Dynamic Topological and Metric Logics
inferred← citeshttps://doi.org/10.1007/s11225-006-9013-xopenalex-snapshot
Multimo dal Logics of Products of Topologies
inferred← citeshttps://doi.org/10.1007/s11225-010-9244-8openalex-snapshot
A Canonical Topological Model for Extensions of K4
inferred← citeshttps://doi.org/10.1007/s11225-011-9305-7openalex-snapshot
The d-Logic of the Rational Numbers: A Fruitful Construction
inferred← citeshttps://doi.org/10.1007/s11225-011-9328-0openalex-snapshot
Classical Modal De Morgan Algebras
inferred← citeshttps://doi.org/10.1007/s11225-011-9350-2openalex-snapshot
Possible Worlds in Use
inferred← citeshttps://doi.org/10.1007/s11225-012-9394-yopenalex-snapshot
Foreword
inferred← citeshttps://doi.org/10.1007/s11225-012-9464-1openalex-snapshot
On a Definition of a Variety of Monadic ℓ-Groups
inferred← citeshttps://doi.org/10.1007/s11225-014-9558-zopenalex-snapshot
From Interior Algebras to Unital ℓ-Groups: A Unifying Treatment of Modal Residuated Lattices
inferred← citeshttps://doi.org/10.1007/s11225-015-9648-6openalex-snapshot
Matching Topological and Frame Products of Modal Logics
inferred← citeshttps://doi.org/10.1007/s11225-018-9789-5openalex-snapshot
A New Proof of the McKinsey–Tarski Theorem
inferred← citeshttps://doi.org/10.1007/s11225-022-10027-0openalex-snapshot
Finite Model Property in Weakly Transitive Tense Logics
inferred← citeshttps://doi.org/10.1007/s11225-023-10072-3openalex-snapshot
Heyting $$\kappa $$-Frames
inferred← citeshttps://doi.org/10.1007/s11225-024-10107-3openalex-snapshot
A Model Theory of Topology
inferred← citeshttps://doi.org/10.1007/s11225-024-10145-xopenalex-snapshot
The McKinsey Axiom on Weakly Transitive Frames
inferred← citeshttps://doi.org/10.1007/s11229-005-5514-9openalex-snapshot
Meredith, Prior, and the History of Possible Worlds Semantics
inferred← citeshttps://doi.org/10.1007/s11229-011-9913-9openalex-snapshot
Logic for physical space
inferred← citeshttps://doi.org/10.1007/s11229-013-0246-8openalex-snapshot
Some topological properties of paraconsistent models
inferred← citeshttps://doi.org/10.1007/s11229-016-1301-zopenalex-snapshot
Identity and intensionality in Univalent Foundations and philosophy
inferred← citeshttps://doi.org/10.1007/s11229-017-1331-1openalex-snapshot
The intensional side of algebraic-topological representation theorems
inferred← citeshttps://doi.org/10.1007/s11229-017-1592-8openalex-snapshot
Announcement as effort on topological spaces
inferred← citeshttps://doi.org/10.1007/s11229-020-02951-2openalex-snapshot
Prototypes, poles, and tessellations: towards a topological theory of conceptual spaces
inferred← citeshttps://doi.org/10.1007/s11229-022-03561-wopenalex-snapshot
The Boolean Many-Valued Solution to the Sorites Paradox
inferred← citeshttps://doi.org/10.1007/s11229-022-03689-9openalex-snapshot
The introduction of topology into analytic philosophy: two movements and a coda
inferred← citeshttps://doi.org/10.1007/s11229-022-03967-6openalex-snapshot
Justified belief, knowledge, and the topology of evidence
inferred← citeshttps://doi.org/10.1007/s11229-023-04042-4openalex-snapshot
Categorial modal realism
inferred← citeshttps://doi.org/10.1007/s11229-023-04219-xopenalex-snapshot
A hyperintensional approach to positive epistemic possibility
inferred← citeshttps://doi.org/10.1007/s11787-015-0116-xopenalex-snapshot
Characteristic Inference Rules
inferred← citeshttps://doi.org/10.1007/s11787-017-0172-5openalex-snapshot
Modal Multilattice Logic
showing the first 200 of 472 · page through all 472
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.