Matches in SemOpenAlex for { <https://semopenalex.org/work/W3093680112> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W3093680112 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.
- W3093680112 created "2020-10-29" @default.
- W3093680112 creator A5055110324 @default.
- W3093680112 creator A5057284366 @default.
- W3093680112 date "2020-01-01" @default.
- W3093680112 modified "2023-09-23" @default.
- W3093680112 title "Public Announcement Logic in HOL" @default.
- W3093680112 cites W1507793072 @default.
- W3093680112 cites W1996404651 @default.
- W3093680112 cites W2009464583 @default.
- W3093680112 cites W2136367100 @default.
- W3093680112 cites W2138366464 @default.
- W3093680112 cites W2142771670 @default.
- W3093680112 cites W2160331299 @default.
- W3093680112 cites W2431262575 @default.
- W3093680112 cites W2791261897 @default.
- W3093680112 cites W2901339989 @default.
- W3093680112 cites W4213255959 @default.
- W3093680112 cites W4250846042 @default.
- W3093680112 cites W4256369010 @default.
- W3093680112 doi "https://doi.org/10.1007/978-3-030-65840-3_14" @default.
- W3093680112 hasPublicationYear "2020" @default.
- W3093680112 type Work @default.
- W3093680112 sameAs 3093680112 @default.
- W3093680112 citedByCount "2" @default.
- W3093680112 countsByYear W30936801122021 @default.
- W3093680112 crossrefType "book-chapter" @default.
- W3093680112 hasAuthorship W3093680112A5055110324 @default.
- W3093680112 hasAuthorship W3093680112A5057284366 @default.
- W3093680112 hasBestOaLocation W30936801122 @default.
- W3093680112 hasConcept C102993220 @default.
- W3093680112 hasConcept C11413529 @default.
- W3093680112 hasConcept C115901376 @default.
- W3093680112 hasConcept C127413603 @default.
- W3093680112 hasConcept C154945302 @default.
- W3093680112 hasConcept C169896238 @default.
- W3093680112 hasConcept C17435882 @default.
- W3093680112 hasConcept C185592680 @default.
- W3093680112 hasConcept C188027245 @default.
- W3093680112 hasConcept C199360897 @default.
- W3093680112 hasConcept C203659156 @default.
- W3093680112 hasConcept C26517878 @default.
- W3093680112 hasConcept C27508121 @default.
- W3093680112 hasConcept C33203268 @default.
- W3093680112 hasConcept C38652104 @default.
- W3093680112 hasConcept C41008148 @default.
- W3093680112 hasConcept C41608201 @default.
- W3093680112 hasConcept C71139939 @default.
- W3093680112 hasConcept C78519656 @default.
- W3093680112 hasConcept C80444323 @default.
- W3093680112 hasConceptScore W3093680112C102993220 @default.
- W3093680112 hasConceptScore W3093680112C11413529 @default.
- W3093680112 hasConceptScore W3093680112C115901376 @default.
- W3093680112 hasConceptScore W3093680112C127413603 @default.
- W3093680112 hasConceptScore W3093680112C154945302 @default.
- W3093680112 hasConceptScore W3093680112C169896238 @default.
- W3093680112 hasConceptScore W3093680112C17435882 @default.
- W3093680112 hasConceptScore W3093680112C185592680 @default.
- W3093680112 hasConceptScore W3093680112C188027245 @default.
- W3093680112 hasConceptScore W3093680112C199360897 @default.
- W3093680112 hasConceptScore W3093680112C203659156 @default.
- W3093680112 hasConceptScore W3093680112C26517878 @default.
- W3093680112 hasConceptScore W3093680112C27508121 @default.
- W3093680112 hasConceptScore W3093680112C33203268 @default.
- W3093680112 hasConceptScore W3093680112C38652104 @default.
- W3093680112 hasConceptScore W3093680112C41008148 @default.
- W3093680112 hasConceptScore W3093680112C41608201 @default.
- W3093680112 hasConceptScore W3093680112C71139939 @default.
- W3093680112 hasConceptScore W3093680112C78519656 @default.
- W3093680112 hasConceptScore W3093680112C80444323 @default.
- W3093680112 hasLocation W30936801121 @default.
- W3093680112 hasLocation W30936801122 @default.
- W3093680112 hasOpenAccess W3093680112 @default.
- W3093680112 hasPrimaryLocation W30936801121 @default.
- W3093680112 hasRelatedWork W10217312 @default.
- W3093680112 hasRelatedWork W11532415 @default.
- W3093680112 hasRelatedWork W13645872 @default.
- W3093680112 hasRelatedWork W14074199 @default.
- W3093680112 hasRelatedWork W14193191 @default.
- W3093680112 hasRelatedWork W14452780 @default.
- W3093680112 hasRelatedWork W15103390 @default.
- W3093680112 hasRelatedWork W1713610 @default.
- W3093680112 hasRelatedWork W78484 @default.
- W3093680112 hasRelatedWork W11850018 @default.
- W3093680112 isParatext "false" @default.
- W3093680112 isRetracted "false" @default.
- W3093680112 magId "3093680112" @default.
- W3093680112 workType "book-chapter" @default.