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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2016

In the paper we present a relatively simple proof of cut elimination theorem for variety of hybrid logics in the language with…

2015

Classical higher-order logic is suited as a meta-logic in which a range of other logics can be elegantly embedded. Interactive…

2012

Single-electron transistor (SET) circuits can be stacked above the CMOS platform to achieve functional and heterogeneous 3-D…

2011

of the Thesis Energy-Performance Characterization of CMOS/Magnetic Tunnel Junction (MTJ) Hybrid Logic Circuits by Fengbo Ren…

2009

This work compares two internalized tableau calculi for HL(@), both terminating without loop-checking and with any rule…

2007

An Electro-Optical Hybrid Logic Gate is defined as a circuit that accepts either electrical or optical signals and produces both…

2006

This paper introduces an algebraic semantics for hybrid logic with binders ${\mathcal{H}(\downarrow,@)}$. It is known that this…

2004

We provide a strongly complete infinitary proof system for hybrid logic. This proof system can be extended with countably many…

2001

It is commonly agreed nowadays that information structure is a crucial aspect of the linguistic meaning of a sentence and its…

1950