scholarly journals A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies

2013 ◽  
pp. 76-90 ◽  
Author(s):  
Marta Cialdea Mayer
Keyword(s):  
Hybrid Logic ◽  
Proof Procedure

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

Third International Workshop on Hybrid Logic (HyLo'01)

2001 ◽  
Vol 9 (5) ◽  
pp. 735-737
Author(s):  
P. Blackburn
Keyword(s):  
International Workshop ◽  
Hybrid Logic

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