Zobrazeno 1 - 10 of 30 pro vyhledávání: '"Jørgensen, Klaus Frovin"'
1
Akademický článek
Arthur Prior and ‘Now’
Autor: Blackburn, Patrick, Jørgensen, Klaus Frovin
Publikováno v: Synthese, 2016 Nov 01. 193(11), 3665-3676.
Externí odkaz: https://www.jstor.org/stable/48726369
Zobrazit plný text záznamu
2
Akademický článek
Reichenbach, Prior and hybrid tense logic
Autor: Blackburn, Patrick, Jørgensen, Klaus Frovin
Publikováno v: Synthese, 2016 Nov 01. 193(11), 3677-3689.
Externí odkaz: https://www.jstor.org/stable/48726370
Zobrazit plný text záznamu
3
Akademický článek
Functional interpretation and the existence property.
Autor: Jørgensen, Klaus Frovin1 frovin@ruc.dk
Publikováno v: Mathematical Logic Quarterly. Nov2004, Vol. 50 Issue 6, p573-576. 4p.
Zobrazit plný text záznamu
4
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
7
Kniha
Henkin and Hybrid Logic.
Autor: Blackburn, Patrick, Huertas, Antonia, Manzano, María, Jørgensen, Klaus Frovin
Publikováno v: Life & Work of Leon Henkin; 2014, p279-306, 28p
Zobrazit plný text záznamu
8
Kniha
A Seligman-Style Tableau System.
Autor: Blackburn, Patrick, Bolander, Thomas, Braüner, Torben, Jørgensen, Klaus Frovin
Publikováno v: Logic for Programming, Artificial Intelligence & Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings; 2013, p147-163, 17p
Zobrazit plný text záznamu
9
Kniha
Contextual Validity in Hybrid Logic.
Autor: Blackburn, Patrick, Jørgensen, Klaus Frovin
Publikováno v: Modeling & Using Context: 8th International & Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings; 2013, p185-198, 14p
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje