Matches in SemOpenAlex for { <https://semopenalex.org/work/W1588841227> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1588841227 endingPage "222" @default.
- W1588841227 startingPage "202" @default.
- W1588841227 abstract "We study monotonic and non-monotonic Logics of Knowledge, giving decision procedures and completeness results. In particular we develop a model theory for a non-monotonic Logic of Knowledge and show that it corresponds exactly to normal applications of a non-monotonic rule of inference due to Mccarthy." @default.
- W1588841227 created "2016-06-24" @default.
- W1588841227 creator A5061360551 @default.
- W1588841227 date "1984-01-01" @default.
- W1588841227 modified "2023-09-27" @default.
- W1588841227 title "Logics of knowledge, games and dynamic logic" @default.
- W1588841227 cites W1560681040 @default.
- W1588841227 cites W1988903622 @default.
- W1588841227 cites W1996347293 @default.
- W1588841227 cites W2009844825 @default.
- W1588841227 cites W2049683669 @default.
- W1588841227 cites W2060688311 @default.
- W1588841227 cites W2066949643 @default.
- W1588841227 cites W2088135982 @default.
- W1588841227 cites W2105486835 @default.
- W1588841227 doi "https://doi.org/10.1007/3-540-13883-8_74" @default.
- W1588841227 hasPublicationYear "1984" @default.
- W1588841227 type Work @default.
- W1588841227 sameAs 1588841227 @default.
- W1588841227 citedByCount "13" @default.
- W1588841227 crossrefType "book-chapter" @default.
- W1588841227 hasAuthorship W1588841227A5061360551 @default.
- W1588841227 hasConcept C11413529 @default.
- W1588841227 hasConcept C128838566 @default.
- W1588841227 hasConcept C134306372 @default.
- W1588841227 hasConcept C154945302 @default.
- W1588841227 hasConcept C159032336 @default.
- W1588841227 hasConcept C17231256 @default.
- W1588841227 hasConcept C2776214188 @default.
- W1588841227 hasConcept C2987117450 @default.
- W1588841227 hasConcept C33923547 @default.
- W1588841227 hasConcept C3746660 @default.
- W1588841227 hasConcept C41008148 @default.
- W1588841227 hasConcept C72169020 @default.
- W1588841227 hasConcept C80444323 @default.
- W1588841227 hasConceptScore W1588841227C11413529 @default.
- W1588841227 hasConceptScore W1588841227C128838566 @default.
- W1588841227 hasConceptScore W1588841227C134306372 @default.
- W1588841227 hasConceptScore W1588841227C154945302 @default.
- W1588841227 hasConceptScore W1588841227C159032336 @default.
- W1588841227 hasConceptScore W1588841227C17231256 @default.
- W1588841227 hasConceptScore W1588841227C2776214188 @default.
- W1588841227 hasConceptScore W1588841227C2987117450 @default.
- W1588841227 hasConceptScore W1588841227C33923547 @default.
- W1588841227 hasConceptScore W1588841227C3746660 @default.
- W1588841227 hasConceptScore W1588841227C41008148 @default.
- W1588841227 hasConceptScore W1588841227C72169020 @default.
- W1588841227 hasConceptScore W1588841227C80444323 @default.
- W1588841227 hasLocation W15888412271 @default.
- W1588841227 hasOpenAccess W1588841227 @default.
- W1588841227 hasPrimaryLocation W15888412271 @default.
- W1588841227 hasRelatedWork W1487831734 @default.
- W1588841227 hasRelatedWork W1542582773 @default.
- W1588841227 hasRelatedWork W1585413685 @default.
- W1588841227 hasRelatedWork W1597481850 @default.
- W1588841227 hasRelatedWork W1600159979 @default.
- W1588841227 hasRelatedWork W1654365180 @default.
- W1588841227 hasRelatedWork W1785611875 @default.
- W1588841227 hasRelatedWork W1955819101 @default.
- W1588841227 hasRelatedWork W1993507467 @default.
- W1588841227 hasRelatedWork W2018704349 @default.
- W1588841227 hasRelatedWork W2052990370 @default.
- W1588841227 hasRelatedWork W2062654161 @default.
- W1588841227 hasRelatedWork W2088135982 @default.
- W1588841227 hasRelatedWork W2115995803 @default.
- W1588841227 hasRelatedWork W2148020453 @default.
- W1588841227 hasRelatedWork W2155430662 @default.
- W1588841227 hasRelatedWork W2378751791 @default.
- W1588841227 hasRelatedWork W2383286503 @default.
- W1588841227 hasRelatedWork W5642659 @default.
- W1588841227 hasRelatedWork W99681929 @default.
- W1588841227 isParatext "false" @default.
- W1588841227 isRetracted "false" @default.
- W1588841227 magId "1588841227" @default.
- W1588841227 workType "book-chapter" @default.