Matches in SemOpenAlex for { <https://semopenalex.org/work/W4221166818> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4221166818 abstract "In this paper we provide a unifying description of different types of semantics of modal logic found in the literature via the framework of topological categories. In the style of categorical logic, we establish an exact correspondence between various syntactic extensions of modal logic on one hand, including modal dependence, group agent structures, and logical dynamic, and semantic structures in topological categories on the other hand. This framework provides us a uniform treatment of interpreting these syntactic extensions in all different types of semantics of modal logic, and it deepens our conceptual understanding of the abstract structure of modal logic." @default.
- W4221166818 created "2022-04-03" @default.
- W4221166818 creator A5060160541 @default.
- W4221166818 date "2022-03-13" @default.
- W4221166818 modified "2023-09-28" @default.
- W4221166818 title "Unification of Modal Logic via Topological Categories" @default.
- W4221166818 doi "https://doi.org/10.48550/arxiv.2203.06596" @default.
- W4221166818 hasPublicationYear "2022" @default.
- W4221166818 type Work @default.
- W4221166818 citedByCount "0" @default.
- W4221166818 crossrefType "posted-content" @default.
- W4221166818 hasAuthorship W4221166818A5060160541 @default.
- W4221166818 hasBestOaLocation W42211668181 @default.
- W4221166818 hasConcept C102993220 @default.
- W4221166818 hasConcept C11191006 @default.
- W4221166818 hasConcept C114092440 @default.
- W4221166818 hasConcept C121332964 @default.
- W4221166818 hasConcept C154945302 @default.
- W4221166818 hasConcept C165801399 @default.
- W4221166818 hasConcept C172385210 @default.
- W4221166818 hasConcept C185592680 @default.
- W4221166818 hasConcept C188027245 @default.
- W4221166818 hasConcept C199360897 @default.
- W4221166818 hasConcept C203659156 @default.
- W4221166818 hasConcept C27508121 @default.
- W4221166818 hasConcept C2777796570 @default.
- W4221166818 hasConcept C33923547 @default.
- W4221166818 hasConcept C41008148 @default.
- W4221166818 hasConcept C62520636 @default.
- W4221166818 hasConcept C71139939 @default.
- W4221166818 hasConcept C96146094 @default.
- W4221166818 hasConceptScore W4221166818C102993220 @default.
- W4221166818 hasConceptScore W4221166818C11191006 @default.
- W4221166818 hasConceptScore W4221166818C114092440 @default.
- W4221166818 hasConceptScore W4221166818C121332964 @default.
- W4221166818 hasConceptScore W4221166818C154945302 @default.
- W4221166818 hasConceptScore W4221166818C165801399 @default.
- W4221166818 hasConceptScore W4221166818C172385210 @default.
- W4221166818 hasConceptScore W4221166818C185592680 @default.
- W4221166818 hasConceptScore W4221166818C188027245 @default.
- W4221166818 hasConceptScore W4221166818C199360897 @default.
- W4221166818 hasConceptScore W4221166818C203659156 @default.
- W4221166818 hasConceptScore W4221166818C27508121 @default.
- W4221166818 hasConceptScore W4221166818C2777796570 @default.
- W4221166818 hasConceptScore W4221166818C33923547 @default.
- W4221166818 hasConceptScore W4221166818C41008148 @default.
- W4221166818 hasConceptScore W4221166818C62520636 @default.
- W4221166818 hasConceptScore W4221166818C71139939 @default.
- W4221166818 hasConceptScore W4221166818C96146094 @default.
- W4221166818 hasLocation W42211668181 @default.
- W4221166818 hasOpenAccess W4221166818 @default.
- W4221166818 hasPrimaryLocation W42211668181 @default.
- W4221166818 hasRelatedWork W119381390 @default.
- W4221166818 hasRelatedWork W1536151545 @default.
- W4221166818 hasRelatedWork W1537541219 @default.
- W4221166818 hasRelatedWork W1538818581 @default.
- W4221166818 hasRelatedWork W1909183225 @default.
- W4221166818 hasRelatedWork W201372017 @default.
- W4221166818 hasRelatedWork W2101793126 @default.
- W4221166818 hasRelatedWork W2188462059 @default.
- W4221166818 hasRelatedWork W7834247 @default.
- W4221166818 hasRelatedWork W830045649 @default.
- W4221166818 isParatext "false" @default.
- W4221166818 isRetracted "false" @default.
- W4221166818 workType "article" @default.