DeepAI AI Chat
Log In Sign Up

A logical theory for strong and weak ontic necessities in branching time

08/25/2022
by   Fengkui Ju, et al.
Beijing Normal University
0

Ontic necessities are those modalities universally quantifying over domains of ontic possibilities, whose “existence” is independent of our knowledge. An ontic necessity, called the weak ontic necessity, causes interesting questions. An example for it is “I should be dead by now”. A feature of this necessity is whether it holds at a state has nothing to do with whether its prejacent holds at the state. Is there a weak epistemic necessity expressed by “should”? Is there a strong ontic necessity expressed by “must”? How do we make sense of the strong and weak ontic necessities formally? In this paper, we do the following work. Firstly, we recognize strong/weak ontic/epistemic necessities and give our general ideas about them. Secondly, we present a complete logical theory for the strong and weak ontic necessities in branching time. This theory is based on the following approach. The weak ontic necessity quantifies over a domain of expected timelines, determined by the agent's system of ontic rules. The strong ontic necessity quantifies over a domain of accepted timelines, determined by undefeatable ontic rules.

READ FULL TEXT

page 1

page 2

page 3

page 4

08/25/2022

A logical theory for conditional weak ontic necessity based on context update

Weak ontic necessity is the ontic necessity expressed by “should” or “ou...
05/28/2009

Weak Evolvability Equals Strong Evolvability

An updated version will be uploaded later....
06/23/2009

A Logical Characterization of Iterated Admissibility

Brandenburger, Friedenberg, and Keisler provide an epistemic characteriz...
01/23/2013

Contextual Weak Independence in Bayesian Networks

It is well-known that the notion of (strong) conditional independence (C...
05/22/2020

A Novel Semantics for Belief, Knowledge and Psychological Alethic Modality

Recently there have been numerous proposed solutions to the problem of l...
07/20/2018

Kripke Semantics of the Perfectly Transparent Equilibrium

The Perfectly Transparent Equilibrium is algorithmically defined, for an...
10/09/2022

Contrastive Representation Learning for Conversational Question Answering over Knowledge Graphs

This paper addresses the task of conversational question answering (Conv...