Skip to search formSkip to main contentSkip to account menu

Hybrid logic

Hybrid logic refers to a number of extensions to propositional modal logic with more expressive power, though still less than first-order logic. In… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations
Automated reasoningComputerDescription logicFirst-order logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
A Hybrid Logic Block Architecture in FPGA for Holistic Efficiency
This brief presents a hybrid design of a configurable logic block (CLB) composed of look-up tables (LUTs) and universal logic… 
2011
2011
Axiomatizing Hybrid Products of Monotone Neighborhood Frames
2011
2011
An Outline of a Dynamic Theory of Frames
In this article we present an extension to the theory of frames developed in Petersen (2007). Petersen's theory only applies to… 
2010
2010
Terminating Tableaux for Hybrid Logic with Eventualities
We present the first terminating tableau system for hybrid logic with eventualities. The system is designed as a basis for… 
2009
2009
Model Checking for Hybrid Logic
We consider the model checking problem for Hybrid Logic. Known algorithms so far are global in the sense that they compute… 
2009
2009
Logic of knowledge and discovery via interacting agents - Decision algorithm for true and satisfiable statements
Highly Cited
2006
Highly Cited
2006
Arthur Prior and Hybrid Logic
Contemporary hybrid logic is based on the idea of using formulas as terms, an idea invented and explored by Arthur Prior in the… 
2006
2006
A Minimal Hybrid Logic for Intervals
Taking our inspiration from van Benthem’s treatment of temporal interval structures, and Halpern and Shoham’s work on intervals… 
2004
2004
Natural Deduction for Hybrid Logic
In this paper we give a natural deduction formulation of hybrid logic. Our natural deduction system can be extended with… 
2001
2001
A Hybrid Logic Formalization of Information Structure Sensitive Discourse Interpretation
It is commonly agreed nowadays that information structure is a crucial aspect of the linguistic meaning of a sentence and its… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)