Matches in SemOpenAlex for { <https://semopenalex.org/work/W2078339269> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2078339269 endingPage "111" @default.
- W2078339269 startingPage "89" @default.
- W2078339269 abstract "The subject of this article is Modal-Epistemic Arithmetic (MEA), a theory introduced by Horsten to interpret Epistemic Arithmetic (EA), which in turn was introduced by Shapiro to interpret Heyting Arithmetic. I will show how to interpret MEA in EA such that one can prove that the interpretation of EA is MEA is faithful. Moreover, I will show that one can get rid of a particular Platonist assumption. Then I will discuss models for MEA in light of the problems of logical omniscience and logical competence. Awareness models, impossible worlds models and syntactical models have been introduced to deal with the first problem. Certain conditions on the accessibility relations are needed to deal with the second problem. I go on to argue that those models are subject to the problem of quantifying in, for which I will provide a solution." @default.
- W2078339269 created "2016-06-24" @default.
- W2078339269 creator A5044094715 @default.
- W2078339269 date "2012-07-31" @default.
- W2078339269 modified "2023-09-25" @default.
- W2078339269 title "Modal-Epistemic Arithmetic and the problem of quantifying in" @default.
- W2078339269 cites W1504565834 @default.
- W2078339269 cites W1970869125 @default.
- W2078339269 cites W1994227541 @default.
- W2078339269 cites W2041236447 @default.
- W2078339269 cites W2064405301 @default.
- W2078339269 cites W2104439532 @default.
- W2078339269 cites W4247797067 @default.
- W2078339269 cites W4255067273 @default.
- W2078339269 doi "https://doi.org/10.1007/s11229-012-0154-3" @default.
- W2078339269 hasPublicationYear "2012" @default.
- W2078339269 type Work @default.
- W2078339269 sameAs 2078339269 @default.
- W2078339269 citedByCount "8" @default.
- W2078339269 countsByYear W20783392692013 @default.
- W2078339269 countsByYear W20783392692014 @default.
- W2078339269 countsByYear W20783392692017 @default.
- W2078339269 countsByYear W20783392692023 @default.
- W2078339269 crossrefType "journal-article" @default.
- W2078339269 hasAuthorship W2078339269A5044094715 @default.
- W2078339269 hasBestOaLocation W20783392692 @default.
- W2078339269 hasConcept C107247716 @default.
- W2078339269 hasConcept C110099512 @default.
- W2078339269 hasConcept C111472728 @default.
- W2078339269 hasConcept C123556308 @default.
- W2078339269 hasConcept C138885662 @default.
- W2078339269 hasConcept C153107464 @default.
- W2078339269 hasConcept C161191863 @default.
- W2078339269 hasConcept C182744844 @default.
- W2078339269 hasConcept C185592680 @default.
- W2078339269 hasConcept C188027245 @default.
- W2078339269 hasConcept C199360897 @default.
- W2078339269 hasConcept C27508121 @default.
- W2078339269 hasConcept C2776127325 @default.
- W2078339269 hasConcept C2777855551 @default.
- W2078339269 hasConcept C33923547 @default.
- W2078339269 hasConcept C41008148 @default.
- W2078339269 hasConcept C527412718 @default.
- W2078339269 hasConcept C71139939 @default.
- W2078339269 hasConceptScore W2078339269C107247716 @default.
- W2078339269 hasConceptScore W2078339269C110099512 @default.
- W2078339269 hasConceptScore W2078339269C111472728 @default.
- W2078339269 hasConceptScore W2078339269C123556308 @default.
- W2078339269 hasConceptScore W2078339269C138885662 @default.
- W2078339269 hasConceptScore W2078339269C153107464 @default.
- W2078339269 hasConceptScore W2078339269C161191863 @default.
- W2078339269 hasConceptScore W2078339269C182744844 @default.
- W2078339269 hasConceptScore W2078339269C185592680 @default.
- W2078339269 hasConceptScore W2078339269C188027245 @default.
- W2078339269 hasConceptScore W2078339269C199360897 @default.
- W2078339269 hasConceptScore W2078339269C27508121 @default.
- W2078339269 hasConceptScore W2078339269C2776127325 @default.
- W2078339269 hasConceptScore W2078339269C2777855551 @default.
- W2078339269 hasConceptScore W2078339269C33923547 @default.
- W2078339269 hasConceptScore W2078339269C41008148 @default.
- W2078339269 hasConceptScore W2078339269C527412718 @default.
- W2078339269 hasConceptScore W2078339269C71139939 @default.
- W2078339269 hasIssue "1" @default.
- W2078339269 hasLocation W20783392691 @default.
- W2078339269 hasLocation W20783392692 @default.
- W2078339269 hasLocation W20783392693 @default.
- W2078339269 hasLocation W20783392694 @default.
- W2078339269 hasOpenAccess W2078339269 @default.
- W2078339269 hasPrimaryLocation W20783392691 @default.
- W2078339269 hasRelatedWork W2062470179 @default.
- W2078339269 hasRelatedWork W2083483925 @default.
- W2078339269 hasRelatedWork W2142383276 @default.
- W2078339269 hasRelatedWork W2769873200 @default.
- W2078339269 hasRelatedWork W2887262263 @default.
- W2078339269 hasRelatedWork W2953029921 @default.
- W2078339269 hasRelatedWork W3036507465 @default.
- W2078339269 hasRelatedWork W3088134000 @default.
- W2078339269 hasRelatedWork W3177974669 @default.
- W2078339269 hasRelatedWork W3200579015 @default.
- W2078339269 hasVolume "190" @default.
- W2078339269 isParatext "false" @default.
- W2078339269 isRetracted "false" @default.
- W2078339269 magId "2078339269" @default.
- W2078339269 workType "article" @default.