BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Ondrej Majer

Ondrej Majer contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.LOmath.PRArtificial IntelligenceLogic in Computer Science

Trust snapshot

Quick read

Trust 15 - UnverifiedVerification L1Unclaimed author
3works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

3 published item(s)

preprint2022arXiv

Updating belief functions over Belnap--Dunn logic

Belief and plausibility are weaker measures of uncertainty than that of probability. They are motivated by the situations when full probabilistic information is not available. However, information can also be contradictory. Therefore, the framework of classical logic is not necessarily the most adequate. Belnap-Dunn logic was introduced to reason about incomplete and contradictory information. Klein et al and Bilkova et al generalize the notion of probability measures and belief functions to Belnap-Dunn logic, respectively. In this article, we study how to update belief functions with new pieces of information. We present a first approach via a frame semantics of Belnap-Dunn logic.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

The (Relevant) Logic of Scientific Discovery

This paper presents a thoroughgoing interpretation of a weak relevant logic built over the Dunn-Belnap four-valued semantics in terms of the communication of information in a network of sites of knowledge production (laboratories). The knowledge communicated concerns experimental data and the regularities tested using it. There have been many nods to interpretations similar to ours - for example, in Dunn (1976), Belnap (1977). The laboratory interpretation was outlined in Bilkova et al. (2010). Our system is built on the Routley--Meyer semantics for relevant logic equipped with a four-valued valuation of formulas, where labs stand in for situations, and the four values reflect the complexity of assessing results of experiments. This semantics avoids using the Routley star, on the cost of introducing a further relation, required in evaluating falsity assignments of implication. We can however provide a natural interpretation of two accessibility relations - confirmation and refutation of hypotheses are two independent processes in our laboratory setup. This setup motivates various basic properties of the accessibility relations, as well as a number of other possible restrictions. This gives us a flexible modular system which can be adjusted to specific epistemic contexts. As perfect regularities are rarely, or perhaps never, actually observed, we add probabilities to the logical framework. As our logical framework is non-classical, the probability is non-classical as well, satisfying a weaker version of Kolmogorov axioms (cf. Priest 2006). We show that these probabilities allow for a relative frequency as well as for a subjective interpretation (we provide a Dutch book argument). We further show how to update the probabilities and to distinguish conditional probabilities from the probability of conditionals.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Probabilities with Gaps and Gluts

Belnap-Dunn logic (BD), sometimes also known as First Degree Entailment, is a four-valued propositional logic that complements the classical truth values of True and False with two non-classical truth values Neither and Both. The latter two are to account for the possibility of the available information being incomplete or providing contradictory evidence. In this paper, we present a probabilistic extension of BD that permits agents to have probabilistic beliefs about the truth and falsity of a proposition. We provide a sound and complete axiomatization for the framework defined and also identify policies for conditionalization and aggregation. Concretely, we introduce four-valued equivalents of Bayes' and Jeffrey updating and also suggest mechanisms for aggregating information from different sources.

0 citations0 reviewsNo code linkedOpen access