Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287249920> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W4287249920 abstract "In this paper, we give an extension of the J'{o}nsson-Tarski representation theorem for both normal and non-normal modal algebras so that it preserves countably many infinitary meets and joins. To extend the J'{o}nsson-Tarski representation to non-normal modal algebras we consider neighborhood frames, instead of Kripke frames, and to deal with infinite meets and joins, we make use of Q-filters, instead of prime filters. Then, we show that every predicate modal logic, whether it is normal or non-normal, has a model defined on a neighborhood frame with constant domains, and give completeness theorem for some predicate modal logics. We also show the same results for infinitary modal logics." @default.
- W4287249920 created "2022-07-25" @default.
- W4287249920 creator A5075997210 @default.
- W4287249920 date "2021-03-31" @default.
- W4287249920 modified "2023-10-04" @default.
- W4287249920 title "An extension of J'{o}nsson-Tarski representation and model existence in predicate non-normal modal logics" @default.
- W4287249920 hasPublicationYear "2021" @default.
- W4287249920 type Work @default.
- W4287249920 citedByCount "0" @default.
- W4287249920 crossrefType "posted-content" @default.
- W4287249920 hasAuthorship W4287249920A5075997210 @default.
- W4287249920 hasBestOaLocation W42872499201 @default.
- W4287249920 hasConcept C11191006 @default.
- W4287249920 hasConcept C114092440 @default.
- W4287249920 hasConcept C118615104 @default.
- W4287249920 hasConcept C140146324 @default.
- W4287249920 hasConcept C160131679 @default.
- W4287249920 hasConcept C185592680 @default.
- W4287249920 hasConcept C188027245 @default.
- W4287249920 hasConcept C199360897 @default.
- W4287249920 hasConcept C202444582 @default.
- W4287249920 hasConcept C27508121 @default.
- W4287249920 hasConcept C2776230367 @default.
- W4287249920 hasConcept C2778029271 @default.
- W4287249920 hasConcept C2778692605 @default.
- W4287249920 hasConcept C33923547 @default.
- W4287249920 hasConcept C41008148 @default.
- W4287249920 hasConcept C71139939 @default.
- W4287249920 hasConcept C78344899 @default.
- W4287249920 hasConceptScore W4287249920C11191006 @default.
- W4287249920 hasConceptScore W4287249920C114092440 @default.
- W4287249920 hasConceptScore W4287249920C118615104 @default.
- W4287249920 hasConceptScore W4287249920C140146324 @default.
- W4287249920 hasConceptScore W4287249920C160131679 @default.
- W4287249920 hasConceptScore W4287249920C185592680 @default.
- W4287249920 hasConceptScore W4287249920C188027245 @default.
- W4287249920 hasConceptScore W4287249920C199360897 @default.
- W4287249920 hasConceptScore W4287249920C202444582 @default.
- W4287249920 hasConceptScore W4287249920C27508121 @default.
- W4287249920 hasConceptScore W4287249920C2776230367 @default.
- W4287249920 hasConceptScore W4287249920C2778029271 @default.
- W4287249920 hasConceptScore W4287249920C2778692605 @default.
- W4287249920 hasConceptScore W4287249920C33923547 @default.
- W4287249920 hasConceptScore W4287249920C41008148 @default.
- W4287249920 hasConceptScore W4287249920C71139939 @default.
- W4287249920 hasConceptScore W4287249920C78344899 @default.
- W4287249920 hasLocation W42872499201 @default.
- W4287249920 hasOpenAccess W4287249920 @default.
- W4287249920 hasPrimaryLocation W42872499201 @default.
- W4287249920 hasRelatedWork W1067430 @default.
- W4287249920 hasRelatedWork W11696090 @default.
- W4287249920 hasRelatedWork W12426423 @default.
- W4287249920 hasRelatedWork W2280944 @default.
- W4287249920 hasRelatedWork W29657123 @default.
- W4287249920 hasRelatedWork W38965858 @default.
- W4287249920 hasRelatedWork W39852820 @default.
- W4287249920 hasRelatedWork W59144584 @default.
- W4287249920 hasRelatedWork W63454824 @default.
- W4287249920 hasRelatedWork W6559486 @default.
- W4287249920 isParatext "false" @default.
- W4287249920 isRetracted "false" @default.
- W4287249920 workType "article" @default.