Cited in
(31)- On Shehtman's two problems
- Exploring the Jungle of Intuitionistic Temporal Logics
- A semantic hierarchy for intuitionistic logic
- Dynamic topological logic of metric spaces
- MEREOLOGICAL BIMODAL LOGICS
- A generalization of inquisitive semantics
- A logic of isolation
- A geometric interpretation of logical formulae
- A sound and complete axiomatization for dynamic topological logic
- On superintuitionistic logics as fragments of proof logic extensions
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
- Three roads to complete lattices: orders, compatibility, polarity
- A topological approach to full belief
- Dynamic topological logic interpreted over minimal systems
- Choice-free duality for orthocomplemented lattices by means of spectral spaces
- Equivalence proof for intuitionistic existential alpha graphs
- Inquisitive neighborhood logic
- Hybrid logics of separation axioms
- The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview
- The intuitionistic temporal logic of dynamical systems
- Leon Henkin the reviewer
- Key notions of Tarski's methodology of deductive systems
- Logics of spatial isolation
- Truth-maker semantics for some substructural logics
- Are the open-ended rules for negation categorical?
- Logic for physical space. From antiquity to present day
- An application of constructive completeness
- Non-classical propositional calculi in relation to methodological patterns of scientific investigation
- Strong Completeness of S4 for the Real Line
- THE BAIRE CLOSURE AND ITS LOGIC
- COMPLETELY SEPARABLE MAD FAMILIES AND THE MODAL LOGIC OF βω
This page was built for publication: Der Aussagenkalkül und die Topologie
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5772800)
