| Hybrid Logic |
Article Index for Hybrid |
Website Links For Hybrid |
Information AboutHybrid Logic |
| CATEGORIES ABOUT HYBRID LOGIC | |
| modal 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: @ip Hybrid logics with extra or other operators exist, but @ is more-or-less "standard." Hybrid logics have many features in common with Temporal Logic s (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 . EXTERNAL LINKS |
|
|