Zobrazeno 1 - 10
of 128
pro vyhledávání: '"Feferman, S."'
Autor:
Feferman, S., Jäger, G.
Publikováno v:
The Journal of Symbolic Logic, 1983 Mar 01. 48(1), 63-70.
Externí odkaz:
https://www.jstor.org/stable/2273321
Autor:
Feferman, S., Spector, C.
Publikováno v:
The Journal of Symbolic Logic, 1962 Dec 01. 27(4), 383-390.
Externí odkaz:
https://www.jstor.org/stable/2964544
Publikováno v:
Proofs, categories and computations: essays in honor of Grigori Mints
Understanding modal predicate logic is a continuing challenge, both philosophical and mathematical. In this paper, I study this system in terms of frame correspondences, finding a number of definability results using substitution methods, including n
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::6b2c5c13edb458b5b785972197891f3c
https://dare.uva.nl/personal/pure/en/publications/frame-correspondences-in-modal-predicate-logic(c61a7b22-a1cb-4842-8863-549bbf69df5f).html
https://dare.uva.nl/personal/pure/en/publications/frame-correspondences-in-modal-predicate-logic(c61a7b22-a1cb-4842-8863-549bbf69df5f).html
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.
K zobrazení výsledku je třeba se přihlásit.
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.
K zobrazení výsledku je třeba se přihlásit.
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.
K zobrazení výsledku je třeba se přihlásit.
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.
K zobrazení výsledku je třeba se přihlásit.