Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Information-flow security is important to the safety and privacy of cyber-physical systems (CPSs) across many domains… Expand
  • figure 1
  • figure 5
  • figure 4
  • figure 6
Is this relevant?
2014
2014
A photodiode-based logic device employing scalable heterojunctions of carbon nanotubes and silicon whose output currents can be… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Preface,.- 1 Introduction to Hybrid Logic.- 2 Proof-Theory of Propositional Hybrid Logic .- 3 Tableaus and Decision Procedures… Expand
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Hybrid Communicating Sequential Processes (HCSP) is an extension of CSP allowing continuous dynamics. We are interested in… Expand
Is this relevant?
Highly Cited
2010
Highly Cited
2010
We present a detailed semantics for linguistic spatial expressions supportive of computational processing that draws… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Densely embedding Magnetic Tunnel Junctions (MTJ) in CMOS logic circuits is considered as one potentially powerful solution to… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 3
Is this relevant?
2004
2004
We propose a framework for embedding model predictive control for Systems-on-a-Chip applications. In order to allow the… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Editorial Preface Dov M. Gabbay.- Hybrid Logic Torben Brauner.- Nominal Terms and Nominal Logics: From Foundations to Meta… Expand
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Categorial grammar has traditionally used the λ-calculus to represent meaning. We present an alternative, dependency-based… Expand
  • figure 1
Is this relevant?
Highly Cited
2000
Highly Cited
2000
This paper is about the good side of modal logic, the bad side of modal logic, and how hybrid logic takes the good and fixes the… Expand
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?