Matches in SemOpenAlex for { <https://semopenalex.org/work/W3044351092> ?p ?o ?g. }
- W3044351092 endingPage "32" @default.
- W3044351092 startingPage "1" @default.
- W3044351092 abstract "Abstract This paper investigates and develops generalizations of two-dimensional modal logics to any finite dimension. These logics are natural extensions of multidimensional systems known from the literature on logics for a priori knowledge. We prove a completeness theorem for propositional n -dimensional modal logics and show them to be decidable by means of a systematic tableau construction." @default.
- W3044351092 created "2020-07-29" @default.
- W3044351092 creator A5081110663 @default.
- W3044351092 date "2020-07-21" @default.
- W3044351092 modified "2023-09-26" @default.
- W3044351092 title "THE LOGIC OF SEQUENCE FRAMES" @default.
- W3044351092 cites W1570374618 @default.
- W3044351092 cites W182640413 @default.
- W3044351092 cites W1969854669 @default.
- W3044351092 cites W1973478163 @default.
- W3044351092 cites W1985228308 @default.
- W3044351092 cites W1987567030 @default.
- W3044351092 cites W2014125436 @default.
- W3044351092 cites W2017749139 @default.
- W3044351092 cites W2018512069 @default.
- W3044351092 cites W2039455242 @default.
- W3044351092 cites W2041342778 @default.
- W3044351092 cites W2056818739 @default.
- W3044351092 cites W2073581072 @default.
- W3044351092 cites W2074674768 @default.
- W3044351092 cites W2124207901 @default.
- W3044351092 cites W2140743943 @default.
- W3044351092 cites W2142779776 @default.
- W3044351092 cites W2151440743 @default.
- W3044351092 cites W2516156768 @default.
- W3044351092 cites W2553552917 @default.
- W3044351092 cites W2572692737 @default.
- W3044351092 cites W2621794756 @default.
- W3044351092 cites W3010199777 @default.
- W3044351092 cites W4211144022 @default.
- W3044351092 cites W4233253115 @default.
- W3044351092 cites W4233906803 @default.
- W3044351092 doi "https://doi.org/10.1017/s1755020320000325" @default.
- W3044351092 hasPublicationYear "2020" @default.
- W3044351092 type Work @default.
- W3044351092 sameAs 3044351092 @default.
- W3044351092 citedByCount "0" @default.
- W3044351092 crossrefType "journal-article" @default.
- W3044351092 hasAuthorship W3044351092A5081110663 @default.
- W3044351092 hasConcept C111472728 @default.
- W3044351092 hasConcept C11191006 @default.
- W3044351092 hasConcept C114092440 @default.
- W3044351092 hasConcept C118615104 @default.
- W3044351092 hasConcept C134306372 @default.
- W3044351092 hasConcept C136119220 @default.
- W3044351092 hasConcept C138885662 @default.
- W3044351092 hasConcept C153269930 @default.
- W3044351092 hasConcept C154945302 @default.
- W3044351092 hasConcept C17231256 @default.
- W3044351092 hasConcept C185592680 @default.
- W3044351092 hasConcept C188027245 @default.
- W3044351092 hasConcept C192609573 @default.
- W3044351092 hasConcept C199343813 @default.
- W3044351092 hasConcept C202444582 @default.
- W3044351092 hasConcept C27508121 @default.
- W3044351092 hasConcept C2777686260 @default.
- W3044351092 hasConcept C2778112365 @default.
- W3044351092 hasConcept C33676613 @default.
- W3044351092 hasConcept C33923547 @default.
- W3044351092 hasConcept C41008148 @default.
- W3044351092 hasConcept C42011625 @default.
- W3044351092 hasConcept C5263885 @default.
- W3044351092 hasConcept C54355233 @default.
- W3044351092 hasConcept C58166 @default.
- W3044351092 hasConcept C71139939 @default.
- W3044351092 hasConcept C71924100 @default.
- W3044351092 hasConcept C75553542 @default.
- W3044351092 hasConcept C86602344 @default.
- W3044351092 hasConcept C86803240 @default.
- W3044351092 hasConceptScore W3044351092C111472728 @default.
- W3044351092 hasConceptScore W3044351092C11191006 @default.
- W3044351092 hasConceptScore W3044351092C114092440 @default.
- W3044351092 hasConceptScore W3044351092C118615104 @default.
- W3044351092 hasConceptScore W3044351092C134306372 @default.
- W3044351092 hasConceptScore W3044351092C136119220 @default.
- W3044351092 hasConceptScore W3044351092C138885662 @default.
- W3044351092 hasConceptScore W3044351092C153269930 @default.
- W3044351092 hasConceptScore W3044351092C154945302 @default.
- W3044351092 hasConceptScore W3044351092C17231256 @default.
- W3044351092 hasConceptScore W3044351092C185592680 @default.
- W3044351092 hasConceptScore W3044351092C188027245 @default.
- W3044351092 hasConceptScore W3044351092C192609573 @default.
- W3044351092 hasConceptScore W3044351092C199343813 @default.
- W3044351092 hasConceptScore W3044351092C202444582 @default.
- W3044351092 hasConceptScore W3044351092C27508121 @default.
- W3044351092 hasConceptScore W3044351092C2777686260 @default.
- W3044351092 hasConceptScore W3044351092C2778112365 @default.
- W3044351092 hasConceptScore W3044351092C33676613 @default.
- W3044351092 hasConceptScore W3044351092C33923547 @default.
- W3044351092 hasConceptScore W3044351092C41008148 @default.
- W3044351092 hasConceptScore W3044351092C42011625 @default.
- W3044351092 hasConceptScore W3044351092C5263885 @default.
- W3044351092 hasConceptScore W3044351092C54355233 @default.
- W3044351092 hasConceptScore W3044351092C58166 @default.
- W3044351092 hasConceptScore W3044351092C71139939 @default.
- W3044351092 hasConceptScore W3044351092C71924100 @default.
- W3044351092 hasConceptScore W3044351092C75553542 @default.
- W3044351092 hasConceptScore W3044351092C86602344 @default.