FRINK Linked Data Fragments server

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

• W1569740157 endingPage "278" @default.
• W1569740157 startingPage "262" @default.
• W1569740157 abstract "The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighborhood frames with constant domains and we offer a series of new completeness results for salient classical systems of first order modal logic. Among other results we show that it is possible to prove strong completeness results for normal systems without the Barcan Formula (like FOL + K) in terms of neighborhood frames with constant domains. The first order models we present permit the study of many epistemic modalities recently proposed in computer science as well as the development of adequate models for monadic operators of high probability. We conclude by offering a general completeness result for the entire family of first order classical modal logics (encompassing both normal and non-normal systems)." @default.
• W1569740157 created "2016-06-24" @default.
• W1569740157 creator A5030443435 @default.
• W1569740157 creator A5057088377 @default.
• W1569740157 date "2005-06-10" @default.
• W1569740157 modified "2023-09-27" @default.
• W1569740157 title "First-order classical modal logic: applications in logics of knowledge and probability" @default.
• W1569740157 cites W142690627 @default.
• W1569740157 cites W1511902564 @default.
• W1569740157 cites W1512450590 @default.
• W1569740157 cites W1527216005 @default.
• W1569740157 cites W1527588453 @default.
• W1569740157 cites W1570981990 @default.
• W1569740157 cites W1596067335 @default.
• W1569740157 cites W193053345 @default.
• W1569740157 cites W1964567319 @default.
• W1569740157 cites W1966469983 @default.
• W1569740157 cites W1967123052 @default.
• W1569740157 cites W1971025114 @default.
• W1569740157 cites W1991650963 @default.
• W1569740157 cites W2015659496 @default.
• W1569740157 cites W2047923802 @default.
• W1569740157 cites W2048905609 @default.
• W1569740157 cites W2050527500 @default.
• W1569740157 cites W2053836415 @default.
• W1569740157 cites W2067202258 @default.
• W1569740157 cites W2078117620 @default.
• W1569740157 cites W2105420605 @default.
• W1569740157 cites W2109058602 @default.
• W1569740157 cites W2126163471 @default.
• W1569740157 cites W2133645340 @default.
• W1569740157 cites W2146525928 @default.
• W1569740157 cites W2146819619 @default.
• W1569740157 cites W2159753366 @default.
• W1569740157 cites W2163751633 @default.
• W1569740157 cites W2165661406 @default.
• W1569740157 cites W2167907160 @default.
• W1569740157 cites W2333609015 @default.
• W1569740157 cites W2495011300 @default.
• W1569740157 cites W2610670723 @default.
• W1569740157 cites W2999752128 @default.
• W1569740157 cites W62924276 @default.
• W1569740157 cites W289783505 @default.
• W1569740157 hasPublicationYear "2005" @default.
• W1569740157 type Work @default.
• W1569740157 sameAs 1569740157 @default.
• W1569740157 citedByCount "0" @default.
• W1569740157 crossrefType "proceedings-article" @default.
• W1569740157 hasAuthorship W1569740157A5030443435 @default.
• W1569740157 hasAuthorship W1569740157A5057088377 @default.
• W1569740157 hasConcept C102993220 @default.
• W1569740157 hasConcept C107247716 @default.
• W1569740157 hasConcept C11191006 @default.
• W1569740157 hasConcept C114092440 @default.
• W1569740157 hasConcept C120665830 @default.
• W1569740157 hasConcept C121332964 @default.
• W1569740157 hasConcept C134306372 @default.
• W1569740157 hasConcept C144024400 @default.
• W1569740157 hasConcept C154945302 @default.
• W1569740157 hasConcept C17231256 @default.
• W1569740157 hasConcept C185592680 @default.
• W1569740157 hasConcept C188027245 @default.
• W1569740157 hasConcept C192209626 @default.
• W1569740157 hasConcept C199343813 @default.
• W1569740157 hasConcept C199360897 @default.
• W1569740157 hasConcept C203659156 @default.
• W1569740157 hasConcept C27508121 @default.
• W1569740157 hasConcept C2777027219 @default.
• W1569740157 hasConcept C2777686260 @default.
• W1569740157 hasConcept C2779903281 @default.
• W1569740157 hasConcept C2780719617 @default.
• W1569740157 hasConcept C33923547 @default.
• W1569740157 hasConcept C36289849 @default.
• W1569740157 hasConcept C41008148 @default.
• W1569740157 hasConcept C71139939 @default.
• W1569740157 hasConcept C71924100 @default.
• W1569740157 hasConcept C78344899 @default.
• W1569740157 hasConcept C80444323 @default.
• W1569740157 hasConceptScore W1569740157C102993220 @default.
• W1569740157 hasConceptScore W1569740157C107247716 @default.
• W1569740157 hasConceptScore W1569740157C11191006 @default.
• W1569740157 hasConceptScore W1569740157C114092440 @default.
• W1569740157 hasConceptScore W1569740157C120665830 @default.
• W1569740157 hasConceptScore W1569740157C121332964 @default.
• W1569740157 hasConceptScore W1569740157C134306372 @default.
• W1569740157 hasConceptScore W1569740157C144024400 @default.
• W1569740157 hasConceptScore W1569740157C154945302 @default.
• W1569740157 hasConceptScore W1569740157C17231256 @default.
• W1569740157 hasConceptScore W1569740157C185592680 @default.
• W1569740157 hasConceptScore W1569740157C188027245 @default.
• W1569740157 hasConceptScore W1569740157C192209626 @default.
• W1569740157 hasConceptScore W1569740157C199343813 @default.
• W1569740157 hasConceptScore W1569740157C199360897 @default.
• W1569740157 hasConceptScore W1569740157C203659156 @default.
• W1569740157 hasConceptScore W1569740157C27508121 @default.
• W1569740157 hasConceptScore W1569740157C2777027219 @default.
• W1569740157 hasConceptScore W1569740157C2777686260 @default.
• W1569740157 hasConceptScore W1569740157C2779903281 @default.

• next