Hybrid logic
Hybrid logic Hybrid logic refers to a number of extensions to propositional modal logic with more expressive power, though still ...
http://en.wikipedia.org/wiki/Hybrid_logic - 2k - Cached - Similar pages

time logic   (translated from Dutch)
time logic time logics or temporal logics are able ... seen as extension of propositielogica, predikatenlogica, modale logic or hybrid logic. Is there extra formal express equipment or ... Arthur prior and that of Reichenbach. time logic of prior The temporal logic of ...
http://nl.wikipedia.org/wiki/Tijdslogica - 5k - Cached (Dutch) - Wikipedia (Dutch) - Similar pages

Hybrid circuit
Hybrid circuit An encapsulated hybrid circuit on a printed circuit board. An ... capacitors etc., often in miniature size. A hybrid circuit is often encapsulated in epoxy. In ... tubes were used simultaneously. See also Solid Logic Technology External link Technologies : Hybrids & Mixed Technology
http://en.wikipedia.org/wiki/Hybrid_circuit - 1k - Cached - Similar pages

Hybrid system
Hybrid system A hybrid system consists of both discrete signals and continuous signals. Often, the term hybrid dynamic system is used, to distinguish over hybrid systems such as those that combine neural nets and fuzzy logic, electrical and mechanical drivelines. The term ...
http://en.wikipedia.org/wiki/Hybrid_system - 3k - Cached - Similar pages

Talk:Hybrid
Talk:Hybrid I am not sure how to work ... articles. Where should go the discussion of hybrid vigor, the Green Revolution, F1 hybrids, F2 ... 2003 (UTC) There is another issue: a hybrid is a cross between two specimen belonging ... forms). There is a second issue: a hybrid of two cultivars. Actually a cultivar is most often a hybrid in its own right. The way ...
http://en.wikipedia.org/wiki/Talk:Hybrid - 16k - Cached - Similar pages

Modal logic
Modal logic A modal logic is any logic for handling modalities: concepts like possibility, impossibility ... treated in similar ways. A formal modal logic represents modalities using modal sentential operators. For ... the notion of possibility; in a modal logic this is represented as an operator, ...
http://en.wikipedia.org/wiki/Modal_logic - 38k - Cached - Similar pages

Temporal logic
Temporal logic In logic, the term temporal logic is used to describe any system of ... sometimes also used to refer to tense logic, a particular modal logic-based system of temporal logic introduced ...
http://en.wikipedia.org/wiki/Temporal_logic - 3k - Cached - Similar pages

Solid Logic Technology
Solid Logic Technology A double width SLT card. The square metal cans contain the hybrid circuits. Solid Logic Technology (SLT) was IBMs method for packaging ... the time. IBM chose to design custom hybrid circuits using discrete, flip chip-mounted, glass ... s modules were mounted). External link Solid Logic Technology: Versatile, High-Performance Microelectronics (PDF)
http://en.wikipedia.org/wiki/Solid_Logic_Technology - 1k - Cached - Similar pages

Category:Modal logic
Category:Modal logic The main article for this category is Modal logic. Subcategories There is 1 subcategory to this category. A Axioms of modal logic Pages in category "Modal logic" There are 30 pages in this section of this category. Modal logic A Accessibility relation Accident (philosophy) Actualism ...
http://en.wikipedia.org/wiki/Category:Modal_logic - 1k - Cached - Similar pages

Talk:Modal logic
Talk:Modal logic Names for logic systems Question: Who created the system of names like "S4" and "t" for logic systems? Is there a central registry somewhere ... 17 Jul 2004 (UTC) List of modal logic systems is the most complete list I ... but I think that the central modal logic systems (up to S5) were named ...
http://en.wikipedia.org/wiki/Talk:Modal_logic - 60k - Cached - Similar pages