Abstract

Tidslogik är en gren av logiken som handlar om temporala begrepp, satser, argument och system. Inom denna gren av logiken undersöker man t.ex. uttryck såsom "Det kommer alltid vara fallet att", "Det kommer någon gång i framtiden vara fallet att", "Det har alltid varit fallet att", "Det var någon gång i det förflutna fallet att". Logiska relationer mellan satser som innehåller temporala begrepp studeras och giltigheten hos argument som består av sådana satser analyseras. Ett multimodalt språk är ett modalt språk som inkorporerar flera olika modala operatorer. En multimodal semantik är en modal semantik som innehåller flera olika s.k. tillgänglighetsrelationer som svarar mot de olika modala operatorerna. Och ett multimodalt system är ett modalt system (av teorem) som är baserat på ett multimodalt språk. Multimodal logik är en gren av modallogiken som handlar om multimodala språk, semantiska teorier och system. I den här uppsatsen visar jag hur tidslogiken kan betraktas som en del av den multimodala logiken. Jag utvecklar ett antal så kallade semantiska tablåsystem och bevisar att dessa är sunda och fullständiga i relation till deras semantik.