In this paper we study the relationship between the notion of coherence for conditional probability assessments on a family of conditional events and the notion of admissibility with respect to scoring rules. By extending a recent result given in literature for unconditional events, we prove, for any given strictly proper scoring rule s, the equivalence between the coherence of a conditional pr...

Abstract argumentation is a prominent reasoning framework. It comes with variety of semantics and has lately been enhanced by probabilities to enable quantitative treatment argumentation. While admissibility fundamental notion for classical in abstract frameworks, it barely reflected so far the probabilistic setting. In this paper, we address based on notions admissibility. Our approach follows...

Our paper investigates the linear logic of knowledge and time LTKr with reflexive intransitive time relation. The logic is defined semantically, – as the set of formulas true at special frames with intransitive and reflexive time binary relation. The LTKr-frames are linear chains of clusters connected by a reflexive intransitive relation RT . Elements inside a cluster are connected by several e...

Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the modal logic S4. Our method is based on a standard semantic ground tableau approach. In particular, we reduce rule admissibility in S4 to satisfiability of a formula in a logic that extends S4. The extended logic is charac...