Matches in SemOpenAlex for { <https://semopenalex.org/work/W2395644054> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2395644054 abstract "Our paper investigates the linear logic of knowledge and time LTK_r with reflexive intransitive time relation. The logic is defined semantically, -- as the set of formulas which are true at special frames with intransitive and reflexive time binary relation. The LTK_r -frames are linear chains of clusters connected by a reflexive intransitive relation $R_T$. Elements inside a cluster are connected by several equivalence relations imitating the knowledge of different agents. We study the decidability problem for formulas and inference rules. Decidability for formulas follows from decidability w.r.t. admissible inference rules.To study admissibility, we introduce some special constructive Kripke models useful for description of admissibility of inference rules. With a special technique of definable valuations we find an algorithm determining admissible inference rules in LTK_r. That is, we show that the logic LTK_r is decidable and decidable with respect to admissibility of inference rules." @default.
- W2395644054 created "2016-06-24" @default.
- W2395644054 creator A5016943210 @default.
- W2395644054 creator A5037509612 @default.
- W2395644054 date "2014-07-26" @default.
- W2395644054 modified "2023-09-27" @default.
- W2395644054 title "Linear Intransitive Temporal Logic of Knowledge LTK_r, Decision Algorithms, Inference Rules" @default.
- W2395644054 cites W2048132387 @default.
- W2395644054 cites W2081160992 @default.
- W2395644054 cites W2096840823 @default.
- W2395644054 cites W2189183458 @default.
- W2395644054 hasPublicationYear "2014" @default.
- W2395644054 type Work @default.
- W2395644054 sameAs 2395644054 @default.
- W2395644054 citedByCount "0" @default.
- W2395644054 crossrefType "posted-content" @default.
- W2395644054 hasAuthorship W2395644054A5016943210 @default.
- W2395644054 hasAuthorship W2395644054A5037509612 @default.
- W2395644054 hasConcept C111919701 @default.
- W2395644054 hasConcept C11413529 @default.
- W2395644054 hasConcept C118615104 @default.
- W2395644054 hasConcept C124101348 @default.
- W2395644054 hasConcept C153269930 @default.
- W2395644054 hasConcept C154945302 @default.
- W2395644054 hasConcept C156103551 @default.
- W2395644054 hasConcept C178421362 @default.
- W2395644054 hasConcept C25343380 @default.
- W2395644054 hasConcept C2776214188 @default.
- W2395644054 hasConcept C2778701210 @default.
- W2395644054 hasConcept C2780069185 @default.
- W2395644054 hasConcept C28077239 @default.
- W2395644054 hasConcept C33923547 @default.
- W2395644054 hasConcept C3746660 @default.
- W2395644054 hasConcept C41008148 @default.
- W2395644054 hasConcept C65180967 @default.
- W2395644054 hasConcept C98045186 @default.
- W2395644054 hasConceptScore W2395644054C111919701 @default.
- W2395644054 hasConceptScore W2395644054C11413529 @default.
- W2395644054 hasConceptScore W2395644054C118615104 @default.
- W2395644054 hasConceptScore W2395644054C124101348 @default.
- W2395644054 hasConceptScore W2395644054C153269930 @default.
- W2395644054 hasConceptScore W2395644054C154945302 @default.
- W2395644054 hasConceptScore W2395644054C156103551 @default.
- W2395644054 hasConceptScore W2395644054C178421362 @default.
- W2395644054 hasConceptScore W2395644054C25343380 @default.
- W2395644054 hasConceptScore W2395644054C2776214188 @default.
- W2395644054 hasConceptScore W2395644054C2778701210 @default.
- W2395644054 hasConceptScore W2395644054C2780069185 @default.
- W2395644054 hasConceptScore W2395644054C28077239 @default.
- W2395644054 hasConceptScore W2395644054C33923547 @default.
- W2395644054 hasConceptScore W2395644054C3746660 @default.
- W2395644054 hasConceptScore W2395644054C41008148 @default.
- W2395644054 hasConceptScore W2395644054C65180967 @default.
- W2395644054 hasConceptScore W2395644054C98045186 @default.
- W2395644054 hasLocation W23956440541 @default.
- W2395644054 hasOpenAccess W2395644054 @default.
- W2395644054 hasPrimaryLocation W23956440541 @default.
- W2395644054 hasRelatedWork W1491083121 @default.
- W2395644054 hasRelatedWork W1513853777 @default.
- W2395644054 hasRelatedWork W1532684713 @default.
- W2395644054 hasRelatedWork W1601411689 @default.
- W2395644054 hasRelatedWork W1601726121 @default.
- W2395644054 hasRelatedWork W1622692161 @default.
- W2395644054 hasRelatedWork W1710605610 @default.
- W2395644054 hasRelatedWork W1897317108 @default.
- W2395644054 hasRelatedWork W1947471199 @default.
- W2395644054 hasRelatedWork W2019701567 @default.
- W2395644054 hasRelatedWork W2021587896 @default.
- W2395644054 hasRelatedWork W2093974031 @default.
- W2395644054 hasRelatedWork W2146493160 @default.
- W2395644054 hasRelatedWork W2309414922 @default.
- W2395644054 hasRelatedWork W2323345003 @default.
- W2395644054 hasRelatedWork W23516745 @default.
- W2395644054 hasRelatedWork W2734665510 @default.
- W2395644054 hasRelatedWork W2951797873 @default.
- W2395644054 hasRelatedWork W80737574 @default.
- W2395644054 hasRelatedWork W2018469928 @default.
- W2395644054 isParatext "false" @default.
- W2395644054 isRetracted "false" @default.
- W2395644054 magId "2395644054" @default.
- W2395644054 workType "article" @default.