Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912740112> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2912740112 abstract "This paper is an appendix to the paper Cut-free Calculi and Relational Semantics for Temporal STIT logics by Berkel and Lyon, 2019. It provides the completeness proof for the basic STIT logic Ldm (relative to irreflexive, temporal Kripke STIT frames) as well as gives the derivation of the independence of agents axiom for the logic Xstit." @default.
- W2912740112 created "2019-02-21" @default.
- W2912740112 creator A5030371220 @default.
- W2912740112 creator A5045993299 @default.
- W2912740112 date "2019-02-18" @default.
- W2912740112 modified "2023-09-27" @default.
- W2912740112 title "Appendix for: Cut-free Calculi and Relational Semantics for Temporal STIT logics." @default.
- W2912740112 cites W1964288468 @default.
- W2912740112 cites W2610670723 @default.
- W2912740112 cites W3100658723 @default.
- W2912740112 hasPublicationYear "2019" @default.
- W2912740112 type Work @default.
- W2912740112 sameAs 2912740112 @default.
- W2912740112 citedByCount "0" @default.
- W2912740112 crossrefType "posted-content" @default.
- W2912740112 hasAuthorship W2912740112A5030371220 @default.
- W2912740112 hasAuthorship W2912740112A5045993299 @default.
- W2912740112 hasConcept C102993220 @default.
- W2912740112 hasConcept C105795698 @default.
- W2912740112 hasConcept C134306372 @default.
- W2912740112 hasConcept C160131679 @default.
- W2912740112 hasConcept C167729594 @default.
- W2912740112 hasConcept C17231256 @default.
- W2912740112 hasConcept C184337299 @default.
- W2912740112 hasConcept C199343813 @default.
- W2912740112 hasConcept C199360897 @default.
- W2912740112 hasConcept C2524010 @default.
- W2912740112 hasConcept C2777686260 @default.
- W2912740112 hasConcept C33203268 @default.
- W2912740112 hasConcept C33923547 @default.
- W2912740112 hasConcept C35651441 @default.
- W2912740112 hasConcept C41008148 @default.
- W2912740112 hasConcept C71924100 @default.
- W2912740112 hasConcept C80444323 @default.
- W2912740112 hasConceptScore W2912740112C102993220 @default.
- W2912740112 hasConceptScore W2912740112C105795698 @default.
- W2912740112 hasConceptScore W2912740112C134306372 @default.
- W2912740112 hasConceptScore W2912740112C160131679 @default.
- W2912740112 hasConceptScore W2912740112C167729594 @default.
- W2912740112 hasConceptScore W2912740112C17231256 @default.
- W2912740112 hasConceptScore W2912740112C184337299 @default.
- W2912740112 hasConceptScore W2912740112C199343813 @default.
- W2912740112 hasConceptScore W2912740112C199360897 @default.
- W2912740112 hasConceptScore W2912740112C2524010 @default.
- W2912740112 hasConceptScore W2912740112C2777686260 @default.
- W2912740112 hasConceptScore W2912740112C33203268 @default.
- W2912740112 hasConceptScore W2912740112C33923547 @default.
- W2912740112 hasConceptScore W2912740112C35651441 @default.
- W2912740112 hasConceptScore W2912740112C41008148 @default.
- W2912740112 hasConceptScore W2912740112C71924100 @default.
- W2912740112 hasConceptScore W2912740112C80444323 @default.
- W2912740112 hasLocation W29127401121 @default.
- W2912740112 hasOpenAccess W2912740112 @default.
- W2912740112 hasPrimaryLocation W29127401121 @default.
- W2912740112 hasRelatedWork W1496035301 @default.
- W2912740112 hasRelatedWork W1526548725 @default.
- W2912740112 hasRelatedWork W2004532354 @default.
- W2912740112 hasRelatedWork W2026564669 @default.
- W2912740112 hasRelatedWork W2027917524 @default.
- W2912740112 hasRelatedWork W2052756194 @default.
- W2912740112 hasRelatedWork W2055558461 @default.
- W2912740112 hasRelatedWork W2072343750 @default.
- W2912740112 hasRelatedWork W2108613905 @default.
- W2912740112 hasRelatedWork W2157031388 @default.
- W2912740112 hasRelatedWork W2215786367 @default.
- W2912740112 hasRelatedWork W2305055119 @default.
- W2912740112 hasRelatedWork W2580804121 @default.
- W2912740112 hasRelatedWork W2963435309 @default.
- W2912740112 hasRelatedWork W3093144648 @default.
- W2912740112 hasRelatedWork W3098256803 @default.
- W2912740112 hasRelatedWork W3100658723 @default.
- W2912740112 hasRelatedWork W3196874696 @default.
- W2912740112 hasRelatedWork W3198039780 @default.
- W2912740112 hasRelatedWork W617105726 @default.
- W2912740112 isParatext "false" @default.
- W2912740112 isRetracted "false" @default.
- W2912740112 magId "2912740112" @default.
- W2912740112 workType "article" @default.