FRINK Linked Data Fragments server

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

• W4377031878 endingPage "426" @default.
• W4377031878 startingPage "373" @default.
• W4377031878 abstract "Abstract We explain how propositional modal logics can be understood as subfragments of the two-variable fragment of first-order logic, in which the interpretation of a distinguished binary relation is subject to various semantic constraints, in particular, the properties of reflexivity, seriality, symmetry and transitivity. We introduce graded modal logic, which extends propositional modal logics (thus understood) with counting quantifiers. We determine the complexity of the satisfiability problems for modal logics and graded modal logics defined by all possible conjunctions of the semantic constraints just mentioned. We also characterize the expressive power of propositional modal logic and briefly consider some extensions contained within the two-variable fragment of first-order logic." @default.
• W4377031878 created "2023-05-19" @default.
• W4377031878 creator A5033570514 @default.
• W4377031878 date "2023-03-30" @default.
• W4377031878 modified "2023-10-16" @default.
• W4377031878 title "Modalities" @default.
• W4377031878 cites W108850430 @default.
• W4377031878 cites W1479669713 @default.
• W4377031878 cites W1483388050 @default.
• W4377031878 cites W1489303457 @default.
• W4377031878 cites W1504009391 @default.
• W4377031878 cites W1513576223 @default.
• W4377031878 cites W1517995365 @default.
• W4377031878 cites W1524248088 @default.
• W4377031878 cites W1529963680 @default.
• W4377031878 cites W1536964483 @default.
• W4377031878 cites W1579024140 @default.
• W4377031878 cites W1598365163 @default.
• W4377031878 cites W1607550340 @default.
• W4377031878 cites W1608479762 @default.
• W4377031878 cites W1790807402 @default.
• W4377031878 cites W1929404437 @default.
• W4377031878 cites W1973458874 @default.
• W4377031878 cites W1989783863 @default.
• W4377031878 cites W1996417630 @default.
• W4377031878 cites W2071228820 @default.
• W4377031878 cites W2095689360 @default.
• W4377031878 cites W2104762798 @default.
• W4377031878 cites W2121515872 @default.
• W4377031878 cites W2126160338 @default.
• W4377031878 cites W2136823804 @default.
• W4377031878 cites W2143042096 @default.
• W4377031878 cites W2335953814 @default.
• W4377031878 cites W2524446667 @default.
• W4377031878 cites W2838709227 @default.
• W4377031878 cites W2905199121 @default.
• W4377031878 cites W2963620995 @default.
• W4377031878 cites W6480589 @default.
• W4377031878 doi "https://doi.org/10.1093/oso/9780192867964.003.0011" @default.
• W4377031878 hasPublicationYear "2023" @default.
• W4377031878 type Work @default.
• W4377031878 citedByCount "0" @default.
• W4377031878 crossrefType "book-chapter" @default.
• W4377031878 hasAuthorship W4377031878A5033570514 @default.
• W4377031878 hasConcept C102993220 @default.
• W4377031878 hasConcept C11191006 @default.
• W4377031878 hasConcept C114092440 @default.
• W4377031878 hasConcept C114614502 @default.
• W4377031878 hasConcept C118615104 @default.
• W4377031878 hasConcept C121332964 @default.
• W4377031878 hasConcept C14523651 @default.
• W4377031878 hasConcept C154945302 @default.
• W4377031878 hasConcept C165801399 @default.
• W4377031878 hasConcept C168773769 @default.
• W4377031878 hasConcept C172385210 @default.
• W4377031878 hasConcept C173125200 @default.
• W4377031878 hasConcept C185592680 @default.
• W4377031878 hasConcept C188027245 @default.
• W4377031878 hasConcept C1883856 @default.
• W4377031878 hasConcept C191222856 @default.
• W4377031878 hasConcept C191399111 @default.
• W4377031878 hasConcept C192609573 @default.
• W4377031878 hasConcept C203659156 @default.
• W4377031878 hasConcept C27508121 @default.
• W4377031878 hasConcept C2777796570 @default.
• W4377031878 hasConcept C33203268 @default.
• W4377031878 hasConcept C33923547 @default.
• W4377031878 hasConcept C41008148 @default.
• W4377031878 hasConcept C42011625 @default.
• W4377031878 hasConcept C5263885 @default.
• W4377031878 hasConcept C58166 @default.
• W4377031878 hasConcept C62520636 @default.
• W4377031878 hasConcept C65180967 @default.
• W4377031878 hasConcept C71139939 @default.
• W4377031878 hasConcept C78344899 @default.
• W4377031878 hasConcept C80444323 @default.
• W4377031878 hasConcept C86602344 @default.
• W4377031878 hasConcept C98224912 @default.
• W4377031878 hasConceptScore W4377031878C102993220 @default.
• W4377031878 hasConceptScore W4377031878C11191006 @default.
• W4377031878 hasConceptScore W4377031878C114092440 @default.
• W4377031878 hasConceptScore W4377031878C114614502 @default.
• W4377031878 hasConceptScore W4377031878C118615104 @default.
• W4377031878 hasConceptScore W4377031878C121332964 @default.
• W4377031878 hasConceptScore W4377031878C14523651 @default.
• W4377031878 hasConceptScore W4377031878C154945302 @default.
• W4377031878 hasConceptScore W4377031878C165801399 @default.
• W4377031878 hasConceptScore W4377031878C168773769 @default.
• W4377031878 hasConceptScore W4377031878C172385210 @default.
• W4377031878 hasConceptScore W4377031878C173125200 @default.
• W4377031878 hasConceptScore W4377031878C185592680 @default.
• W4377031878 hasConceptScore W4377031878C188027245 @default.
• W4377031878 hasConceptScore W4377031878C1883856 @default.
• W4377031878 hasConceptScore W4377031878C191222856 @default.
• W4377031878 hasConceptScore W4377031878C191399111 @default.
• W4377031878 hasConceptScore W4377031878C192609573 @default.
• W4377031878 hasConceptScore W4377031878C203659156 @default.
• W4377031878 hasConceptScore W4377031878C27508121 @default.

• next