Matches in SemOpenAlex for { <https://semopenalex.org/work/W2899686601> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2899686601 endingPage "79" @default.
- W2899686601 startingPage "67" @default.
- W2899686601 abstract "In this paper, we develop a framework for obtaining completeness results for extensions of modal logics. A modal language is extended by fresh modalities, which are then specified using definitions formulated in the original logic. When adding the modal definitions to the axiom system, completeness of the extended logic is guaranteed by the main result of the paper. We demonstrate the technique by applying it to extensions of the modal logic S5." @default.
- W2899686601 created "2018-11-16" @default.
- W2899686601 creator A5033965949 @default.
- W2899686601 creator A5059385791 @default.
- W2899686601 date "2018-01-01" @default.
- W2899686601 modified "2023-09-23" @default.
- W2899686601 title "Completeness by Modal Definitions" @default.
- W2899686601 cites W102788636 @default.
- W2899686601 cites W1527720545 @default.
- W2899686601 cites W2048654653 @default.
- W2899686601 cites W2050096307 @default.
- W2899686601 cites W2087237127 @default.
- W2899686601 cites W2128206470 @default.
- W2899686601 cites W2144185328 @default.
- W2899686601 cites W2159131252 @default.
- W2899686601 cites W4211144022 @default.
- W2899686601 cites W83558678 @default.
- W2899686601 doi "https://doi.org/10.1007/978-3-030-03928-8_6" @default.
- W2899686601 hasPublicationYear "2018" @default.
- W2899686601 type Work @default.
- W2899686601 sameAs 2899686601 @default.
- W2899686601 citedByCount "0" @default.
- W2899686601 crossrefType "book-chapter" @default.
- W2899686601 hasAuthorship W2899686601A5033965949 @default.
- W2899686601 hasAuthorship W2899686601A5059385791 @default.
- W2899686601 hasConcept C134306372 @default.
- W2899686601 hasConcept C17231256 @default.
- W2899686601 hasConcept C185592680 @default.
- W2899686601 hasConcept C188027245 @default.
- W2899686601 hasConcept C199343813 @default.
- W2899686601 hasConcept C199360897 @default.
- W2899686601 hasConcept C2777686260 @default.
- W2899686601 hasConcept C33923547 @default.
- W2899686601 hasConcept C41008148 @default.
- W2899686601 hasConcept C71139939 @default.
- W2899686601 hasConcept C71924100 @default.
- W2899686601 hasConceptScore W2899686601C134306372 @default.
- W2899686601 hasConceptScore W2899686601C17231256 @default.
- W2899686601 hasConceptScore W2899686601C185592680 @default.
- W2899686601 hasConceptScore W2899686601C188027245 @default.
- W2899686601 hasConceptScore W2899686601C199343813 @default.
- W2899686601 hasConceptScore W2899686601C199360897 @default.
- W2899686601 hasConceptScore W2899686601C2777686260 @default.
- W2899686601 hasConceptScore W2899686601C33923547 @default.
- W2899686601 hasConceptScore W2899686601C41008148 @default.
- W2899686601 hasConceptScore W2899686601C71139939 @default.
- W2899686601 hasConceptScore W2899686601C71924100 @default.
- W2899686601 hasLocation W28996866011 @default.
- W2899686601 hasOpenAccess W2899686601 @default.
- W2899686601 hasPrimaryLocation W28996866011 @default.
- W2899686601 hasRelatedWork W1652311832 @default.
- W2899686601 hasRelatedWork W1896053542 @default.
- W2899686601 hasRelatedWork W2054834413 @default.
- W2899686601 hasRelatedWork W2135396778 @default.
- W2899686601 hasRelatedWork W2166247150 @default.
- W2899686601 hasRelatedWork W2280944 @default.
- W2899686601 hasRelatedWork W2462453872 @default.
- W2899686601 hasRelatedWork W2750425446 @default.
- W2899686601 hasRelatedWork W4243252198 @default.
- W2899686601 hasRelatedWork W57014102 @default.
- W2899686601 isParatext "false" @default.
- W2899686601 isRetracted "false" @default.
- W2899686601 magId "2899686601" @default.
- W2899686601 workType "book-chapter" @default.