Topological Logic
From MaRDI portal
Publication:5579003
Cites work
Cited in
(11)- Ontologies for plane, polygonal mereotopology
- Two-sorted metric temporal logics
- The substitution interpretation in topological logic
- Indefinite topological logic
- Realization for justification logics via nested sequents: modularity through embedding
- Expressivity in polygonal, plane mereotopology
- Logic of social ontology and Łoś's operator
- Completeness results for two-sorted metric temporal logics
- On the modal interpretation of the connective of realisation
- Local causation
- The logic of location
This page was built for publication: Topological Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5579003)