Matches in SemOpenAlex for { <https://semopenalex.org/work/W3204303740> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W3204303740 abstract "In epistemic logic we are not only interested in the propositional knowledge expressed by “knowing that” operators, but also care about other types of knowledge used in natural language. In [1], Plaza proposed the “knowing value” operators and gave the complete axiomatization for the logic of knowledge with nonrigid designators. Moreover, in [2] Halpern and colleagues holds that, when analyzing a system in terms of knowledge, not only is the current state of knowledge of the agents in the system relevant, but also how that state of knowledge changes over time. So we introduce temporal logic operators ‘next’ and ‘until’ to extend Plaza’s system. The completeness proof is highly non-trivial and we referred to the work of [2, 3]." @default.
- W3204303740 created "2021-10-11" @default.
- W3204303740 creator A5054272513 @default.
- W3204303740 date "2021-01-01" @default.
- W3204303740 modified "2023-09-23" @default.
- W3204303740 title "Discrete Linear Temporal Logic with Knowing-Value Operator" @default.
- W3204303740 cites W1645519945 @default.
- W3204303740 cites W2055092188 @default.
- W3204303740 cites W2096959337 @default.
- W3204303740 doi "https://doi.org/10.1007/978-3-030-88708-7_11" @default.
- W3204303740 hasPublicationYear "2021" @default.
- W3204303740 type Work @default.
- W3204303740 sameAs 3204303740 @default.
- W3204303740 citedByCount "0" @default.
- W3204303740 crossrefType "book-chapter" @default.
- W3204303740 hasAuthorship W3204303740A5054272513 @default.
- W3204303740 hasConcept C104317684 @default.
- W3204303740 hasConcept C118615104 @default.
- W3204303740 hasConcept C134306372 @default.
- W3204303740 hasConcept C154945302 @default.
- W3204303740 hasConcept C158448853 @default.
- W3204303740 hasConcept C17020691 @default.
- W3204303740 hasConcept C17231256 @default.
- W3204303740 hasConcept C185592680 @default.
- W3204303740 hasConcept C199343813 @default.
- W3204303740 hasConcept C199360897 @default.
- W3204303740 hasConcept C200116569 @default.
- W3204303740 hasConcept C25016198 @default.
- W3204303740 hasConcept C2777686260 @default.
- W3204303740 hasConcept C33923547 @default.
- W3204303740 hasConcept C41008148 @default.
- W3204303740 hasConcept C46274116 @default.
- W3204303740 hasConcept C4777664 @default.
- W3204303740 hasConcept C55493867 @default.
- W3204303740 hasConcept C69562738 @default.
- W3204303740 hasConcept C71924100 @default.
- W3204303740 hasConcept C80444323 @default.
- W3204303740 hasConcept C86339819 @default.
- W3204303740 hasConceptScore W3204303740C104317684 @default.
- W3204303740 hasConceptScore W3204303740C118615104 @default.
- W3204303740 hasConceptScore W3204303740C134306372 @default.
- W3204303740 hasConceptScore W3204303740C154945302 @default.
- W3204303740 hasConceptScore W3204303740C158448853 @default.
- W3204303740 hasConceptScore W3204303740C17020691 @default.
- W3204303740 hasConceptScore W3204303740C17231256 @default.
- W3204303740 hasConceptScore W3204303740C185592680 @default.
- W3204303740 hasConceptScore W3204303740C199343813 @default.
- W3204303740 hasConceptScore W3204303740C199360897 @default.
- W3204303740 hasConceptScore W3204303740C200116569 @default.
- W3204303740 hasConceptScore W3204303740C25016198 @default.
- W3204303740 hasConceptScore W3204303740C2777686260 @default.
- W3204303740 hasConceptScore W3204303740C33923547 @default.
- W3204303740 hasConceptScore W3204303740C41008148 @default.
- W3204303740 hasConceptScore W3204303740C46274116 @default.
- W3204303740 hasConceptScore W3204303740C4777664 @default.
- W3204303740 hasConceptScore W3204303740C55493867 @default.
- W3204303740 hasConceptScore W3204303740C69562738 @default.
- W3204303740 hasConceptScore W3204303740C71924100 @default.
- W3204303740 hasConceptScore W3204303740C80444323 @default.
- W3204303740 hasConceptScore W3204303740C86339819 @default.
- W3204303740 hasLocation W32043037401 @default.
- W3204303740 hasOpenAccess W3204303740 @default.
- W3204303740 hasPrimaryLocation W32043037401 @default.
- W3204303740 hasRelatedWork W10077080 @default.
- W3204303740 hasRelatedWork W10327757 @default.
- W3204303740 hasRelatedWork W10812126 @default.
- W3204303740 hasRelatedWork W13168724 @default.
- W3204303740 hasRelatedWork W13928075 @default.
- W3204303740 hasRelatedWork W14017695 @default.
- W3204303740 hasRelatedWork W14491291 @default.
- W3204303740 hasRelatedWork W2567733 @default.
- W3204303740 hasRelatedWork W428994 @default.
- W3204303740 hasRelatedWork W4868912 @default.
- W3204303740 isParatext "false" @default.
- W3204303740 isRetracted "false" @default.
- W3204303740 magId "3204303740" @default.
- W3204303740 workType "book-chapter" @default.