Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Bimodal tidslogik med monotemporala ramar
Stockholm University, Faculty of Humanities, Department of Philosophy.
2015 (Swedish)In: Filosofiska notiser, ISSN 2002-0198, Vol. 2, no 2, 53-76 p.Article in journal (Other academic) Published
Abstract [sv]

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.

Place, publisher, year, edition, pages
2015. Vol. 2, no 2, 53-76 p.
National Category
Philosophy
Research subject
Theoretical Philosophy
Identifiers
URN: urn:nbn:se:su:diva-121566OAI: oai:DiVA.org:su-121566DiVA: diva2:859779
Available from: 2015-10-08 Created: 2015-10-08 Last updated: 2015-12-30Bibliographically approved

Open Access in DiVA

No full text

Other links

Fri fulltext

Search in DiVA

By author/editor
Rönnedal, Daniel
By organisation
Department of Philosophy
Philosophy

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 69 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf