Matches in SemOpenAlex for { <https://semopenalex.org/work/W1570493805> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1570493805 abstract "In this paper we study admissible consecutions (inference rules) in multi-modal logics with the universal modality. We consider extensions of multi-modal logic S4n augmented with the universal modality. Admissible consecutions form the largest class of rules, under which a logic (as a set of theorems) is closed. We propose an approach based on the context effective finite model property. Theorem 7, the main result of the paper, gives sufficient conditions for decidability of admissible consecutions in our logics. This theorem also provides an explicit algorithm for recognizing such consecutions. Some applications to particular logics with the universal modality are given." @default.
- W1570493805 created "2016-06-24" @default.
- W1570493805 creator A5016943210 @default.
- W1570493805 date "2007-09-23" @default.
- W1570493805 modified "2023-09-23" @default.
- W1570493805 title "Logics with the universal modality and admissible consecutions" @default.
- W1570493805 cites W1485990531 @default.
- W1570493805 cites W1524655177 @default.
- W1570493805 cites W1539708367 @default.
- W1570493805 cites W1566488688 @default.
- W1570493805 cites W1973545627 @default.
- W1570493805 cites W1975190772 @default.
- W1570493805 cites W1984615484 @default.
- W1570493805 cites W2002176884 @default.
- W1570493805 cites W2019740327 @default.
- W1570493805 cites W2023712626 @default.
- W1570493805 cites W2046526482 @default.
- W1570493805 cites W2049821930 @default.
- W1570493805 cites W2075320155 @default.
- W1570493805 cites W2081160992 @default.
- W1570493805 cites W2108756969 @default.
- W1570493805 cites W2118324648 @default.
- W1570493805 cites W2138544762 @default.
- W1570493805 cites W2164389533 @default.
- W1570493805 cites W2166908479 @default.
- W1570493805 cites W2168410054 @default.
- W1570493805 cites W2970205057 @default.
- W1570493805 doi "https://doi.org/10.3166/jancl.17.383-396" @default.
- W1570493805 hasPublicationYear "2007" @default.
- W1570493805 type Work @default.
- W1570493805 sameAs 1570493805 @default.
- W1570493805 citedByCount "7" @default.
- W1570493805 countsByYear W15704938052012 @default.
- W1570493805 countsByYear W15704938052013 @default.
- W1570493805 countsByYear W15704938052014 @default.
- W1570493805 crossrefType "journal-article" @default.
- W1570493805 hasAuthorship W1570493805A5016943210 @default.
- W1570493805 hasConcept C111472728 @default.
- W1570493805 hasConcept C118615104 @default.
- W1570493805 hasConcept C136119220 @default.
- W1570493805 hasConcept C138885662 @default.
- W1570493805 hasConcept C151730666 @default.
- W1570493805 hasConcept C153269930 @default.
- W1570493805 hasConcept C154945302 @default.
- W1570493805 hasConcept C177264268 @default.
- W1570493805 hasConcept C185592680 @default.
- W1570493805 hasConcept C188027245 @default.
- W1570493805 hasConcept C189950617 @default.
- W1570493805 hasConcept C199360897 @default.
- W1570493805 hasConcept C202444582 @default.
- W1570493805 hasConcept C27508121 @default.
- W1570493805 hasConcept C2777212361 @default.
- W1570493805 hasConcept C2779343474 @default.
- W1570493805 hasConcept C2780226545 @default.
- W1570493805 hasConcept C33923547 @default.
- W1570493805 hasConcept C41008148 @default.
- W1570493805 hasConcept C71139939 @default.
- W1570493805 hasConcept C86803240 @default.
- W1570493805 hasConceptScore W1570493805C111472728 @default.
- W1570493805 hasConceptScore W1570493805C118615104 @default.
- W1570493805 hasConceptScore W1570493805C136119220 @default.
- W1570493805 hasConceptScore W1570493805C138885662 @default.
- W1570493805 hasConceptScore W1570493805C151730666 @default.
- W1570493805 hasConceptScore W1570493805C153269930 @default.
- W1570493805 hasConceptScore W1570493805C154945302 @default.
- W1570493805 hasConceptScore W1570493805C177264268 @default.
- W1570493805 hasConceptScore W1570493805C185592680 @default.
- W1570493805 hasConceptScore W1570493805C188027245 @default.
- W1570493805 hasConceptScore W1570493805C189950617 @default.
- W1570493805 hasConceptScore W1570493805C199360897 @default.
- W1570493805 hasConceptScore W1570493805C202444582 @default.
- W1570493805 hasConceptScore W1570493805C27508121 @default.
- W1570493805 hasConceptScore W1570493805C2777212361 @default.
- W1570493805 hasConceptScore W1570493805C2779343474 @default.
- W1570493805 hasConceptScore W1570493805C2780226545 @default.
- W1570493805 hasConceptScore W1570493805C33923547 @default.
- W1570493805 hasConceptScore W1570493805C41008148 @default.
- W1570493805 hasConceptScore W1570493805C71139939 @default.
- W1570493805 hasConceptScore W1570493805C86803240 @default.
- W1570493805 hasLocation W15704938051 @default.
- W1570493805 hasOpenAccess W1570493805 @default.
- W1570493805 hasPrimaryLocation W15704938051 @default.
- W1570493805 hasRelatedWork W1989920940 @default.
- W1570493805 hasRelatedWork W2117918982 @default.
- W1570493805 hasRelatedWork W2133497138 @default.
- W1570493805 hasRelatedWork W2157756491 @default.
- W1570493805 hasRelatedWork W2742285599 @default.
- W1570493805 hasRelatedWork W2963103437 @default.
- W1570493805 hasRelatedWork W2963341196 @default.
- W1570493805 hasRelatedWork W2964202745 @default.
- W1570493805 hasRelatedWork W3099641547 @default.
- W1570493805 hasRelatedWork W3124205579 @default.
- W1570493805 isParatext "false" @default.
- W1570493805 isRetracted "false" @default.
- W1570493805 magId "1570493805" @default.
- W1570493805 workType "article" @default.