Zobrazeno 1 - 10 of 75 pro vyhledávání: '"Braüner, T."'
1
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.
2
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.
3
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.
4
Akademický článek
A cut-free Gentzen formulation of the modal logic S5.
Autor: Braüner, T1
Publikováno v: Logic Journal of the IGPL. 2000, Vol. 8 Issue 5, p629-643. 15p.
Zobrazit plný text záznamu
5
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.
6
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
Evidence Logic: A New Look at Neighborhood Structures
Autor: van Benthem, J., Fernández-Duque, D., Pacuit, E., Bolander, T., Braüner, T., Ghilardi, S., Moss, L.
Publikováno v: Advances in Modal Logic: AiML 9, 97-118
STARTPAGE=97;ENDPAGE=118;TITLE=Advances in Modal Logic
Two of the authors (van Benthem and Pacuit) recently introduced evidence logic as a way to model epistemic agents faced with possibly contradictory evidence from different sources. For this the authors used neighborhood semantics, where a neighborhoo
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::9c0202fdd0a8c00ba33becdd3d23d6a3
https://dare.uva.nl/personal/pure/en/publications/evidence-logic-a-new-look-at-neighborhood-structures(4da4ce5e-ea7a-4ffe-8a7c-4c582843bcc5).html
Zobrazit plný text záznamu
8
Topological Completeness of First-Order Modal Logic
Autor: Awodey, S., Kishida, K., Bolander, T., Braüner, T., Ghilardi, S., Moss, L.
Publikováno v: Advances in Modal Logic: AiML 9, 1-17
STARTPAGE=1;ENDPAGE=17;TITLE=Advances in Modal Logic
As McKinsey and Tarski [20] showed, the Stone representation theorem for Boolean algebras extends to algebras with operators to give topological semantics for (classical) propositional modal logic, in which the "necessity" operation is modeled by tak
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::b28b8e14bc86ba6e25889234f3abdc2c
https://dare.uva.nl/personal/pure/en/publications/topological-completeness-of-firstorder-modal-logic(6061555f-cafd-4563-b76b-448cd9b0ae02).html
Zobrazit plný text záznamu
10
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.

Vyhledávací nástroje:

Upřesnit hledání

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