Matches in SemOpenAlex for { <https://semopenalex.org/work/W588889433> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W588889433 endingPage "90" @default.
- W588889433 startingPage "59" @default.
- W588889433 abstract "Tidslogik ar en gren av logiken som handlar om temporala begrepp, satser, argument och system. Inom denna gren av logiken undersoker man t.ex. uttryck sasom ”Det kommer alltid vara fallet att”, ”Det kommer nagon gang i framtiden vara fallet att”, ”Det har alltid varit fallet att”, ”Det var nagon gang i det forflutna fallet att”. Logiska relationer mellan satser som innehaller temporala begrepp studeras och giltigheten hos argument som bestar av sadana satser analyseras. Ett multimodalt sprak ar ett modalt sprak som inkorporerar flera olika modala operatorer. En multimodal semantik ar en modal semantik som innehaller flera olika s.k. tillganglighetsrelationer som svarar mot de olika modala operatorerna. Och ett multimodalt system ar ett modalt system (av teorem) som ar baserat pa ett multimodalt sprak. Multimodal logik ar en gren av modallogiken som handlar om multimodala sprak, semantiska teorier och system. I den har uppsatsen visar jag hur tidslogiken kan betraktas som en del av den multimodala logiken. Jag utvecklar ett antal sa kallade semantiska tablasystem och bevisar att dessa ar sunda och fullstandiga i relation till deras semantik. 1. Introduktion Tidslogik ar en gren av logiken som handlar om temporala begrepp, satser, argument och system. Inom denna gren av logiken undersoker man t.ex. uttryck sasom ”Det kommer alltid vara fallet att”, ”Det kommer nagon gang i framtiden vara fallet att”, ”Det har alltid varit fallet att”, ”Det var nagon gang i det forflutna fallet att”. Logiska relationer mellan satser som innehaller temporala begrepp studeras och giltigheten hos argument som bestar av sadana satser analyseras. Ett multimodalt sprak ar ett modalt sprak som inkorporerar flera olika modala operatorer. En multimodal semantik ar en modal semantik som innehaller flera olika s.k. tillganglighetsrelationer som svarar mot de olika modala operatorerna. Och ett multimodalt system ar ett modalt system (av teorem) som ar baserat pa ett multimodalt sprak." @default.
- W588889433 created "2016-06-24" @default.
- W588889433 creator A5075470388 @default.
- W588889433 date "2014-01-01" @default.
- W588889433 modified "2023-09-27" @default.
- W588889433 title "Tidslogik som multimodal logik" @default.
- W588889433 cites W110963011 @default.
- W588889433 cites W1242535020 @default.
- W588889433 cites W138011893 @default.
- W588889433 cites W1482532876 @default.
- W588889433 cites W1488267121 @default.
- W588889433 cites W1529615003 @default.
- W588889433 cites W1536217426 @default.
- W588889433 cites W1566551935 @default.
- W588889433 cites W1601754364 @default.
- W588889433 cites W1973039560 @default.
- W588889433 cites W1991650963 @default.
- W588889433 cites W2033225733 @default.
- W588889433 cites W2055365081 @default.
- W588889433 cites W2159753366 @default.
- W588889433 cites W2167970532 @default.
- W588889433 cites W2319388297 @default.
- W588889433 cites W3296631 @default.
- W588889433 cites W370739420 @default.
- W588889433 cites W618068147 @default.
- W588889433 cites W633803211 @default.
- W588889433 cites W3202227343 @default.
- W588889433 hasPublicationYear "2014" @default.
- W588889433 type Work @default.
- W588889433 sameAs 588889433 @default.
- W588889433 citedByCount "1" @default.
- W588889433 countsByYear W5888894332015 @default.
- W588889433 crossrefType "journal-article" @default.
- W588889433 hasAuthorship W588889433A5075470388 @default.
- W588889433 hasConcept C126322002 @default.
- W588889433 hasConcept C138885662 @default.
- W588889433 hasConcept C15708023 @default.
- W588889433 hasConcept C71924100 @default.
- W588889433 hasConcept C98184364 @default.
- W588889433 hasConceptScore W588889433C126322002 @default.
- W588889433 hasConceptScore W588889433C138885662 @default.
- W588889433 hasConceptScore W588889433C15708023 @default.
- W588889433 hasConceptScore W588889433C71924100 @default.
- W588889433 hasConceptScore W588889433C98184364 @default.
- W588889433 hasIssue "1" @default.
- W588889433 hasLocation W5888894331 @default.
- W588889433 hasOpenAccess W588889433 @default.
- W588889433 hasPrimaryLocation W5888894331 @default.
- W588889433 hasVolume "1" @default.
- W588889433 isParatext "false" @default.
- W588889433 isRetracted "false" @default.
- W588889433 magId "588889433" @default.
- W588889433 workType "article" @default.