FRINK Linked Data Fragments server

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

• W2149665680 abstract "We present a new matrix characterization of validity for a fam- ily of propositional multimodal logics with interacting modalities. Unlike previous matrix characterizations for modal logics, which could only cope with a few well-behaved unimodal logics, our formulation is not based on prefixed tableaus in the style of Fitting, but has a more direct relation- ship with the semantics of the logics and their defining frame conditions. The resulting formalism uniformly and elegantly characterizes all 15 basic unimodal logics, as well as a number of multimodal logics with interacting modalities." @default.
• W2149665680 created "2016-06-24" @default.
• W2149665680 creator A5044908798 @default.
• W2149665680 creator A5091208892 @default.
• W2149665680 date "2008-01-01" @default.
• W2149665680 modified "2023-09-27" @default.
• W2149665680 title "A Matrix Characterization of Validity for Multimodal Logics" @default.
• W2149665680 cites W10343000 @default.
• W2149665680 cites W122683112 @default.
• W2149665680 cites W1483339275 @default.
• W2149665680 cites W1486384786 @default.
• W2149665680 cites W1488538795 @default.
• W2149665680 cites W1489312957 @default.
• W2149665680 cites W1536217426 @default.
• W2149665680 cites W1539123436 @default.
• W2149665680 cites W1544579104 @default.
• W2149665680 cites W1555563750 @default.
• W2149665680 cites W1567530468 @default.
• W2149665680 cites W1570374618 @default.
• W2149665680 cites W1580394602 @default.
• W2149665680 cites W1596067335 @default.
• W2149665680 cites W1678412398 @default.
• W2149665680 cites W1697494518 @default.
• W2149665680 cites W176661328 @default.
• W2149665680 cites W1968605571 @default.
• W2149665680 cites W1971616901 @default.
• W2149665680 cites W1971716005 @default.
• W2149665680 cites W1974866079 @default.
• W2149665680 cites W1978260344 @default.
• W2149665680 cites W1988824860 @default.
• W2149665680 cites W1991650963 @default.
• W2149665680 cites W2000716540 @default.
• W2149665680 cites W2003819287 @default.
• W2149665680 cites W2010939537 @default.
• W2149665680 cites W2018221833 @default.
• W2149665680 cites W2020852080 @default.
• W2149665680 cites W2023132547 @default.
• W2149665680 cites W2029408547 @default.
• W2149665680 cites W2032206951 @default.
• W2149665680 cites W2039977878 @default.
• W2149665680 cites W2062485819 @default.
• W2149665680 cites W2091941856 @default.
• W2149665680 cites W2115499179 @default.
• W2149665680 cites W2124044295 @default.
• W2149665680 cites W2143326093 @default.
• W2149665680 cites W2146819619 @default.
• W2149665680 cites W2151355005 @default.
• W2149665680 cites W2155581733 @default.
• W2149665680 cites W2159525276 @default.
• W2149665680 cites W2163751633 @default.
• W2149665680 cites W2336123333 @default.
• W2149665680 cites W2610670723 @default.
• W2149665680 cites W57567293 @default.
• W2149665680 cites W3202227343 @default.
• W2149665680 hasPublicationYear "2008" @default.
• W2149665680 type Work @default.
• W2149665680 sameAs 2149665680 @default.
• W2149665680 citedByCount "0" @default.
• W2149665680 crossrefType "journal-article" @default.
• W2149665680 hasAuthorship W2149665680A5044908798 @default.
• W2149665680 hasAuthorship W2149665680A5091208892 @default.
• W2149665680 hasConcept C102993220 @default.
• W2149665680 hasConcept C11191006 @default.
• W2149665680 hasConcept C114092440 @default.
• W2149665680 hasConcept C136119220 @default.
• W2149665680 hasConcept C142362112 @default.
• W2149665680 hasConcept C153349607 @default.
• W2149665680 hasConcept C154945302 @default.
• W2149665680 hasConcept C171250308 @default.
• W2149665680 hasConcept C184337299 @default.
• W2149665680 hasConcept C185592680 @default.
• W2149665680 hasConcept C188027245 @default.
• W2149665680 hasConcept C1883856 @default.
• W2149665680 hasConcept C192562407 @default.
• W2149665680 hasConcept C199360897 @default.
• W2149665680 hasConcept C202444582 @default.
• W2149665680 hasConcept C203659156 @default.
• W2149665680 hasConcept C27508121 @default.
• W2149665680 hasConcept C2780841128 @default.
• W2149665680 hasConcept C33203268 @default.
• W2149665680 hasConcept C33923547 @default.
• W2149665680 hasConcept C41008148 @default.
• W2149665680 hasConcept C42011625 @default.
• W2149665680 hasConcept C5263885 @default.
• W2149665680 hasConcept C558565934 @default.
• W2149665680 hasConcept C58166 @default.
• W2149665680 hasConcept C71139939 @default.
• W2149665680 hasConcept C73301696 @default.
• W2149665680 hasConcept C86602344 @default.
• W2149665680 hasConcept C98224912 @default.
• W2149665680 hasConceptScore W2149665680C102993220 @default.
• W2149665680 hasConceptScore W2149665680C11191006 @default.
• W2149665680 hasConceptScore W2149665680C114092440 @default.
• W2149665680 hasConceptScore W2149665680C136119220 @default.
• W2149665680 hasConceptScore W2149665680C142362112 @default.
• W2149665680 hasConceptScore W2149665680C153349607 @default.
• W2149665680 hasConceptScore W2149665680C154945302 @default.
• W2149665680 hasConceptScore W2149665680C171250308 @default.
• W2149665680 hasConceptScore W2149665680C184337299 @default.
• W2149665680 hasConceptScore W2149665680C185592680 @default.

• next