Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034193863> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2034193863 abstract "The most popular method of incorporating time into a formal logic is based on the work of Arthur Prior. It treats tenses as operators on sentences. In this essay I show a serious problem with that approach, a confusion of scheme versus proposition, which makes any system built in that way incoherent. I will compare how other formal logics deal with the scheme versus proposition distinction and find that only for formal modal logics does the same problem arise. I then compare Prior’s approach to other ways of taking time into account in formal logics." @default.
- W2034193863 created "2016-06-24" @default.
- W2034193863 creator A5063367613 @default.
- W2034193863 date "2014-08-02" @default.
- W2034193863 modified "2023-09-25" @default.
- W2034193863 title "Reflections on temporal and modal logic" @default.
- W2034193863 cites W2015496558 @default.
- W2034193863 cites W2319388297 @default.
- W2034193863 cites W940617561 @default.
- W2034193863 doi "https://doi.org/10.12775/llp.2014.015" @default.
- W2034193863 hasPublicationYear "2014" @default.
- W2034193863 type Work @default.
- W2034193863 sameAs 2034193863 @default.
- W2034193863 citedByCount "2" @default.
- W2034193863 countsByYear W20341938632014 @default.
- W2034193863 crossrefType "journal-article" @default.
- W2034193863 hasAuthorship W2034193863A5063367613 @default.
- W2034193863 hasBestOaLocation W20341938631 @default.
- W2034193863 hasConcept C102993220 @default.
- W2034193863 hasConcept C111472728 @default.
- W2034193863 hasConcept C11171543 @default.
- W2034193863 hasConcept C11191006 @default.
- W2034193863 hasConcept C114092440 @default.
- W2034193863 hasConcept C11413529 @default.
- W2034193863 hasConcept C134306372 @default.
- W2034193863 hasConcept C138885662 @default.
- W2034193863 hasConcept C154945302 @default.
- W2034193863 hasConcept C15744967 @default.
- W2034193863 hasConcept C185592680 @default.
- W2034193863 hasConcept C188027245 @default.
- W2034193863 hasConcept C203659156 @default.
- W2034193863 hasConcept C25016198 @default.
- W2034193863 hasConcept C27508121 @default.
- W2034193863 hasConcept C2777152325 @default.
- W2034193863 hasConcept C2781140086 @default.
- W2034193863 hasConcept C33923547 @default.
- W2034193863 hasConcept C41008148 @default.
- W2034193863 hasConcept C42011625 @default.
- W2034193863 hasConcept C5263885 @default.
- W2034193863 hasConcept C58166 @default.
- W2034193863 hasConcept C71139939 @default.
- W2034193863 hasConcept C77618280 @default.
- W2034193863 hasConcept C78344899 @default.
- W2034193863 hasConcept C80444323 @default.
- W2034193863 hasConcept C86602344 @default.
- W2034193863 hasConceptScore W2034193863C102993220 @default.
- W2034193863 hasConceptScore W2034193863C111472728 @default.
- W2034193863 hasConceptScore W2034193863C11171543 @default.
- W2034193863 hasConceptScore W2034193863C11191006 @default.
- W2034193863 hasConceptScore W2034193863C114092440 @default.
- W2034193863 hasConceptScore W2034193863C11413529 @default.
- W2034193863 hasConceptScore W2034193863C134306372 @default.
- W2034193863 hasConceptScore W2034193863C138885662 @default.
- W2034193863 hasConceptScore W2034193863C154945302 @default.
- W2034193863 hasConceptScore W2034193863C15744967 @default.
- W2034193863 hasConceptScore W2034193863C185592680 @default.
- W2034193863 hasConceptScore W2034193863C188027245 @default.
- W2034193863 hasConceptScore W2034193863C203659156 @default.
- W2034193863 hasConceptScore W2034193863C25016198 @default.
- W2034193863 hasConceptScore W2034193863C27508121 @default.
- W2034193863 hasConceptScore W2034193863C2777152325 @default.
- W2034193863 hasConceptScore W2034193863C2781140086 @default.
- W2034193863 hasConceptScore W2034193863C33923547 @default.
- W2034193863 hasConceptScore W2034193863C41008148 @default.
- W2034193863 hasConceptScore W2034193863C42011625 @default.
- W2034193863 hasConceptScore W2034193863C5263885 @default.
- W2034193863 hasConceptScore W2034193863C58166 @default.
- W2034193863 hasConceptScore W2034193863C71139939 @default.
- W2034193863 hasConceptScore W2034193863C77618280 @default.
- W2034193863 hasConceptScore W2034193863C78344899 @default.
- W2034193863 hasConceptScore W2034193863C80444323 @default.
- W2034193863 hasConceptScore W2034193863C86602344 @default.
- W2034193863 hasIssue "0" @default.
- W2034193863 hasLocation W20341938631 @default.
- W2034193863 hasOpenAccess W2034193863 @default.
- W2034193863 hasPrimaryLocation W20341938631 @default.
- W2034193863 hasRelatedWork W2034193863 @default.
- W2034193863 hasRelatedWork W2088922614 @default.
- W2034193863 hasRelatedWork W2101793126 @default.
- W2034193863 hasRelatedWork W2156146240 @default.
- W2034193863 hasRelatedWork W2952399902 @default.
- W2034193863 hasRelatedWork W3037186148 @default.
- W2034193863 hasRelatedWork W370643465 @default.
- W2034193863 hasRelatedWork W4297691000 @default.
- W2034193863 hasRelatedWork W90863971 @default.
- W2034193863 hasRelatedWork W982481174 @default.
- W2034193863 hasVolume "0" @default.
- W2034193863 isParatext "false" @default.
- W2034193863 isRetracted "false" @default.
- W2034193863 magId "2034193863" @default.
- W2034193863 workType "article" @default.