FRINK Linked Data Fragments server

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

• W2004236838 endingPage "210" @default.
• W2004236838 startingPage "165" @default.
• W2004236838 abstract "In the first part of this paper we introduced products of modal logics and proved basic results on their axiomatisability and the f.m.p. In this continuation paper we prove a stronger result - the product f.m.p. holds for products of modal logics in which some of the modalities are reflexive or serial. This theorem is applied in classical first-order logic, we identify a new Square Fragment (SF) of the classical logic, where the basic predicates are binary and all quantifiers are relativised, and for which we show the f.m.p. in the classical sense. Also we prove that SF not included in Guarded Fragment (and in Packed Fragment) and that it can be embedded into the equational theory of relational algebras." @default.
• W2004236838 created "2016-06-24" @default.
• W2004236838 creator A5060284292 @default.
• W2004236838 date "2000-03-01" @default.
• W2004236838 modified "2023-09-27" @default.
• W2004236838 title "Products of modal logics. Part 2: relativised quantifiers in classical logic" @default.
• W2004236838 cites W143925898 @default.
• W2004236838 cites W1483892218 @default.
• W2004236838 cites W1503647529 @default.
• W2004236838 cites W1549008998 @default.
• W2004236838 cites W1566488688 @default.
• W2004236838 cites W1585815400 @default.
• W2004236838 cites W188634130 @default.
• W2004236838 cites W1949938974 @default.
• W2004236838 cites W1957849079 @default.
• W2004236838 cites W1966911791 @default.
• W2004236838 cites W1968658145 @default.
• W2004236838 cites W1976530497 @default.
• W2004236838 cites W1978169673 @default.
• W2004236838 cites W1988434703 @default.
• W2004236838 cites W1993804761 @default.
• W2004236838 cites W2000571555 @default.
• W2004236838 cites W2006006495 @default.
• W2004236838 cites W2008090818 @default.
• W2004236838 cites W2012917747 @default.
• W2004236838 cites W2033274602 @default.
• W2004236838 cites W2040575807 @default.
• W2004236838 cites W2066083733 @default.
• W2004236838 cites W2073362032 @default.
• W2004236838 cites W2086470346 @default.
• W2004236838 cites W2118324648 @default.
• W2004236838 cites W2126382654 @default.
• W2004236838 cites W2127363472 @default.
• W2004236838 cites W2145465694 @default.
• W2004236838 cites W2152444594 @default.
• W2004236838 cites W2153956925 @default.
• W2004236838 cites W22110506 @default.
• W2004236838 cites W2261579262 @default.
• W2004236838 cites W2328580899 @default.
• W2004236838 cites W2580281811 @default.
• W2004236838 cites W2970205057 @default.
• W2004236838 cites W42015762 @default.
• W2004236838 cites W129686139 @default.
• W2004236838 doi "https://doi.org/10.1093/jigpal/8.2.165" @default.
• W2004236838 hasPublicationYear "2000" @default.
• W2004236838 type Work @default.
• W2004236838 sameAs 2004236838 @default.
• W2004236838 citedByCount "22" @default.
• W2004236838 countsByYear W20042368382012 @default.
• W2004236838 countsByYear W20042368382013 @default.
• W2004236838 countsByYear W20042368382014 @default.
• W2004236838 countsByYear W20042368382016 @default.
• W2004236838 countsByYear W20042368382018 @default.
• W2004236838 countsByYear W20042368382019 @default.
• W2004236838 countsByYear W20042368382022 @default.
• W2004236838 countsByYear W20042368382023 @default.
• W2004236838 crossrefType "journal-article" @default.
• W2004236838 hasAuthorship W2004236838A5060284292 @default.
• W2004236838 hasConcept C102993220 @default.
• W2004236838 hasConcept C11191006 @default.
• W2004236838 hasConcept C114092440 @default.
• W2004236838 hasConcept C11413529 @default.
• W2004236838 hasConcept C118615104 @default.
• W2004236838 hasConcept C121332964 @default.
• W2004236838 hasConcept C136119220 @default.
• W2004236838 hasConcept C154945302 @default.
• W2004236838 hasConcept C165801399 @default.
• W2004236838 hasConcept C172385210 @default.
• W2004236838 hasConcept C185592680 @default.
• W2004236838 hasConcept C188027245 @default.
• W2004236838 hasConcept C1883856 @default.
• W2004236838 hasConcept C199360897 @default.
• W2004236838 hasConcept C202444582 @default.
• W2004236838 hasConcept C2524010 @default.
• W2004236838 hasConcept C27508121 @default.
• W2004236838 hasConcept C2776235265 @default.
• W2004236838 hasConcept C2777796570 @default.
• W2004236838 hasConcept C33203268 @default.
• W2004236838 hasConcept C33923547 @default.
• W2004236838 hasConcept C41008148 @default.
• W2004236838 hasConcept C42011625 @default.
• W2004236838 hasConcept C5263885 @default.
• W2004236838 hasConcept C58166 @default.
• W2004236838 hasConcept C62520636 @default.
• W2004236838 hasConcept C71139939 @default.
• W2004236838 hasConcept C80444323 @default.
• W2004236838 hasConcept C86602344 @default.
• W2004236838 hasConcept C88626702 @default.
• W2004236838 hasConcept C90673727 @default.
• W2004236838 hasConcept C98224912 @default.
• W2004236838 hasConceptScore W2004236838C102993220 @default.
• W2004236838 hasConceptScore W2004236838C11191006 @default.
• W2004236838 hasConceptScore W2004236838C114092440 @default.
• W2004236838 hasConceptScore W2004236838C11413529 @default.
• W2004236838 hasConceptScore W2004236838C118615104 @default.
• W2004236838 hasConceptScore W2004236838C121332964 @default.
• W2004236838 hasConceptScore W2004236838C136119220 @default.
• W2004236838 hasConceptScore W2004236838C154945302 @default.

• next