Zobrazeno 1 - 10
of 18
pro vyhledávání: '"General frames"'
Autor:
Arló-Costa, Horacio, Pacuit, Eric
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2006 Nov 01. 84(2), 171-210.
Externí odkaz:
https://www.jstor.org/stable/20016830
Autor:
Litak, Tadeusz
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2004 Apr 01. 76(3), 329-342.
Externí odkaz:
https://www.jstor.org/stable/20016595
Frame semantics, given by Kripke or neighborhood frames, do not give completeness theorems for all modal logics extending, respectively, K and E. Such shortcoming can be overcome by means of general frames, i.e., frames equipped with a collection of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::554ad63d537d2e30034f83a7a04338ed
http://hdl.handle.net/11365/1200188
http://hdl.handle.net/11365/1200188
Autor:
Matteo Pascucci
This article concerns the metatheory of a class of modal logics whose language includes propositional constants of various kinds. The main novelties are the use of general frames with specific restrictions and the definition of the strict range of a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c577e4e9f1cadade1309fd2e1e92c441
http://hdl.handle.net/11562/931563
http://hdl.handle.net/11562/931563
Autor:
J. Mendoza
Publikováno v:
Innovaciones de Negocios, Vol 5, Iss 2, Pp 191-208 (2008)
Keywords: organizational culture, cultural change, general frames of reference, civil service, public administrationAbstract: This paper outlines the study of organizational culture and its changes in a context of public administration through the an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d0eec43e81a85a90939d8beb3d92cac6
https://doi.org/10.29105/rinn5.10-3
https://doi.org/10.29105/rinn5.10-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.
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.
Publikováno v:
CMCS
Electronic Notes in Theoretical Computer Science, 106, 219-241. Elsevier
Electronic Notes in Theoretical Computer Science, 106, 219-241. Elsevier
With coalgebras usually being defined in terms of an endofunctor T on sets, this paper shows that modal logics for T-coalgebras can be naturally described as functors L on boolean algebras. Building on this idea, we study soundness, completeness and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2c27f89a6ee74ef35e3d36ecfeb9ad0a
https://doi.org/10.1016/j.entcs.2004.02.037
https://doi.org/10.1016/j.entcs.2004.02.037
Publikováno v:
Electronic Notes in Theoretical Computer Science, 82(1). Elsevier
Theoretical Computer Science, 327, 109-134. Elsevier
Theoretical Computer Science, 327, 109-134. Elsevier
We argue that the category of Stone spaces forms an interesting base category for coalgebras, in particular, if one considers the Vietoris functor as an analogue to the power set functor on the category of sets.We prove that the so-called descriptive
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::aafa57aed7c0ac841de6666eba478f13
https://doi.org/10.1016/j.tcs.2004.07.023
https://doi.org/10.1016/j.tcs.2004.07.023
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.