Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Polarity-based semantics"'
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.
Autor:
Pinto Prieto, Daira
Publikováno v:
UVaDOC. Repositorio Documental de la Universidad de Valladolid
instname
instname
Sahlqvist theory is an important result in the model theory of modal logic, since it identifies a class of formulas which have effectively computable first order correspondents. Recently, this theory has been generalised to a larger set of logics by
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::95c15fcc620b6c798411f9f4aff2d9d1
http://uvadoc.uva.es/handle/10324/45558
http://uvadoc.uva.es/handle/10324/45558
Kniha
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.
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.
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.