Matches in SemOpenAlex for { <https://semopenalex.org/work/W2156434636> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2156434636 abstract "We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic reset operator defined on the intersection between epistemic and temporal relations. Additionally we show the logic has the finite model property, hence it is decidable." @default.
- W2156434636 created "2016-06-24" @default.
- W2156434636 creator A5015045050 @default.
- W2156434636 creator A5048497332 @default.
- W2156434636 date "2007-05-14" @default.
- W2156434636 modified "2023-09-27" @default.
- W2156434636 title "A temporal epistemic logic with a reset operation" @default.
- W2156434636 cites W1568323880 @default.
- W2156434636 cites W1590315663 @default.
- W2156434636 cites W181848957 @default.
- W2156434636 cites W1969384890 @default.
- W2156434636 cites W1976562500 @default.
- W2156434636 cites W2024664992 @default.
- W2156434636 cites W2024819896 @default.
- W2156434636 cites W2067441543 @default.
- W2156434636 cites W2069709605 @default.
- W2156434636 cites W2076073997 @default.
- W2156434636 cites W2088135026 @default.
- W2156434636 cites W2099563292 @default.
- W2156434636 doi "https://doi.org/10.1145/1329125.1329302" @default.
- W2156434636 hasPublicationYear "2007" @default.
- W2156434636 type Work @default.
- W2156434636 sameAs 2156434636 @default.
- W2156434636 citedByCount "0" @default.
- W2156434636 crossrefType "proceedings-article" @default.
- W2156434636 hasAuthorship W2156434636A5015045050 @default.
- W2156434636 hasAuthorship W2156434636A5048497332 @default.
- W2156434636 hasBestOaLocation W21564346362 @default.
- W2156434636 hasConcept C10138342 @default.
- W2156434636 hasConcept C102993220 @default.
- W2156434636 hasConcept C107247716 @default.
- W2156434636 hasConcept C144133560 @default.
- W2156434636 hasConcept C203659156 @default.
- W2156434636 hasConcept C25016198 @default.
- W2156434636 hasConcept C2779795794 @default.
- W2156434636 hasConcept C41008148 @default.
- W2156434636 hasConcept C80444323 @default.
- W2156434636 hasConceptScore W2156434636C10138342 @default.
- W2156434636 hasConceptScore W2156434636C102993220 @default.
- W2156434636 hasConceptScore W2156434636C107247716 @default.
- W2156434636 hasConceptScore W2156434636C144133560 @default.
- W2156434636 hasConceptScore W2156434636C203659156 @default.
- W2156434636 hasConceptScore W2156434636C25016198 @default.
- W2156434636 hasConceptScore W2156434636C2779795794 @default.
- W2156434636 hasConceptScore W2156434636C41008148 @default.
- W2156434636 hasConceptScore W2156434636C80444323 @default.
- W2156434636 hasFunder F4320334627 @default.
- W2156434636 hasLocation W21564346361 @default.
- W2156434636 hasLocation W21564346362 @default.
- W2156434636 hasOpenAccess W2156434636 @default.
- W2156434636 hasPrimaryLocation W21564346361 @default.
- W2156434636 hasRelatedWork W15233957 @default.
- W2156434636 hasRelatedWork W2098403756 @default.
- W2156434636 hasRelatedWork W2155586249 @default.
- W2156434636 hasRelatedWork W2156434636 @default.
- W2156434636 hasRelatedWork W2159094006 @default.
- W2156434636 hasRelatedWork W2174970731 @default.
- W2156434636 hasRelatedWork W2386534311 @default.
- W2156434636 hasRelatedWork W2963518579 @default.
- W2156434636 hasRelatedWork W592475739 @default.
- W2156434636 hasRelatedWork W2133083941 @default.
- W2156434636 isParatext "false" @default.
- W2156434636 isRetracted "false" @default.
- W2156434636 magId "2156434636" @default.
- W2156434636 workType "article" @default.