Buscar
Mostrando ítems 11-20 de 5073
On Graph-theoretic Fibring of Logics
(Oxford Univ PressOxfordInglaterra, 2009)
Construction duration predictive model based on factorial analysis and fuzzy logic
(ANTAC - Associação Nacional de Tecnologia do Ambiente Construído, 2019)
Formalizing alternating-time temporal logic in the coq proof assistant
(UR.FI-INCO, 2014)
This work presents a complete formalization of Alternating-time Temporal Logic (ATL) and its semantic model, Concurrent Game Structures (CGS), in the Calculus of (Co)Inductive Constructions, using the logical framework ...
Two's Company: The Humbug Of Many Logical Values
(Birkhäuser Verlag Basel • Boston • Berlin, 2005)
Fibring In The Leibniz Hierarchy
(, 2007)
Costuras cognitivas de múltiplas lógicas institucionais nas argumentações estratégicas de gestores do setor público
(Universidade Federal de Minas GeraisBrasilFACE - FACULDADE DE CIENCIAS ECONOMICASPrograma de Pós-Graduação em AdministraçãoUFMG, 2022-02-24)
In this study, an overview of the literatures referring to institutional logics and cognitive sewing is made. At first, the concept of institutional logic is discussed, emphasizing especially the perspective of identifying ...