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. The history of hybrid logic began with Arthur Prior's work in tense logic.[1]
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 sometimes 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. Hybrid logic is also closely 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.
^Torben Braüner (2008). "Hybrid Logic". Stanford Encyclopedia of Philosophy. Retrieved 1 February 2011.
Hybridlogic refers to a number of extensions to propositional modal logic with more expressive power, though still less than first-order logic. In formal...
In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example...
Often, the term "hybrid dynamical system" is used, to distinguish over hybrid systems such as those that combine neural nets and fuzzy logic, or electrical...
Prior (1957) founded tense logic, now also known as temporal logic, and made important contributions to intensional logic, particularly in Prior (1971)...
Hybrid Web Cluster is a software product developed by HybridLogic Ltd., a Bristol, United Kingdom based company. The software is designed to provide commodity...
frame conditions of modal logics in Kripke semantics into inference rules in a natural deduction formalisation of hybridlogic. Stouppa (2004) surveys the...
Look up Appendix:Glossary of logic in Wiktionary, the free dictionary. This is a glossary of logic. Logic is the study of the principles of valid reasoning...
A hybrid integrated circuit (HIC), hybrid microcircuit, hybrid circuit or simply hybrid is a miniaturized electronic circuit constructed of individual...
Logic translation is the process of representing a text in the formal language of a logical system. If the original text is formulated in ordinary language...
for pattern recognition. Between the 1980s and 1990s, hybrid intelligence systems merged fuzzy logic, neural networks, and evolutionary computation that...
A hybrid organization is an organization that mixes elements, value systems and action logics (e.g. social impact and profit generation) of various sectors...
Kraidy, Marwan Hybridity: or the cultural logic of globalization 2005, Philadelphia: Temple, ISBN 81-317-1100-5 García Canclini, Néstor. Hybrid Cultures. Minneapolis:...
Canid hybrids are the result of interbreeding between the species of the subfamily Caninae. The wolf-like canids are a group of large carnivores that...
uses complementary and symmetrical pairs of p-type and n-type MOSFETs for logic functions. CMOS technology is used for constructing integrated circuit (IC)...
disintegrate. In this context, organizations need to be guided by a hybridlogic, blending proactivity and reactivity, where organizations recognize their...
Animal Logic is an Australian animation and visual effects digital studio based at Disney Studios in Sydney, New South Wales in Australia, Vancouver in...
Cirrus Logic Inc. is an American fabless semiconductor supplier that specializes in analog, mixed-signal, and audio DSP integrated circuits (ICs). Since...
A highly optimized hybrid sorting algorithm is Timsort, which combines merge sort, insertion sort, together with additional logic (including binary search)...
The Ferrari SF90 Stradale (Type F173) is a mid-engine PHEV (plug-in hybrid electric vehicle) sports car produced by the Italian automobile manufacturer...
PMOS or pMOS logic (from p-channel metal–oxide–semiconductor) is a family of digital circuits based on p-channel, enhancement mode metal–oxide–semiconductor...
Superconducting logic refers to a class of logic circuits or logic gates that use the unique properties of superconductors, including zero-resistance wires...
University of Oxford. 2014-11-26. Retrieved 2016-03-20. "Rese demonstrates 'hybrid' logic gate as work towards quantum computer continues". Phys.org. 2015-12-16...
Response Utility is used to create custom convolution reverbs. Logic Pro is a hybrid 32 / 64 bit digital audio workstation and MIDI sequencer software...