Results 61 to 70 of about 804 (170)

25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018. [PDF]

J Logic Lang Inf, 2022
Moss L, de Queiroz R.
europepmc   +1 more source

Lógica modal megárico-estoica: posibilidad y necesidad como operadores atléticos [PDF]

, 2021
En este artículo presentamos una posible vía para interpretar las nociones de posibilidad y necesidad desarrolladas en el seno de la lógica megárico-estoica como operadores modales aléticos.
Fernández Cuesta, José Alejandro
core  

Necessidade temporal em Buridan e Jandun: sobre o De Caelo I.12 = Temporal necessity in Buridan and Jandun: debates over De Caelo I.12 = Necessidad temporal en Buridan y Jandun: alrededor De Caelo I.12

Veritas
O presente artigo investiga a conexão entre modalidade e tempo em dois mestres de artes Parisienses ativos na primeira metade do século 14, João Buridan (c. 1290-c. 1361) e João de Jandun (c. 1286-c. 1328).
Alt, Guido José Rey
doaj  

Modelos topológicos para la lógica modal [PDF]

La lógica modal es una rama de la lógica que permite efectuar distinciones entre diferentes "modalidades" de la verdad o falsedad de un enunciado, siendo así posible hablar de fórmulas que pueden ciertas pero no demostrables, demostrablemente ciertas ...
Ronderos Valle, David
core  

Uma formalização da lógica modal usando o assistente de provas Coq.

, 2023
Programa de Pós-Graduação em Ciência da Computação. Departamento de Ciência da Computação, Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto.A modelagem de determinados tipos de sistemas computacionais com a lógica clássica ...
Silveira, Ariel Agne da
core  

Elija su propia Lógica

Azafea: Revista de Filosofía, 2009
RESUMEN: En este artículo se sintetiza una visión moderna de las lógicas modales y temporales. En vez de dar una motivación histórica, el paper presenta estas lógicas en relación con ciertos fragmentos de la lógica de primer orden que poseen propiedades ...
Carlos ARECES
doaj  

Diseño de la lógica subyacente para un sistema de diálogo que gestione información incompleta

, 2019
En un Sistema de Diálogo es más complejo programar los módulos de comprensión semántica que los de generación. Esto se debe a que los agentes humanos no siempre actuamos de forma racional en la interacción comunicativa, no obtenemos todas las inferencias
Salguero Lamillar, Francisco J.
core  

INTRODUÇÃO À LÓGICA MODAL PARA FILÓSOFOS

, 2019
Neste minicurso quero fazer uma introdução às lógicas não clássicas, considerando principalmente, a lógica modal, que embora seja uma lógica não clássica é considerada uma lógica complementar a lógica clássica. Após fazer essa caracterização da filosofia
Rocha, Renato Mendes
core  

Los problemas de la filosofía kripkeana: la crítica a la autoidentificación de los objetos

Revista Colombiana de Filosofía de la Ciencia, 2012
El presente artículo pretende criticar las tesis fuertes de la ontología kripkeana, derivada de la semántica que Kripke desarrolló a partir de la lógica modal, por ser poco claras y precisas y por contener un grave error de fondo: la adopción de las ...
Juan José Colomina Almiñana, Vicente Raga Rosaleny   +1 more
doaj   +1 more source

States of Uncertainty, Risk-Benefit Assessment and Early Clinical Research: A Conceptual Investigation. [PDF]

Sci Eng Ethics, 2022
Schnarr A, Mertz M.
europepmc   +1 more source