FRINK Linked Data Fragments server

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

• W2994698876 endingPage "465" @default.
• W2994698876 startingPage "455" @default.
• W2994698876 abstract "Propositional quantifiers are added to a propositional modal language with two modal operators. The resulting language is interpreted over so-called products of Kripke frames whose accessibility relations are equivalence relations, letting propositional quantifiers range over the powerset of the set of worlds of the frame. It is first shown that full second-order logic can be recursively embedded in the resulting logic, which entails that the two logics are recursively isomorphic. The embedding is then extended to all sublogics containing the logic of so-called fusions of frames with equivalence relations. This generalizes a result due to Antonelli and Thomason, who construct such an embedding for the logic of such fusions." @default.
• W2994698876 created "2019-12-26" @default.
• W2994698876 creator A5087189509 @default.
• W2994698876 date "2018-07-27" @default.
• W2994698876 modified "2023-09-27" @default.
• W2994698876 title "Propositional Quantification in Bimodal $$mathbf {S5}$$S5" @default.
• W2994698876 cites W1489060978 @default.
• W2994698876 cites W1526348167 @default.
• W2994698876 cites W1771944222 @default.
• W2994698876 cites W1966911791 @default.
• W2994698876 cites W1994385438 @default.
• W2994698876 cites W2005451612 @default.
• W2994698876 cites W2006418637 @default.
• W2994698876 cites W2007901899 @default.
• W2994698876 cites W2074092244 @default.
• W2994698876 cites W2074944668 @default.
• W2994698876 cites W2118324648 @default.
• W2994698876 cites W2124207901 @default.
• W2994698876 cites W2155581733 @default.
• W2994698876 cites W4247714810 @default.
• W2994698876 doi "https://doi.org/10.1007/s10670-018-0035-3" @default.
• W2994698876 hasPublicationYear "2018" @default.
• W2994698876 type Work @default.
• W2994698876 sameAs 2994698876 @default.
• W2994698876 citedByCount "5" @default.
• W2994698876 countsByYear W29946988762019 @default.
• W2994698876 countsByYear W29946988762021 @default.
• W2994698876 countsByYear W29946988762022 @default.
• W2994698876 crossrefType "journal-article" @default.
• W2994698876 hasAuthorship W2994698876A5087189509 @default.
• W2994698876 hasBestOaLocation W29946988762 @default.
• W2994698876 hasConcept C102993220 @default.
• W2994698876 hasConcept C110039528 @default.
• W2994698876 hasConcept C11191006 @default.
• W2994698876 hasConcept C114092440 @default.
• W2994698876 hasConcept C118615104 @default.
• W2994698876 hasConcept C14523651 @default.
• W2994698876 hasConcept C154945302 @default.
• W2994698876 hasConcept C160131679 @default.
• W2994698876 hasConcept C173125200 @default.
• W2994698876 hasConcept C178421362 @default.
• W2994698876 hasConcept C185592680 @default.
• W2994698876 hasConcept C188027245 @default.
• W2994698876 hasConcept C191222856 @default.
• W2994698876 hasConcept C203659156 @default.
• W2994698876 hasConcept C27508121 @default.
• W2994698876 hasConcept C2780069185 @default.
• W2994698876 hasConcept C33203268 @default.
• W2994698876 hasConcept C33923547 @default.
• W2994698876 hasConcept C3845977 @default.
• W2994698876 hasConcept C41008148 @default.
• W2994698876 hasConcept C41608201 @default.
• W2994698876 hasConcept C42011625 @default.
• W2994698876 hasConcept C5263885 @default.
• W2994698876 hasConcept C58166 @default.
• W2994698876 hasConcept C69562738 @default.
• W2994698876 hasConcept C70846408 @default.
• W2994698876 hasConcept C71139939 @default.
• W2994698876 hasConcept C80444323 @default.
• W2994698876 hasConcept C86602344 @default.
• W2994698876 hasConceptScore W2994698876C102993220 @default.
• W2994698876 hasConceptScore W2994698876C110039528 @default.
• W2994698876 hasConceptScore W2994698876C11191006 @default.
• W2994698876 hasConceptScore W2994698876C114092440 @default.
• W2994698876 hasConceptScore W2994698876C118615104 @default.
• W2994698876 hasConceptScore W2994698876C14523651 @default.
• W2994698876 hasConceptScore W2994698876C154945302 @default.
• W2994698876 hasConceptScore W2994698876C160131679 @default.
• W2994698876 hasConceptScore W2994698876C173125200 @default.
• W2994698876 hasConceptScore W2994698876C178421362 @default.
• W2994698876 hasConceptScore W2994698876C185592680 @default.
• W2994698876 hasConceptScore W2994698876C188027245 @default.
• W2994698876 hasConceptScore W2994698876C191222856 @default.
• W2994698876 hasConceptScore W2994698876C203659156 @default.
• W2994698876 hasConceptScore W2994698876C27508121 @default.
• W2994698876 hasConceptScore W2994698876C2780069185 @default.
• W2994698876 hasConceptScore W2994698876C33203268 @default.
• W2994698876 hasConceptScore W2994698876C33923547 @default.
• W2994698876 hasConceptScore W2994698876C3845977 @default.
• W2994698876 hasConceptScore W2994698876C41008148 @default.
• W2994698876 hasConceptScore W2994698876C41608201 @default.
• W2994698876 hasConceptScore W2994698876C42011625 @default.
• W2994698876 hasConceptScore W2994698876C5263885 @default.
• W2994698876 hasConceptScore W2994698876C58166 @default.
• W2994698876 hasConceptScore W2994698876C69562738 @default.
• W2994698876 hasConceptScore W2994698876C70846408 @default.
• W2994698876 hasConceptScore W2994698876C71139939 @default.
• W2994698876 hasConceptScore W2994698876C80444323 @default.
• W2994698876 hasConceptScore W2994698876C86602344 @default.
• W2994698876 hasIssue "2" @default.
• W2994698876 hasLocation W29946988761 @default.
• W2994698876 hasLocation W29946988762 @default.
• W2994698876 hasOpenAccess W2994698876 @default.
• W2994698876 hasPrimaryLocation W29946988761 @default.
• W2994698876 hasRelatedWork W2029982687 @default.
• W2994698876 hasRelatedWork W2043768724 @default.
• W2994698876 hasRelatedWork W2139733437 @default.
• W2994698876 hasRelatedWork W2403418519 @default.

• next