Logics for stable and unstable mereological relations (Q651278): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q4083730 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5445158 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2744124 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3128959 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Adding a temporal dimension to a logic system / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4386965 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modal Logics of Topological Relations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3085170 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4068699 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A modal approach to dynamic ontology: modal mereotopology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations / rank
 
Normal rank

Latest revision as of 18:15, 4 July 2024

scientific article
Language Label Description Also known as
English
Logics for stable and unstable mereological relations
scientific article

    Statements

    Logics for stable and unstable mereological relations (English)
    0 references
    0 references
    12 December 2011
    0 references
    stable relation
    0 references
    unstable relation
    0 references
    mereology
    0 references
    representation theory
    0 references
    first-order logic
    0 references
    hereditary undecidability
    0 references
    quantifier-free fragment
    0 references
    modal logic
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references