Terminating Tableau Systems for Hybrid Logic with Difference and Converse

2009 ◽  
Vol 18 (4) ◽  
pp. 437-464 ◽  
Author(s):  
Mark Kaminski ◽  
Gert Smolka
Keyword(s):  
Hybrid Logic ◽  
Tableau Systems

scholarly journals Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts

2022 ◽  
Author(s):  
Torben Braüner
Keyword(s):  
Natural Deduction ◽  
Hybrid Logic ◽  
Proof Systems ◽  
Sequent Systems ◽  
Tableau Systems

This paper is about non-labelled proof-systems for hybrid logic, that is, proof-systems where arbitrary formulas can occur, not just satisfaction statements. We give an overview of such proof-systems, focusing on analytic systems: Natural deduction systems, Gentzen sequent systems and tableau systems. We point out major results and we discuss a couple of striking facts, in particular that non-labelled hybrid-logical natural deduction systems are analytic, but this is not proved in the usual way via step-by-step normalization of derivations.

Full adder design based on hybrid logic of M4 structure

2014 ◽  
Vol 31 (5) ◽  
pp. 479
Author(s):  
Yinshui Xia ◽  
Shiheng Wang ◽  
Libo Qian
Keyword(s):  
Full Adder ◽  
Hybrid Logic

scholarly journals Hybrid logic with the difference modality for generalisations of graphs

2010 ◽  
Vol 8 (4) ◽  
pp. 441-458 ◽  
Author(s):  
Robert S.R. Myers ◽  
Dirk Pattinson
Keyword(s):  
Hybrid Logic ◽  
The Difference

scholarly journals Hybrid Logic as extension of Modal and Temporal Logic

2019 ◽  
pp. 34
Author(s):  
Daniel Álvarez Domínguez
Keyword(s):  
Temporal Logic ◽  
Hybrid Logic ◽  
Arthur Prior ◽  
Modal And Temporal Logic

La lógica temporal fue creada por Arthur Prior para representar información temporal en un sistema lógico mediante operadores modales-temporales como P, F, H o G. Intuitivamente tales operadores pueden entenderse respectivamente como “fue alguna vez en el pasado...”, “será alguna vez en el futuro...”, “ha sido siempre en el pasado...” y “será siempre en el futuro...”. La evaluación de las fórmulas construidas a partir de ellos se lleva a cabo en semánticas kripkeanas y, de este modo, la lógica modal y la temporal están relacionadas. Sin embargo, aunque sus mecanismos permiten formalizar la información modal-temporal con cierta precisión, ambas lógicas adolecen de un problema de expresividad que la lógica híbrida es capaz de solventar. En efecto, uno de los problemas de la lógica modal reside en su incapacidad para nombrar puntos concretos dentro de un modelo. La lógica temporal, al basarse en ella, tampoco puede hacerlo. Pero la lógica de primer orden sí es capaz gracias a las constantes y a la relación de identidad. La lógica híbrida, que resulta de combinar la lógica modal con la lógica de primer orden, sería una solución a este problema. El principal objetivo de este artículo consiste en explicar el origen de la lógica híbrida a partir de la modal-temporal para mostrar qué añade a ambos sistemas en la representación de información, porqué es más expresiva que ellos y qué relación guarda con el lenguaje de correspondencia de la lógica de primer orden.

scholarly journals Modal Hybrid Logic

2007 ◽  
Vol 16 (2-3) ◽  
Author(s):  
Andrzej Indrzejczak
Keyword(s):  
Hybrid Logic

scholarly journals Coupling CCG and hybrid logic dependency semantics

2001 ◽  
Author(s):  
Jason Baldridge ◽  
Geert-Jan M. Kruijff
Keyword(s):  
Hybrid Logic
Sign in / Sign up

Export Citation Format

Share Document