AI Chat AI Image Generator AI Video Text to Speech

Non-Normal Super-Strict Implications

04/14/2022

∙

by Guido Gherardi, et al.

∙

∙

This paper introduces the logics of super-strict implications that are based on C.I. Lewis' non-normal modal logics S2 and S3. The semantics of these logics is based on Kripke's semantics for non-normal modal logics. This solves a question we left open in a previous paper by showing that these logics are weakly connexive.

Guido Gherardi
3 publications
Eugenio Orlandelli
3 publications

page 1

page 2

page 3

page 4

research

∙ 06/09/2011

Fusions of Description Logics and Abstract Description Systems

Fusions are a simple way of combining logics. For normal modal logics, f...

0 F. Baader, et al. ∙

research

∙ 03/21/2023

Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals

Causal multiteam semantics is a framework where probabilistic dependenci...

0 Fausto Barbero, et al. ∙

research

∙ 08/10/2021

Explicit non-normal modal logic

Faroldi argues that deontic modals are hyperintensional and thus traditi...

0 Atefeh Rohani, et al. ∙

research

∙ 06/30/2022

Reasoning in Non-normal Modal Description Logics

Non-normal modal logics, interpreted on neighbourhood models which gener...

0 Tiziano Dalmonte, et al. ∙

research

∙ 01/28/2019

Intuitionistic Non-Normal Modal Logics: A general framework

We define a family of intuitionistic non-normal modal logics; they can b...

0 Tiziano Dalmonte, et al. ∙

research

∙ 01/18/2022

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics

In this paper, we study three representations of lattices by means of a ...

0 Wesley H. Holliday, et al. ∙

research

∙ 03/10/2000

A tableau methodology for deontic conditional logics

In this paper we present a theorem proving methodology for a restricted ...

0 Alberto Artosi, et al. ∙