Buscar
Mostrando ítems 51-60 de 9833
Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate
(2012)
Logics with quantifiers that range over a model-theoretic universe of propositions are interesting for several applications. For example, in the context of epistemic logic the knowledge axioms can be expressed by the single ...
A lógica de Lewis Carroll
(Universidade Federal de Santa MariaBrasilFilosofiaUFSMPrograma de Pós-Graduação em FilosofiaCentro de Ciências Sociais e Humanas, 2017-03-10)
The present dissertation presents an examination of the Carrollian logic through the
reconstruction of its syllogistic theory. Lewis Carroll was one of the main responsible for the
dissemination of logic during the ...
Verificación de lógicas modales dinámicas en Coq
(2019-03)
Los lenguajes modales son lenguajes adecuados para describir propiedades de grafos dirigidos con nodos etiquetados. Estas estructuras aparecen en una gran variedad de problemas de diversas áreas del conocimiento. Como ...
Conhecimento simbólico em John Venn
(Universidade Federal de Santa MariaBRFilosofiaUFSMPrograma de Pós-Graduação em Filosofia, 2013-03-08)
This dissertation presents a reconstruction of John Venn s (1834-1923) logical theory
in Symbolic Logic (1881; 1894). In his work, Venn presents an algebra of logic, and faces a
number of philosophical problems underlying ...
Introspection as an action in relational models
(Elsevier Science, 2019-11)
This work studies positive and negative introspection not as ‘static’ properties an agent might or might not have, but rather as epistemic actions that change the agent's knowledge. The proposed actions include not only ...
Preference structures, choice functions and their logical formPreference structures, choice functions and their logical form
(Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA), 2002)
Non-deterministic Semantics In Polynomial Format
(Elsevier, 2014)