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. I tidigare arbeten har jag diskuterat hur tidslogiken kan betraktas som en form av multimodal logik. I den här uppsatsen visar jag hur tidslogiken kan beskrivas som en bimodal logik, ett slags modallogik som endast innehåller två typer av temporala operatorer. Den semantik jag använder är baserad på monotemporala ramar. En monotemporal ram är en relationell struktur som endast innehåller en primitiv tillgänglighetsrelation, nämligen relationen tidigare än / senare än. Jag utvecklar ett antal så kallade semantiska tablåsystem och bevisar att dessa är sunda och fullständiga i relation till deras semantik.