Matches in SemOpenAlex for { <https://semopenalex.org/work/W2008795874> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2008795874 endingPage "348" @default.
- W2008795874 startingPage "331" @default.
- W2008795874 abstract "Modal logics reason about properties of relational structures, and such properties are often characterized by axioms of modal logics. This connection between properties of relational structures and axioms of modal logics are called correspondence, and has been investigated well in the classical setting. The problem we consider is an intuitionistic version of this correspondence. In particular, this paper considers which part of the correspondence results known in classical setting is true for intuitionistic one. We first define the notion of robustness of axioms so that an axiom is robust if and only if its corresponding properties in classical and intuitionistic semantics are the same. Next we give a syntactically defined class of axioms, and prove that all axioms in this class are robust. This result is an analogue of the classical result by Sahlqvist, and its proof is partly based on a known proof of his theorem." @default.
- W2008795874 created "2016-06-24" @default.
- W2008795874 creator A5023893160 @default.
- W2008795874 date "2011-12-01" @default.
- W2008795874 modified "2023-09-24" @default.
- W2008795874 title "Which classical correspondence is valid in intuitionistic modal logic?" @default.
- W2008795874 cites W1518437764 @default.
- W2008795874 cites W1557228712 @default.
- W2008795874 cites W1981311833 @default.
- W2008795874 cites W1996474321 @default.
- W2008795874 cites W2013654056 @default.
- W2008795874 cites W2021560066 @default.
- W2008795874 cites W2023132547 @default.
- W2008795874 cites W2031349440 @default.
- W2008795874 cites W2033025891 @default.
- W2008795874 cites W2039904055 @default.
- W2008795874 cites W2067072801 @default.
- W2008795874 cites W2067278394 @default.
- W2008795874 cites W2111082593 @default.
- W2008795874 doi "https://doi.org/10.1093/jigpal/jzr044" @default.
- W2008795874 hasPublicationYear "2011" @default.
- W2008795874 type Work @default.
- W2008795874 sameAs 2008795874 @default.
- W2008795874 citedByCount "4" @default.
- W2008795874 countsByYear W20087958742012 @default.
- W2008795874 countsByYear W20087958742020 @default.
- W2008795874 countsByYear W20087958742022 @default.
- W2008795874 crossrefType "journal-article" @default.
- W2008795874 hasAuthorship W2008795874A5023893160 @default.
- W2008795874 hasBestOaLocation W20087958742 @default.
- W2008795874 hasConcept C114092440 @default.
- W2008795874 hasConcept C118615104 @default.
- W2008795874 hasConcept C136119220 @default.
- W2008795874 hasConcept C178421362 @default.
- W2008795874 hasConcept C185592680 @default.
- W2008795874 hasConcept C188027245 @default.
- W2008795874 hasConcept C199343813 @default.
- W2008795874 hasConcept C202444582 @default.
- W2008795874 hasConcept C27508121 @default.
- W2008795874 hasConcept C2777686260 @default.
- W2008795874 hasConcept C28077239 @default.
- W2008795874 hasConcept C33923547 @default.
- W2008795874 hasConcept C41008148 @default.
- W2008795874 hasConcept C71139939 @default.
- W2008795874 hasConcept C71924100 @default.
- W2008795874 hasConceptScore W2008795874C114092440 @default.
- W2008795874 hasConceptScore W2008795874C118615104 @default.
- W2008795874 hasConceptScore W2008795874C136119220 @default.
- W2008795874 hasConceptScore W2008795874C178421362 @default.
- W2008795874 hasConceptScore W2008795874C185592680 @default.
- W2008795874 hasConceptScore W2008795874C188027245 @default.
- W2008795874 hasConceptScore W2008795874C199343813 @default.
- W2008795874 hasConceptScore W2008795874C202444582 @default.
- W2008795874 hasConceptScore W2008795874C27508121 @default.
- W2008795874 hasConceptScore W2008795874C2777686260 @default.
- W2008795874 hasConceptScore W2008795874C28077239 @default.
- W2008795874 hasConceptScore W2008795874C33923547 @default.
- W2008795874 hasConceptScore W2008795874C41008148 @default.
- W2008795874 hasConceptScore W2008795874C71139939 @default.
- W2008795874 hasConceptScore W2008795874C71924100 @default.
- W2008795874 hasIssue "1" @default.
- W2008795874 hasLocation W20087958741 @default.
- W2008795874 hasLocation W20087958742 @default.
- W2008795874 hasOpenAccess W2008795874 @default.
- W2008795874 hasPrimaryLocation W20087958741 @default.
- W2008795874 hasRelatedWork W1866049941 @default.
- W2008795874 hasRelatedWork W1978559879 @default.
- W2008795874 hasRelatedWork W2067687795 @default.
- W2008795874 hasRelatedWork W2187936207 @default.
- W2008795874 hasRelatedWork W2271944696 @default.
- W2008795874 hasRelatedWork W2540322980 @default.
- W2008795874 hasRelatedWork W2963997697 @default.
- W2008795874 hasRelatedWork W3205223140 @default.
- W2008795874 hasRelatedWork W4286903732 @default.
- W2008795874 hasRelatedWork W46061460 @default.
- W2008795874 hasVolume "20" @default.
- W2008795874 isParatext "false" @default.
- W2008795874 isRetracted "false" @default.
- W2008795874 magId "2008795874" @default.
- W2008795874 workType "article" @default.