Matches in SemOpenAlex for { <https://semopenalex.org/work/W1998532035> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1998532035 endingPage "754" @default.
- W1998532035 startingPage "737" @default.
- W1998532035 abstract "Building on a new approach to polyadic modal languages and Sahlqvist formulas we define Sahlqvist formulas in hybrid polyadic modal languages containing nominals and universal modality or satisfaction operators. Particularly interesting is the case of reversive polyadic languages, closed under all ‘inverses’ of polyadic modalities because the minimal valuations arising in the computation of the first‐order equivalents of polyadic Sahlqvist formulae are definable in such languages and that makes the proof of first‐order definability and canonicity of these formulas a simple syntactic exercise. Furthermore, the first‐order definability of Sahlqvist formulas immediately transfers to arbitrary polyadic languages, while the direct transfer of canonicity requires a more involved proof‐theoretic analysis." @default.
- W1998532035 created "2016-06-24" @default.
- W1998532035 creator A5066665696 @default.
- W1998532035 date "2001-10-01" @default.
- W1998532035 modified "2023-10-05" @default.
- W1998532035 title "Sahlqvist Formulas in Hybrid Polyadic Modal Logics" @default.
- W1998532035 cites W1574058751 @default.
- W1998532035 cites W1728675562 @default.
- W1998532035 cites W1981936535 @default.
- W1998532035 cites W1982736629 @default.
- W1998532035 cites W2047294512 @default.
- W1998532035 cites W2061003582 @default.
- W1998532035 cites W2064773636 @default.
- W1998532035 cites W2092576830 @default.
- W1998532035 cites W2121931250 @default.
- W1998532035 cites W2164389533 @default.
- W1998532035 cites W2278707730 @default.
- W1998532035 cites W2610670723 @default.
- W1998532035 cites W39669875 @default.
- W1998532035 cites W1889432541 @default.
- W1998532035 doi "https://doi.org/10.1093/logcom/11.5.737" @default.
- W1998532035 hasPublicationYear "2001" @default.
- W1998532035 type Work @default.
- W1998532035 sameAs 1998532035 @default.
- W1998532035 citedByCount "37" @default.
- W1998532035 countsByYear W19985320352012 @default.
- W1998532035 countsByYear W19985320352014 @default.
- W1998532035 countsByYear W19985320352015 @default.
- W1998532035 countsByYear W19985320352016 @default.
- W1998532035 countsByYear W19985320352019 @default.
- W1998532035 countsByYear W19985320352020 @default.
- W1998532035 countsByYear W19985320352021 @default.
- W1998532035 countsByYear W19985320352023 @default.
- W1998532035 crossrefType "journal-article" @default.
- W1998532035 hasAuthorship W1998532035A5066665696 @default.
- W1998532035 hasConcept C10138342 @default.
- W1998532035 hasConcept C111472728 @default.
- W1998532035 hasConcept C136119220 @default.
- W1998532035 hasConcept C138885662 @default.
- W1998532035 hasConcept C154945302 @default.
- W1998532035 hasConcept C162324750 @default.
- W1998532035 hasConcept C182306322 @default.
- W1998532035 hasConcept C185592680 @default.
- W1998532035 hasConcept C188027245 @default.
- W1998532035 hasConcept C199343813 @default.
- W1998532035 hasConcept C202444582 @default.
- W1998532035 hasConcept C2777686260 @default.
- W1998532035 hasConcept C2780226545 @default.
- W1998532035 hasConcept C2780586882 @default.
- W1998532035 hasConcept C33923547 @default.
- W1998532035 hasConcept C41008148 @default.
- W1998532035 hasConcept C71139939 @default.
- W1998532035 hasConcept C71924100 @default.
- W1998532035 hasConceptScore W1998532035C10138342 @default.
- W1998532035 hasConceptScore W1998532035C111472728 @default.
- W1998532035 hasConceptScore W1998532035C136119220 @default.
- W1998532035 hasConceptScore W1998532035C138885662 @default.
- W1998532035 hasConceptScore W1998532035C154945302 @default.
- W1998532035 hasConceptScore W1998532035C162324750 @default.
- W1998532035 hasConceptScore W1998532035C182306322 @default.
- W1998532035 hasConceptScore W1998532035C185592680 @default.
- W1998532035 hasConceptScore W1998532035C188027245 @default.
- W1998532035 hasConceptScore W1998532035C199343813 @default.
- W1998532035 hasConceptScore W1998532035C202444582 @default.
- W1998532035 hasConceptScore W1998532035C2777686260 @default.
- W1998532035 hasConceptScore W1998532035C2780226545 @default.
- W1998532035 hasConceptScore W1998532035C2780586882 @default.
- W1998532035 hasConceptScore W1998532035C33923547 @default.
- W1998532035 hasConceptScore W1998532035C41008148 @default.
- W1998532035 hasConceptScore W1998532035C71139939 @default.
- W1998532035 hasConceptScore W1998532035C71924100 @default.
- W1998532035 hasIssue "5" @default.
- W1998532035 hasLocation W19985320351 @default.
- W1998532035 hasOpenAccess W1998532035 @default.
- W1998532035 hasPrimaryLocation W19985320351 @default.
- W1998532035 hasRelatedWork W1887191277 @default.
- W1998532035 hasRelatedWork W2230691193 @default.
- W1998532035 hasRelatedWork W2334954212 @default.
- W1998532035 hasRelatedWork W2776018879 @default.
- W1998532035 hasRelatedWork W2794684478 @default.
- W1998532035 hasRelatedWork W2798138305 @default.
- W1998532035 hasRelatedWork W4200153578 @default.
- W1998532035 hasRelatedWork W4248389398 @default.
- W1998532035 hasRelatedWork W70824404 @default.
- W1998532035 hasRelatedWork W909542941 @default.
- W1998532035 hasVolume "11" @default.
- W1998532035 isParatext "false" @default.
- W1998532035 isRetracted "false" @default.
- W1998532035 magId "1998532035" @default.
- W1998532035 workType "article" @default.