FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3090881033> ?p ?o ?g. }

• W3090881033 abstract "A shallow semantical embedding for public announcement logic with relativized common knowledge is presented. This embedding enables the first-time automation of this logic with off-the-shelf theorem provers for classical higher-order logic. It is demonstrated (i) how meta-theoretical studies can be automated this way, and (ii) how non-trivial reasoning in the target logic (public announcement logic), required e.g. to obtain a convincing encoding and automation of the wise men puzzle, can be realized. Key to the presented semantical embedding -- in contrast, e.g., to related work on the semantical embedding of normal modal logics -- is that evaluation domains are modeled explicitly and treated as additional parameter in the encodings of the constituents of the embedded target logic, while they were previously implicitly shared between meta logic and target logic." @default.
• W3090881033 created "2020-10-08" @default.
• W3090881033 creator A5055110324 @default.
• W3090881033 creator A5057284366 @default.
• W3090881033 date "2020-10-02" @default.
• W3090881033 modified "2023-09-27" @default.
• W3090881033 title "Public Announcement Logic in HOL" @default.
• W3090881033 cites W1507793072 @default.
• W3090881033 cites W1559779605 @default.
• W3090881033 cites W1996404651 @default.
• W3090881033 cites W2022589543 @default.
• W3090881033 cites W2096959337 @default.
• W3090881033 cites W2106192381 @default.
• W3090881033 cites W2114804254 @default.
• W3090881033 cites W2120613606 @default.
• W3090881033 cites W2131176046 @default.
• W3090881033 cites W2135329675 @default.
• W3090881033 cites W2136367100 @default.
• W3090881033 cites W2138366464 @default.
• W3090881033 cites W2142771670 @default.
• W3090881033 cites W2146874478 @default.
• W3090881033 cites W2153157844 @default.
• W3090881033 cites W2160331299 @default.
• W3090881033 cites W2216530300 @default.
• W3090881033 cites W2431262575 @default.
• W3090881033 cites W2607520928 @default.
• W3090881033 cites W2791261897 @default.
• W3090881033 cites W2901339989 @default.
• W3090881033 cites W2923254670 @default.
• W3090881033 cites W2946646609 @default.
• W3090881033 cites W2983820811 @default.
• W3090881033 hasPublicationYear "2020" @default.
• W3090881033 type Work @default.
• W3090881033 sameAs 3090881033 @default.
• W3090881033 citedByCount "0" @default.
• W3090881033 crossrefType "posted-content" @default.
• W3090881033 hasAuthorship W3090881033A5055110324 @default.
• W3090881033 hasAuthorship W3090881033A5057284366 @default.
• W3090881033 hasConcept C102993220 @default.
• W3090881033 hasConcept C115901376 @default.
• W3090881033 hasConcept C127413603 @default.
• W3090881033 hasConcept C154945302 @default.
• W3090881033 hasConcept C169896238 @default.
• W3090881033 hasConcept C17435882 @default.
• W3090881033 hasConcept C185592680 @default.
• W3090881033 hasConcept C188027245 @default.
• W3090881033 hasConcept C199360897 @default.
• W3090881033 hasConcept C203659156 @default.
• W3090881033 hasConcept C26517878 @default.
• W3090881033 hasConcept C27508121 @default.
• W3090881033 hasConcept C33203268 @default.
• W3090881033 hasConcept C38652104 @default.
• W3090881033 hasConcept C41008148 @default.
• W3090881033 hasConcept C41608201 @default.
• W3090881033 hasConcept C71139939 @default.
• W3090881033 hasConcept C78519656 @default.
• W3090881033 hasConcept C80444323 @default.
• W3090881033 hasConceptScore W3090881033C102993220 @default.
• W3090881033 hasConceptScore W3090881033C115901376 @default.
• W3090881033 hasConceptScore W3090881033C127413603 @default.
• W3090881033 hasConceptScore W3090881033C154945302 @default.
• W3090881033 hasConceptScore W3090881033C169896238 @default.
• W3090881033 hasConceptScore W3090881033C17435882 @default.
• W3090881033 hasConceptScore W3090881033C185592680 @default.
• W3090881033 hasConceptScore W3090881033C188027245 @default.
• W3090881033 hasConceptScore W3090881033C199360897 @default.
• W3090881033 hasConceptScore W3090881033C203659156 @default.
• W3090881033 hasConceptScore W3090881033C26517878 @default.
• W3090881033 hasConceptScore W3090881033C27508121 @default.
• W3090881033 hasConceptScore W3090881033C33203268 @default.
• W3090881033 hasConceptScore W3090881033C38652104 @default.
• W3090881033 hasConceptScore W3090881033C41008148 @default.
• W3090881033 hasConceptScore W3090881033C41608201 @default.
• W3090881033 hasConceptScore W3090881033C71139939 @default.
• W3090881033 hasConceptScore W3090881033C78519656 @default.
• W3090881033 hasConceptScore W3090881033C80444323 @default.
• W3090881033 hasLocation W30908810331 @default.
• W3090881033 hasOpenAccess W3090881033 @default.
• W3090881033 hasPrimaryLocation W30908810331 @default.
• W3090881033 hasRelatedWork W1499632220 @default.
• W3090881033 hasRelatedWork W1520081795 @default.
• W3090881033 hasRelatedWork W1642492356 @default.
• W3090881033 hasRelatedWork W1678615379 @default.
• W3090881033 hasRelatedWork W1890366779 @default.
• W3090881033 hasRelatedWork W1986855801 @default.
• W3090881033 hasRelatedWork W2017637575 @default.
• W3090881033 hasRelatedWork W2043198854 @default.
• W3090881033 hasRelatedWork W2063302817 @default.
• W3090881033 hasRelatedWork W2074767926 @default.
• W3090881033 hasRelatedWork W2112397136 @default.
• W3090881033 hasRelatedWork W2143819373 @default.
• W3090881033 hasRelatedWork W2161649341 @default.
• W3090881033 hasRelatedWork W2186543779 @default.
• W3090881033 hasRelatedWork W2783623713 @default.
• W3090881033 hasRelatedWork W3037272170 @default.
• W3090881033 hasRelatedWork W3100069569 @default.
• W3090881033 hasRelatedWork W3102235081 @default.
• W3090881033 hasRelatedWork W3118620840 @default.
• W3090881033 hasRelatedWork W2462971599 @default.
• W3090881033 isParatext "false" @default.

• next