Matches in SemOpenAlex for { <https://semopenalex.org/work/W2002250082> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2002250082 abstract "Filtration constructions are among the oldest and best known methods for obtaining finite model properties for modal logics, and appear in the literature in both model-theoretic and algebraic versions. In this article we investigate definitions of algebraic filtrations by means of different types of binary relations on modal algebras, and the relationships between these. We generalize the notion of a model-theoretic filtration somewhat while simultaneously lifting it to the level of frames. We proceed to link algebraic filtrations with their model- or frame-theoretic counterparts by showing how our filtration notions interface neatly with the well-known duality theory of modal algebras and Kripke frames. We illustrate, by means of some examples, how this theory enables one to easily translate between algebraic and model-theoretic versions of some well-known filtrations. We obtain some order theoretic insights regarding the (usually model-theoretically specified) smallest and largest filtrations by considering their algebraic versions, thus demonstrating the utility of having ready access to both versions." @default.
- W2002250082 created "2016-06-24" @default.
- W2002250082 creator A5000262267 @default.
- W2002250082 creator A5037378549 @default.
- W2002250082 creator A5075694395 @default.
- W2002250082 date "2013-01-30" @default.
- W2002250082 modified "2023-09-27" @default.
- W2002250082 title "An algebraic look at filtrations in modal logic" @default.
- W2002250082 cites W1547536896 @default.
- W2002250082 cites W2003364215 @default.
- W2002250082 cites W2038216920 @default.
- W2002250082 cites W2050527500 @default.
- W2002250082 cites W2080823411 @default.
- W2002250082 cites W2143620943 @default.
- W2002250082 cites W2168140838 @default.
- W2002250082 cites W2315064349 @default.
- W2002250082 cites W4210333774 @default.
- W2002250082 cites W4244478014 @default.
- W2002250082 doi "https://doi.org/10.1093/jigpal/jzt001" @default.
- W2002250082 hasPublicationYear "2013" @default.
- W2002250082 type Work @default.
- W2002250082 sameAs 2002250082 @default.
- W2002250082 citedByCount "5" @default.
- W2002250082 countsByYear W20022500822013 @default.
- W2002250082 countsByYear W20022500822016 @default.
- W2002250082 countsByYear W20022500822018 @default.
- W2002250082 crossrefType "journal-article" @default.
- W2002250082 hasAuthorship W2002250082A5000262267 @default.
- W2002250082 hasAuthorship W2002250082A5037378549 @default.
- W2002250082 hasAuthorship W2002250082A5075694395 @default.
- W2002250082 hasConcept C126042441 @default.
- W2002250082 hasConcept C128489963 @default.
- W2002250082 hasConcept C134306372 @default.
- W2002250082 hasConcept C136003732 @default.
- W2002250082 hasConcept C136119220 @default.
- W2002250082 hasConcept C185592680 @default.
- W2002250082 hasConcept C188027245 @default.
- W2002250082 hasConcept C202444582 @default.
- W2002250082 hasConcept C2731732 @default.
- W2002250082 hasConcept C27508121 @default.
- W2002250082 hasConcept C2778023678 @default.
- W2002250082 hasConcept C33923547 @default.
- W2002250082 hasConcept C41008148 @default.
- W2002250082 hasConcept C48372109 @default.
- W2002250082 hasConcept C71139939 @default.
- W2002250082 hasConcept C76155785 @default.
- W2002250082 hasConcept C9376300 @default.
- W2002250082 hasConcept C94375191 @default.
- W2002250082 hasConceptScore W2002250082C126042441 @default.
- W2002250082 hasConceptScore W2002250082C128489963 @default.
- W2002250082 hasConceptScore W2002250082C134306372 @default.
- W2002250082 hasConceptScore W2002250082C136003732 @default.
- W2002250082 hasConceptScore W2002250082C136119220 @default.
- W2002250082 hasConceptScore W2002250082C185592680 @default.
- W2002250082 hasConceptScore W2002250082C188027245 @default.
- W2002250082 hasConceptScore W2002250082C202444582 @default.
- W2002250082 hasConceptScore W2002250082C2731732 @default.
- W2002250082 hasConceptScore W2002250082C27508121 @default.
- W2002250082 hasConceptScore W2002250082C2778023678 @default.
- W2002250082 hasConceptScore W2002250082C33923547 @default.
- W2002250082 hasConceptScore W2002250082C41008148 @default.
- W2002250082 hasConceptScore W2002250082C48372109 @default.
- W2002250082 hasConceptScore W2002250082C71139939 @default.
- W2002250082 hasConceptScore W2002250082C76155785 @default.
- W2002250082 hasConceptScore W2002250082C9376300 @default.
- W2002250082 hasConceptScore W2002250082C94375191 @default.
- W2002250082 hasLocation W20022500821 @default.
- W2002250082 hasOpenAccess W2002250082 @default.
- W2002250082 hasPrimaryLocation W20022500821 @default.
- W2002250082 hasRelatedWork W1601758907 @default.
- W2002250082 hasRelatedWork W1833301579 @default.
- W2002250082 hasRelatedWork W1978210364 @default.
- W2002250082 hasRelatedWork W2028286472 @default.
- W2002250082 hasRelatedWork W2028630116 @default.
- W2002250082 hasRelatedWork W2065178793 @default.
- W2002250082 hasRelatedWork W2075883279 @default.
- W2002250082 hasRelatedWork W2093814492 @default.
- W2002250082 hasRelatedWork W2145609623 @default.
- W2002250082 hasRelatedWork W2160511154 @default.
- W2002250082 hasRelatedWork W2301491978 @default.
- W2002250082 hasRelatedWork W2394655883 @default.
- W2002250082 hasRelatedWork W2542852016 @default.
- W2002250082 hasRelatedWork W2771254611 @default.
- W2002250082 hasRelatedWork W2937224292 @default.
- W2002250082 hasRelatedWork W2951397557 @default.
- W2002250082 hasRelatedWork W2953612470 @default.
- W2002250082 hasRelatedWork W3115226918 @default.
- W2002250082 hasRelatedWork W3118250610 @default.
- W2002250082 hasRelatedWork W3205783695 @default.
- W2002250082 isParatext "false" @default.
- W2002250082 isRetracted "false" @default.
- W2002250082 magId "2002250082" @default.
- W2002250082 workType "article" @default.