Hybrid logic

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 formal logic, there is a trade-off between expressiveness and computational tractability (how easy it is to compute/reason with logical languages).

Unlike ordinary modal logic, hybrid logic makes it possible to refer to states (possible worlds) in formulas.This is achieved by a class of formulas called "nominals", which are true in exactly one state, and by the use of the @ operator, which is defined as follows:

:"@i p" is true if and only if "p" is true in the unique state named by the nominal "i" (i.e., the state where "i" is true).

Hybrid logics with extra or other operators exist, but @ is more-or-less "standard."

Hybrid logics have many features in common with temporal logics (which use nominal-like constructs to denote specific points in time), and they are a rich source of ideas for researchers in modern modal logic. They also have applications in the areas of feature logic, model theory, proof theory, and the logical analysis of natural language. It is also deeply connected to description logic because the use of nominals allows one to perform assertional ABox reasoning, as well as the more standard terminological TBox reasoning.

External links

* [http://hylo.loria.fr/ Hybrid Logics' Home Page]
* [http://plato.stanford.edu/entries/logic-hybrid/ Stanford Encyclopedia of Philosophy entry on Hybrid Logic]


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Logic Pro — Logic 8 Developer(s) Apple Inc. Stable release 9.1.5 / 2011 08 08 Operating system …   Wikipedia

  • Hybrid system — A hybrid system is a dynamic system that exhibits both continuous and discrete dynamic behavior a system that can both flow (described by a differential equation) and jump (described by a difference equation). Often, the term hybrid dynamic… …   Wikipedia

  • Hybrid integrated circuit — A hybrid integrated circuit, HIC, hybrid microcircuit, or simply hybrid is a miniaturized electronic circuit constructed of individual devices, such as semiconductor devices (e.g. transistors and diodes) and passive components (e.g. resistors,… …   Wikipedia

  • hybrid diode-transistor logic — loginis hibridinis diodinis tranzistorinis grandynas statusas T sritis radioelektronika atitikmenys: angl. hybrid diode transistor logic vok. Hybrid Dioden Transistor Logik, f rus. гибридная диодно транзисторная логическая схема, f pranc. logique …   Radioelektronikos terminų žodynas

  • Hybrid-Dioden-Transistor-Logik — loginis hibridinis diodinis tranzistorinis grandynas statusas T sritis radioelektronika atitikmenys: angl. hybrid diode transistor logic vok. Hybrid Dioden Transistor Logik, f rus. гибридная диодно транзисторная логическая схема, f pranc. logique …   Radioelektronikos terminų žodynas

  • Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… …   Wikipedia

  • Temporal logic — In logic, the term temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. It is sometimes also used to refer to tense logic, a particular modal logic… …   Wikipedia

  • IBM Solid Logic Technology — Solid Logic Technology (SLT) was IBM s method for packaging electronic circuitry introduced in 1964 with the IBM System/360 series and related machines. IBM chose to design custom hybrid circuits using discrete, flip chip mounted, glass… …   Wikipedia

  • Hegel’s logic and philosophy of mind — Willem deVries LOGIC AND MIND IN HEGEL’S PHILOSOPHY Hegel is above all a systematic philosopher. Awe inspiring in its scope, his philosophy left no subject untouched. Logic provides the central, unifying framework as well as the general… …   History of philosophy

  • Transistor–transistor logic — (TTL) is a class of digital circuits built from bipolar junction transistors (BJT), and resistors. It is called transistor–transistor logic because both the logic gating function (e.g., AND) and the amplifying function are performed by… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”