Matches in SemOpenAlex for { <https://semopenalex.org/work/W2048154108> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2048154108 endingPage "217" @default.
- W2048154108 startingPage "180" @default.
- W2048154108 abstract "We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae are elementary canonical and thus extend Sahlqvist’s theorem over them. In particular, we give a simple example of an inductive formula which is not frame-equivalent to any Sahlqvist formula. Then, after a deeper analysis of the inductive formulae as set-theoretic operators in descriptive and Kripke frames, we establish a somewhat stronger model-theoretic characterization of these formulae in terms of a suitable equivalence to syntactically simpler formulae (‘primitive regular formulae’) in the extension of the language with reversive modalities. Lastly, we study and characterize the elementary canonical formulae in reversive languages with nominals, where the relevant notion of persistence is with respect to discrete frames." @default.
- W2048154108 created "2016-06-24" @default.
- W2048154108 creator A5066665696 @default.
- W2048154108 creator A5076246494 @default.
- W2048154108 date "2006-08-01" @default.
- W2048154108 modified "2023-10-04" @default.
- W2048154108 title "Elementary canonical formulae: extending Sahlqvist’s theorem" @default.
- W2048154108 cites W1517654233 @default.
- W2048154108 cites W1533515579 @default.
- W2048154108 cites W1536469384 @default.
- W2048154108 cites W1539618905 @default.
- W2048154108 cites W1547536896 @default.
- W2048154108 cites W1552559776 @default.
- W2048154108 cites W1981936535 @default.
- W2048154108 cites W1985302977 @default.
- W2048154108 cites W1991748341 @default.
- W2048154108 cites W1998532035 @default.
- W2048154108 cites W2017093277 @default.
- W2048154108 cites W2019891739 @default.
- W2048154108 cites W2032543872 @default.
- W2048154108 cites W2033136385 @default.
- W2048154108 cites W2037711229 @default.
- W2048154108 cites W2061003582 @default.
- W2048154108 cites W2071467583 @default.
- W2048154108 cites W2111082593 @default.
- W2048154108 cites W2144612483 @default.
- W2048154108 cites W2315064349 @default.
- W2048154108 cites W2950450725 @default.
- W2048154108 doi "https://doi.org/10.1016/j.apal.2005.10.005" @default.
- W2048154108 hasPublicationYear "2006" @default.
- W2048154108 type Work @default.
- W2048154108 sameAs 2048154108 @default.
- W2048154108 citedByCount "72" @default.
- W2048154108 countsByYear W20481541082012 @default.
- W2048154108 countsByYear W20481541082013 @default.
- W2048154108 countsByYear W20481541082014 @default.
- W2048154108 countsByYear W20481541082015 @default.
- W2048154108 countsByYear W20481541082016 @default.
- W2048154108 countsByYear W20481541082017 @default.
- W2048154108 countsByYear W20481541082018 @default.
- W2048154108 countsByYear W20481541082019 @default.
- W2048154108 countsByYear W20481541082020 @default.
- W2048154108 countsByYear W20481541082021 @default.
- W2048154108 countsByYear W20481541082022 @default.
- W2048154108 countsByYear W20481541082023 @default.
- W2048154108 crossrefType "journal-article" @default.
- W2048154108 hasAuthorship W2048154108A5066665696 @default.
- W2048154108 hasAuthorship W2048154108A5076246494 @default.
- W2048154108 hasBestOaLocation W20481541082 @default.
- W2048154108 hasConcept C111472728 @default.
- W2048154108 hasConcept C118615104 @default.
- W2048154108 hasConcept C136119220 @default.
- W2048154108 hasConcept C138885662 @default.
- W2048154108 hasConcept C154945302 @default.
- W2048154108 hasConcept C202444582 @default.
- W2048154108 hasConcept C204707403 @default.
- W2048154108 hasConcept C2777212361 @default.
- W2048154108 hasConcept C2780069185 @default.
- W2048154108 hasConcept C2780586882 @default.
- W2048154108 hasConcept C33923547 @default.
- W2048154108 hasConcept C41008148 @default.
- W2048154108 hasConceptScore W2048154108C111472728 @default.
- W2048154108 hasConceptScore W2048154108C118615104 @default.
- W2048154108 hasConceptScore W2048154108C136119220 @default.
- W2048154108 hasConceptScore W2048154108C138885662 @default.
- W2048154108 hasConceptScore W2048154108C154945302 @default.
- W2048154108 hasConceptScore W2048154108C202444582 @default.
- W2048154108 hasConceptScore W2048154108C204707403 @default.
- W2048154108 hasConceptScore W2048154108C2777212361 @default.
- W2048154108 hasConceptScore W2048154108C2780069185 @default.
- W2048154108 hasConceptScore W2048154108C2780586882 @default.
- W2048154108 hasConceptScore W2048154108C33923547 @default.
- W2048154108 hasConceptScore W2048154108C41008148 @default.
- W2048154108 hasIssue "1-2" @default.
- W2048154108 hasLocation W20481541081 @default.
- W2048154108 hasLocation W20481541082 @default.
- W2048154108 hasOpenAccess W2048154108 @default.
- W2048154108 hasPrimaryLocation W20481541081 @default.
- W2048154108 hasRelatedWork W1034061887 @default.
- W2048154108 hasRelatedWork W1887191277 @default.
- W2048154108 hasRelatedWork W2013695152 @default.
- W2048154108 hasRelatedWork W2018206907 @default.
- W2048154108 hasRelatedWork W2018619927 @default.
- W2048154108 hasRelatedWork W2054072800 @default.
- W2048154108 hasRelatedWork W2334954212 @default.
- W2048154108 hasRelatedWork W2964187826 @default.
- W2048154108 hasRelatedWork W2964285269 @default.
- W2048154108 hasRelatedWork W4235288607 @default.
- W2048154108 hasVolume "141" @default.
- W2048154108 isParatext "false" @default.
- W2048154108 isRetracted "false" @default.
- W2048154108 magId "2048154108" @default.
- W2048154108 workType "article" @default.