Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics
V Gliozzi, GL Pozzato, G Tessore… - Journal of Logic and …, 2024 - academic.oup.com
In this paper we present our final solution to the problem of designing an efficient theorem
prover for Conditional Logics with the selection function semantics. Conditional Logics …
prover for Conditional Logics with the selection function semantics. Conditional Logics …
[HTML][HTML] A logic of trust-based beliefs
J Jiang, P Naumov - Synthese, 2024 - Springer
Traditionally, knowledge and beliefs are attributed to agents. The article explores an
alternative approach where knowledge is informed by data and belief comes from trust in …
alternative approach where knowledge is informed by data and belief comes from trust in …
A logic for desire based on causal inference
K Xie, J Yan - Journal of Logic and Computation, 2024 - academic.oup.com
Abstract Reasoning about desire plays a significant role in logic, artificial intelligence and
philosophy, etc. In this paper, we propose an interpretation of desire that takes into account …
philosophy, etc. In this paper, we propose an interpretation of desire that takes into account …
Nonmonotonic inferences: Classical conclusions in an intuitionistic modal framework
G Fischer Servi - Journal of Logic and Computation, 2024 - academic.oup.com
We introduce a conceptual foundation for nonmonotonic reasoning which integrates an
intuitionistic plurimodal logic with classical logic. The need for a multilogical system arises …
intuitionistic plurimodal logic with classical logic. The need for a multilogical system arises …