OU Portal
  • Log In
  • Welcome
  • Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
{}

Pomocí tohoto dialogu můžete vyhledat domácí autory, čili autory, kteří jsou vedeni v personálních systémech Ostravské univerzity.

Do našeptávače níže napište hledaný text a tento text bude vyhledán ve jméně nebo příjmení autora. Autoři, kteří budou hledanému textu odpovídat, Vám budou nabídnuti v seznamu. Pomocí myši nebo šipek na klávesnici vyberte požadovaného autora.

Našeptávač : 
Přidat autora k záznamu Zavřít

Pomocí tohoto dialogu můžete k záznamu přidat cizího autora, čili autora, který nemá žádný pracovní ani studijní vztah k Ostravské univerzitě. Takto přidaný autor bude do RIV vykázán jako nedomácí.

Pro přidání autora vepište jeho jméno a příjmení do určených položek.

Jméno :
Příjmení :
Přidat k záznamu Zavřít
Zavřít
Publikační činnost


preloading...   Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
Typ záznamu * : prezentace (kongresy, sympózia, konference, workshopy)
Domácí pracoviště * : Katedra filozofie (25100)
Název * : Specification of Tenses in Tichý’s Transparent Intensional Logic and Prior’s Temporal Logic
Citace : Rybaříková, Z. Specification of Tenses in Tichý’s Transparent Intensional Logic and Prior’s Temporal Logic. In: Czech Gathering of Logicians 2022. Praha: Institute of Theory of Information and Automatization. 2022.
Podnázev :
Rok : 2022
Obor : Filosofie a náboženství
Místo konání : Praha
Stát konání akce : Česká republika
Název akce : Czech Gathering of Logicians 2022
Datum od :
Datum do :
Druh prezentace : Přednáška
Instituce : Institute of Theory of Information and Automatization
Klíčová slova anglicky :
In his paper ?The Logic of Temporal Discourse?, Pavel Tichý (1980) pointed out that contemporary systems of logic were unable to sufficiently formalise temporal discourse. He therefore suggested temporal specification in Transparent Intensional Logic (TIL), a system of logic that he developed. Discussing contemporary systems of logic, Tichý also took into account the system of Arthur N. Prior, who is considered a founding father of modern temporal logic, and his criticism was also addressed to Prior. Tichý only focused, however, on Prior?s early systems of temporal logic. Patrick Blackburn (2006) recently raised awareness that Prior also developed systems of hybrid logic in his latest periods (see e.g. Prior 2003a; Prior 2003b). From the point of view of temporal specification, this system is particularly interesting as the system has greater expressive power than Prior?s early systems of temporal logic. Hence it could also deal with the problematic specifications of tenses that Pavel Tichý pointed out (see Blackburn and J?rgensen 2016). The aim of my talk is to demonstrate that the temporal propositions that Tichý introduced as problematic could be formalised in Prior?s hybrid logic. I will also compare formalisations in TIL and hybrid logic and Tichý?s and Prior?s views that influenced their systems of logic.
Popis v původním jazyce :
In his paper ‘The Logic of Temporal Discourse’, Pavel Tichý (1980) pointed out that contemporary systems of logic were unable to sufficiently formalise temporal discourse. He therefore suggested temporal specification in Transparent Intensional Logic (TIL), a system of logic that he developed. Discussing contemporary systems of logic, Tichý also took into account the system of Arthur N. Prior, who is considered a founding father of modern temporal logic, and his criticism was also addressed to Prior. Tichý only focused, however, on Prior’s early systems of temporal logic. Patrick Blackburn (2006) recently raised awareness that Prior also developed systems of hybrid logic in his latest periods (see e.g. Prior 2003a; Prior 2003b). From the point of view of temporal specification, this system is particularly interesting as the system has greater expressive power than Prior’s early systems of temporal logic. Hence it could also deal with the problematic specifications of tenses that Pavel Tichý pointed out (see Blackburn and Jørgensen 2016). The aim of my talk is to demonstrate that the temporal propositions that Tichý introduced as problematic could be formalised in Prior’s hybrid logic. I will also compare formalisations in TIL and hybrid logic and Tichý’s and Prior’s views that influenced their systems of logic.
Popis v anglickém jazyce :
Typ zdroje financování výsledku :
Seznam projektů :
ID Projektu Název projektu
Seznam ohlasů : 
Ohlas
R01:

© 2019 Centre for Information Technology

  • Technická podpora :
  • Mgr. Olga Blahutová (phone: +420 597 091 129, phone flap for UO: 1129)
  • Ing. Lucie Svitaneková (phone: +420 597 091 108, phone flap for UO: 1108)
Complementary Content
  • ${title}${badge}
${loading}