Zobrazeno 1 - 10
of 40 587
pro vyhledávání: '"Verbrugge, A."'
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:
Horvat, Sebastijan1 (AUTHOR), Perkov, Tin2 (AUTHOR) tin.perkov@ufzg.hr, Vuković, Mladen1 (AUTHOR)
Publikováno v:
Mathematical Logic Quarterly. May2023, Vol. 69 Issue 2, p231-243. 13p.
Autor:
PORTER, STANLEY E.1
Publikováno v:
Journal of the Evangelical Theological Society. Sep2013, Vol. 56 Issue 3, p577-583. 7p.
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.
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.
Autor:
Horvat, Sebastijan
Correspondence theory systematically investigates the relationship between modal and classical logic. Bisimulations and standard translation are the two tools we need to understand modal expressivity. Van Benthem’s characterization theorem shows th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=57a035e5b1ae::5abf785ca19a3330b21909b392c6e5ba
https://www.bib.irb.hr/1253113
https://www.bib.irb.hr/1253113
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:
Deantoni, Julien, Muñoz, Paula, Gomes, Cláudio, Verbrugge, Clark, Mittal, Rakshit, Heinrich, Robert, Bellis, Stijn, Vallecillo, Antonio
Uncertainty is an inherent property of any complex system, especially those that integrate physical parts or operate in real environments. In this paper, we focus on the Digital Twins of adaptive systems, which are particularly complex to design, ver
Externí odkaz:
http://arxiv.org/abs/2402.10535
Generalised Veltman semantics for interpretability logic, or nowadays called Verbrugge semantics (in honor of Rineke Verbrugge), was developed to obtain certain non-derivability results since Veltman semantics for interpretability logic is not fine-g
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=57a035e5b1ae::528853df01aa8b7a4b7262a7496eb4bc
https://www.bib.irb.hr/1253110
https://www.bib.irb.hr/1253110
The basic semantics for the interpretability logics are Veltman models defined by D. de Jongh and F. Veltman in 1988. They were used by V. Švejdar in 1991. to prove some independence results. De Jongh tried to generalize Švejdar's arguments and cam
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=57a035e5b1ae::5308b5f0279d2bf3da1fb3e00c868584
https://www.bib.irb.hr/1253112
https://www.bib.irb.hr/1253112