Tractable depth-bounded approximations to FDE and its satellites
M D'Agostino, A Solares-Rojas - Journal of Logic and …, 2024 - academic.oup.com
FDE, LP and are closely related to each other and admit of an intuitive informational
interpretation. However, all these logics are co-NP complete, and so idealized models of …
interpretation. However, all these logics are co-NP complete, and so idealized models of …
Knowledge and ignorance in Belnap–Dunn logic
D Kozhemiachenko, L Vashentseva - Logic Journal of the IGPL, 2023 - academic.oup.com
In this paper, we argue that the usual approach to modelling knowledge and belief with the
necessity modality does not produce intuitive outcomes in the framework of the Belnap …
necessity modality does not produce intuitive outcomes in the framework of the Belnap …
[PDF][PDF] An informational approach to logic: towards more realistic models of logical agents
A Solares-Rojas, M D'Agostino - 2023 - researchgate.net
We argue for an informational view of logic according to which reasoning phenomena are
conceived as operations performed by embodied and situated agents. We maintain that …
conceived as operations performed by embodied and situated agents. We maintain that …
Tractable depth-bounded approximations to FDE and its satellites
A Solares-Rojas, M D'Agostino - 2023 - philpapers.org
Abstract FDE, LP and K3 are closely related to each other and admit of an intuitive
informational interpretation. However, all these logics are co-NP complete, and so idealized …
informational interpretation. However, all these logics are co-NP complete, and so idealized …
[PDF][PDF] et Ingénierie des Systèmes Laboratoire d'Informatique Fondamentale d'Orléans
D KOZHEMIACHENKO - benjamin-nguyen.fr
This dissertation is devoted to the study of fuzzy modal logics that formalise (paraconsistent)
reasoning about uncertainty. The understanding of 'uncertain information (data)'here …
reasoning about uncertainty. The understanding of 'uncertain information (data)'here …