FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W62367005> ?p ?o ?g. }

• W62367005 endingPage "272" @default.
• W62367005 startingPage "249" @default.
• W62367005 abstract "We present a complete axiomatization of a logic denoted by MTML (Mereo-Topological Modal Logic) based on the followin g set of mereotopological relations: part-of, overlap, underlap, contact, dual con- tact and interior part-of. We prove completeness theorems for MTML with respect to several classes of models including the standard topological mod- els over the set of regular-closed subsets of arbitrary topo logical spaces. We show that MTML possesses fmp with respect to a class of non-st andard models, which implies its decidability. In this way we propose also a solu- tion of the main open problem, formulated in (17) to find a decidable modal logic for topological relations." @default.
• W62367005 created "2016-06-24" @default.
• W62367005 creator A5076246494 @default.
• W62367005 creator A5082856719 @default.
• W62367005 date "2008-01-01" @default.
• W62367005 modified "2023-09-26" @default.
• W62367005 title "Modal logics for mereotopological relations" @default.
• W62367005 cites W1494501165 @default.
• W62367005 cites W1527588453 @default.
• W62367005 cites W1529218849 @default.
• W62367005 cites W1597163382 @default.
• W62367005 cites W1664281635 @default.
• W62367005 cites W1871668702 @default.
• W62367005 cites W1964089759 @default.
• W62367005 cites W1978654873 @default.
• W62367005 cites W2054275301 @default.
• W62367005 cites W2133039566 @default.
• W62367005 cites W2240909318 @default.
• W62367005 cites W2504002979 @default.
• W62367005 cites W2610670723 @default.
• W62367005 cites W2970205057 @default.
• W62367005 cites W3026721206 @default.
• W62367005 cites W3139934447 @default.
• W62367005 cites W84056104 @default.
• W62367005 cites W197326711 @default.
• W62367005 hasPublicationYear "2008" @default.
• W62367005 type Work @default.
• W62367005 sameAs 62367005 @default.
• W62367005 citedByCount "1" @default.
• W62367005 countsByYear W623670052013 @default.
• W62367005 crossrefType "proceedings-article" @default.
• W62367005 hasAuthorship W62367005A5076246494 @default.
• W62367005 hasAuthorship W62367005A5082856719 @default.
• W62367005 hasConcept C11191006 @default.
• W62367005 hasConcept C114092440 @default.
• W62367005 hasConcept C114614502 @default.
• W62367005 hasConcept C118615104 @default.
• W62367005 hasConcept C121332964 @default.
• W62367005 hasConcept C134306372 @default.
• W62367005 hasConcept C136119220 @default.
• W62367005 hasConcept C153269930 @default.
• W62367005 hasConcept C154945302 @default.
• W62367005 hasConcept C165801399 @default.
• W62367005 hasConcept C17231256 @default.
• W62367005 hasConcept C172385210 @default.
• W62367005 hasConcept C177264268 @default.
• W62367005 hasConcept C184720557 @default.
• W62367005 hasConcept C185592680 @default.
• W62367005 hasConcept C188027245 @default.
• W62367005 hasConcept C192609573 @default.
• W62367005 hasConcept C199360897 @default.
• W62367005 hasConcept C202444582 @default.
• W62367005 hasConcept C27508121 @default.
• W62367005 hasConcept C2777212361 @default.
• W62367005 hasConcept C2777796570 @default.
• W62367005 hasConcept C33923547 @default.
• W62367005 hasConcept C41008148 @default.
• W62367005 hasConcept C62520636 @default.
• W62367005 hasConcept C71139939 @default.
• W62367005 hasConceptScore W62367005C11191006 @default.
• W62367005 hasConceptScore W62367005C114092440 @default.
• W62367005 hasConceptScore W62367005C114614502 @default.
• W62367005 hasConceptScore W62367005C118615104 @default.
• W62367005 hasConceptScore W62367005C121332964 @default.
• W62367005 hasConceptScore W62367005C134306372 @default.
• W62367005 hasConceptScore W62367005C136119220 @default.
• W62367005 hasConceptScore W62367005C153269930 @default.
• W62367005 hasConceptScore W62367005C154945302 @default.
• W62367005 hasConceptScore W62367005C165801399 @default.
• W62367005 hasConceptScore W62367005C17231256 @default.
• W62367005 hasConceptScore W62367005C172385210 @default.
• W62367005 hasConceptScore W62367005C177264268 @default.
• W62367005 hasConceptScore W62367005C184720557 @default.
• W62367005 hasConceptScore W62367005C185592680 @default.
• W62367005 hasConceptScore W62367005C188027245 @default.
• W62367005 hasConceptScore W62367005C192609573 @default.
• W62367005 hasConceptScore W62367005C199360897 @default.
• W62367005 hasConceptScore W62367005C202444582 @default.
• W62367005 hasConceptScore W62367005C27508121 @default.
• W62367005 hasConceptScore W62367005C2777212361 @default.
• W62367005 hasConceptScore W62367005C2777796570 @default.
• W62367005 hasConceptScore W62367005C33923547 @default.
• W62367005 hasConceptScore W62367005C41008148 @default.
• W62367005 hasConceptScore W62367005C62520636 @default.
• W62367005 hasConceptScore W62367005C71139939 @default.
• W62367005 hasLocation W623670051 @default.
• W62367005 hasOpenAccess W62367005 @default.
• W62367005 hasPrimaryLocation W623670051 @default.
• W62367005 hasRelatedWork W1533439550 @default.
• W62367005 hasRelatedWork W1622527719 @default.
• W62367005 hasRelatedWork W1878262755 @default.
• W62367005 hasRelatedWork W1963725929 @default.
• W62367005 hasRelatedWork W1995051601 @default.
• W62367005 hasRelatedWork W2019718815 @default.
• W62367005 hasRelatedWork W2037754999 @default.
• W62367005 hasRelatedWork W2049039586 @default.
• W62367005 hasRelatedWork W2058617692 @default.
• W62367005 hasRelatedWork W2085835944 @default.

• next