AI Chat AI Image Generator AI Video Text to Speech

Quantified Conditional Logics are Fragments of HOL

04/26/2012

∙

by Christoph Benzmueller, et al.

∙

∙

A semantic embedding of (constant domain) quantified conditional logic in classical higher-order logic is presented.

Christoph Benzmueller
6 publications
Valerio Genovese
2 publications

page 1

page 2

page 3

page 4

research

∙ 06/18/2011

Embedding and Automating Conditional Logics in Classical Higher-Order Logic

A sound and complete embedding of conditional logics into classical high...

0 Christoph Benzmueller, et al. ∙

research

∙ 12/21/2019

First-order swap structures semantics for some Logics of Formal Inconsistency

The logics of formal inconsistency (LFIs, for short) are paraconsistent ...

0 Marcelo E. Coniglio, et al. ∙

research

∙ 04/14/2022

Mortensen Logics

Mortensen introduced a connexive logic commonly known as 'M3V'. M3V is o...

0 Luis Estrada-González, et al. ∙

research

∙ 09/07/2016

Equilibrium Graphs

In this paper we present an extension of Peirce's existential graphs to ...

0 Pedro Cabalar, et al. ∙

research

∙ 05/14/2009

Quantified Multimodal Logics in Simple Type Theory

We present a straightforward embedding of quantified multimodal logic in...

0 Christoph Benzmueller, et al. ∙

research

∙ 08/16/2023

Description Logics Go Second-Order – Extending EL with Universally Quantified Concepts

The study of Description Logics have been historically mostly focused on...

0 Joshua Hirschbrunn, et al. ∙

research

∙ 07/19/2022

Existentially Quantified Systems of Equations as an Implicit Representation of Answers in Logic Programming

In this paper we present an alternative approach to formalize the theory...

0 Ján Komara, et al. ∙