Resolution in Modal, Description and Hybrid Logic

2001 ◽  
Vol 11 (5) ◽  
pp. 717-736 ◽  
Author(s):  
C. Areces
Keyword(s):  
Hybrid Logic ◽  
Modal Description

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

Aeroelastic Control and Estimation with a Minimal Nonlinear Modal Description

AIAA Journal ◽  
2021 ◽  
pp. 1-17 ◽  
Author(s):  
Marc Artola ◽  
Norberto Goizueta ◽  
Andrew Wynn ◽  
Rafael Palacios
Keyword(s):  
Modal Description

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