Matches in SemOpenAlex for { <https://semopenalex.org/work/W1704316539> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1704316539 abstract "We review the notion of perfect recall in the literature on interpreted systems, game theory, and epistemic logic. In the context of Epistemic Temporal Logic (ETL), we give a (to our knowledge) novel frame condition for perfect recall, which is local and can straightforwardly be translated to a defining formula in a language that only has next-step temporal operators. This frame condition also gives rise to a complete axiomatization for S5 ETL frames with perfect recall. We then consider how to extend and consolidate the notion of perfect recall in sub-S5 settings, where the various notions discussed are no longer equivalent." @default.
- W1704316539 created "2016-06-24" @default.
- W1704316539 creator A5020714641 @default.
- W1704316539 date "2010-10-01" @default.
- W1704316539 modified "2023-09-27" @default.
- W1704316539 title "Characterizing perfect recall using next-step temporal operators in S5 and sub-S5 Epistemic Temporal Logic" @default.
- W1704316539 cites W1489891289 @default.
- W1704316539 cites W1527720545 @default.
- W1704316539 cites W1596067335 @default.
- W1704316539 cites W1645519945 @default.
- W1704316539 cites W181848957 @default.
- W1704316539 cites W1979940556 @default.
- W1704316539 cites W2006227387 @default.
- W1704316539 cites W2010508644 @default.
- W1704316539 cites W2035353139 @default.
- W1704316539 cites W2039352370 @default.
- W1704316539 cites W2055092188 @default.
- W1704316539 cites W2085888957 @default.
- W1704316539 cites W2109100253 @default.
- W1704316539 cites W2136794369 @default.
- W1704316539 cites W2137311808 @default.
- W1704316539 cites W2146819619 @default.
- W1704316539 cites W2153637720 @default.
- W1704316539 cites W2169317811 @default.
- W1704316539 cites W2171968628 @default.
- W1704316539 cites W2575718854 @default.
- W1704316539 cites W2610670723 @default.
- W1704316539 hasPublicationYear "2010" @default.
- W1704316539 type Work @default.
- W1704316539 sameAs 1704316539 @default.
- W1704316539 citedByCount "0" @default.
- W1704316539 crossrefType "posted-content" @default.
- W1704316539 hasAuthorship W1704316539A5020714641 @default.
- W1704316539 hasConcept C100660578 @default.
- W1704316539 hasConcept C102993220 @default.
- W1704316539 hasConcept C107247716 @default.
- W1704316539 hasConcept C111472728 @default.
- W1704316539 hasConcept C11413529 @default.
- W1704316539 hasConcept C126042441 @default.
- W1704316539 hasConcept C138885662 @default.
- W1704316539 hasConcept C151730666 @default.
- W1704316539 hasConcept C15744967 @default.
- W1704316539 hasConcept C180747234 @default.
- W1704316539 hasConcept C203659156 @default.
- W1704316539 hasConcept C25016198 @default.
- W1704316539 hasConcept C2779343474 @default.
- W1704316539 hasConcept C33923547 @default.
- W1704316539 hasConcept C41008148 @default.
- W1704316539 hasConcept C4777664 @default.
- W1704316539 hasConcept C76155785 @default.
- W1704316539 hasConcept C80444323 @default.
- W1704316539 hasConcept C86803240 @default.
- W1704316539 hasConceptScore W1704316539C100660578 @default.
- W1704316539 hasConceptScore W1704316539C102993220 @default.
- W1704316539 hasConceptScore W1704316539C107247716 @default.
- W1704316539 hasConceptScore W1704316539C111472728 @default.
- W1704316539 hasConceptScore W1704316539C11413529 @default.
- W1704316539 hasConceptScore W1704316539C126042441 @default.
- W1704316539 hasConceptScore W1704316539C138885662 @default.
- W1704316539 hasConceptScore W1704316539C151730666 @default.
- W1704316539 hasConceptScore W1704316539C15744967 @default.
- W1704316539 hasConceptScore W1704316539C180747234 @default.
- W1704316539 hasConceptScore W1704316539C203659156 @default.
- W1704316539 hasConceptScore W1704316539C25016198 @default.
- W1704316539 hasConceptScore W1704316539C2779343474 @default.
- W1704316539 hasConceptScore W1704316539C33923547 @default.
- W1704316539 hasConceptScore W1704316539C41008148 @default.
- W1704316539 hasConceptScore W1704316539C4777664 @default.
- W1704316539 hasConceptScore W1704316539C76155785 @default.
- W1704316539 hasConceptScore W1704316539C80444323 @default.
- W1704316539 hasConceptScore W1704316539C86803240 @default.
- W1704316539 hasLocation W17043165391 @default.
- W1704316539 hasOpenAccess W1704316539 @default.
- W1704316539 hasPrimaryLocation W17043165391 @default.
- W1704316539 hasRelatedWork W144351148 @default.
- W1704316539 hasRelatedWork W1487958841 @default.
- W1704316539 hasRelatedWork W1500169890 @default.
- W1704316539 hasRelatedWork W1526395246 @default.
- W1704316539 hasRelatedWork W1561490585 @default.
- W1704316539 hasRelatedWork W165460221 @default.
- W1704316539 hasRelatedWork W1986999264 @default.
- W1704316539 hasRelatedWork W1993760875 @default.
- W1704316539 hasRelatedWork W2012581593 @default.
- W1704316539 hasRelatedWork W2015496558 @default.
- W1704316539 hasRelatedWork W2026097436 @default.
- W1704316539 hasRelatedWork W2048963544 @default.
- W1704316539 hasRelatedWork W2052945209 @default.
- W1704316539 hasRelatedWork W2078730256 @default.
- W1704316539 hasRelatedWork W2169925928 @default.
- W1704316539 hasRelatedWork W2188476327 @default.
- W1704316539 hasRelatedWork W2524138223 @default.
- W1704316539 hasRelatedWork W2738031339 @default.
- W1704316539 hasRelatedWork W2884150062 @default.
- W1704316539 hasRelatedWork W2949068336 @default.
- W1704316539 isParatext "false" @default.
- W1704316539 isRetracted "false" @default.
- W1704316539 magId "1704316539" @default.
- W1704316539 workType "article" @default.