AI Chat AI Image Generator AI Video Text to Speech

Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics

10/18/2022

∙

by Yuki Nishimura, et al.

∙

∙

Hybrid logic is one of the extensions of modal logic. The many-dimensional product of hybrid logic is called hybrid product logic (HPL). We construct a sound and complete tableau calculus for two-dimensional HPL. Also, we made a tableau calculus for Hybrid dependent Product Logic (HdPL), where one dimension depends on the other. In addition, we add the special rule to the tableau calculus for HdPL and show that it is still sound and complete. All of them lack termination, however.

page 1

page 2

page 3

page 4

research

∙ 01/25/2022

First-Order Game Logic and Modal Mu-Calculus

This paper investigates first-order game logic and first-order modal mu-...

0 Noah Abou El Wafa, et al. ∙

research

∙ 06/24/2023

On the local consequence of modal Product logic: standard completeness and decidability

Modal extensions of Product fuzzy logic can be considered both over Krip...

0 Amanda Vidal, et al. ∙

research

∙ 07/02/2020

Many-Sorted Hybrid Modal Languages

We continue our investigation into hybrid polyadic multi-sorted logic wi...

0 Ioana Leustean, et al. ∙

research

∙ 01/05/2010

Named Models in Coalgebraic Hybrid Logic

Hybrid logic extends modal logic with support for reasoning about indivi...

0 Lutz Schroeder, et al. ∙

research

∙ 03/31/2020

Axiomatizing Hybrid XPath with Data

In this paper we introduce sound and strongly complete axiomatizations f...

0 Carlos Areces, et al. ∙

research

∙ 12/31/2018

A modal aleatoric calculus for probabilistic reasoning: extended version

We consider multi-agent systems where agents actions and beliefs are det...

0 Tim French, et al. ∙

research

∙ 03/07/2018

On the Verification of Logically Decorated Graph Transformations

We address the problem of reasoning on graph transformations featuring a...

0 Jon Haël Brenas, et al. ∙