A Hybrid Logic of Knowledge Supporting Topological Reasoning

2004 ◽  
pp. 181-195 ◽  
Author(s):  
Bernhard Heinemann
Keyword(s):  
Hybrid Logic ◽  
Logic Of Knowledge ◽  
Topological Reasoning

scholarly journals Topological reasoning and the logic of knowledge

1996 ◽  
Vol 78 (1-3) ◽  
pp. 73-110 ◽  
Author(s):  
Andrew Dabrowski ◽  
Lawrence S. Moss ◽  
Rohit Parikh
Keyword(s):  
Logic Of Knowledge ◽  
Topological Reasoning

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

Monotonic and Non-Monotonic Logics of Knowledge1

1991 ◽  
Vol 15 (3-4) ◽  
pp. 255-274
Author(s):  
Rohit Parikh
Keyword(s):  
Model Theory ◽  
Decision Procedures ◽  
Logic Of Knowledge

We study monotonic and non-monotonic Logics of Knowledge, giving decision procedures and completeness results. In particular we develop a model theory for a non-monotonic Logic of Knowledge and show that it corresponds exactly to normal applications of a non-monotonic rule of inference due to McCarthy.

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
Sign in / Sign up

Export Citation Format

Share Document