Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
An epistemic probabilistic logic with conditional probabilities
We present a proof-theoretical and model-theoretical approach to reasoning about
knowledge and conditional probability. We extend both the language of epistemic logic and …
knowledge and conditional probability. We extend both the language of epistemic logic and …
A first-order logic for reasoning about knowledge and probability
We present a first-order probabilistic epistemic logic, which allows combining operators of
knowledge and probability within a group of possibly infinitely many agents. We define its …
knowledge and probability within a group of possibly infinitely many agents. We define its …
Probabilistic reasoning about simply typed lambda terms
Abstract Reasoning with uncertainty has gained an important role in computer science,
artificial intelligence and cognitive science. These applications urge for development of …
artificial intelligence and cognitive science. These applications urge for development of …
Logics for reasoning about degrees of confirmation
In this paper, we present a first-order and a propositional logic for reasoning about degrees
of confirmation. We define the appropriate formal languages and describe the …
of confirmation. We define the appropriate formal languages and describe the …
A decidable multi-agent logic with iterations of upper and lower probability operators
We present a propositional logic for reasoning about higher-order upper and lower
probabilities. The main technical result is the proof of decidability of the introduced logical …
probabilities. The main technical result is the proof of decidability of the introduced logical …
Multi-agent logics for reasoning about higher-order upper and lower probabilities
We present a propositional and a first-order logic for reasoning about higher-order upper
and lower probabilities. We provide sound and complete axiomatizations for the logics and …
and lower probabilities. We provide sound and complete axiomatizations for the logics and …
Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
In this paper we define a class of polynomial functors suited for constructing coalgebras
representing processes in which uncertainty plays an important role. In these polynomial …
representing processes in which uncertainty plays an important role. In these polynomial …
Reasoning about degrees of confirmation
Reasoning About Degrees of Confirmation | SpringerLink Skip to main content Advertisement
Springer Nature Link Account Menu Find a journal Publish with us Track your research Search …
Springer Nature Link Account Menu Find a journal Publish with us Track your research Search …
[PDF][PDF] Probabilistic deontic logics for reasoning about uncertain norms
In this article, we present a proof-theoretical and model-theoretical approach to probabilistic
logic for reasoning about uncertainty about normative statements. We introduce two logics …
logic for reasoning about uncertainty about normative statements. We introduce two logics …
Logics with probability operators
This chapter presents the logic LFOP 1 which may be suitable to formalize reasoning about
degrees of beliefs. The aim is that this chapter serves as an illustration for syntax, semantics …
degrees of beliefs. The aim is that this chapter serves as an illustration for syntax, semantics …