Topological Logic
From MaRDI portal
Publication:5579003
Cites work
Cited in
(11)- On the modal interpretation of the connective of realisation
- The substitution interpretation in topological logic
- Two-sorted metric temporal logics
- The logic of location
- Ontologies for plane, polygonal mereotopology
- Expressivity in polygonal, plane mereotopology
- Local causation
- Realization for justification logics via nested sequents: modularity through embedding
- Indefinite topological logic
- Completeness results for two-sorted metric temporal logics
- Logic of social ontology and Łoś's operator
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)