Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Hybrid_logic> ?p ?o }
Showing triples 1 to 37 of
37
with 100 triples per page.
- Hybrid_logic abstract "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). The history of hybrid logic began with Arthur Prior's work in tense logic.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.".
- Hybrid_logic wikiPageExternalLink logic-hybrid.
- Hybrid_logic wikiPageExternalLink hylo.loria.fr.
- Hybrid_logic wikiPageID "760848".
- Hybrid_logic wikiPageLength "2141".
- Hybrid_logic wikiPageOutDegree "16".
- Hybrid_logic wikiPageRevisionID "634445606".
- Hybrid_logic wikiPageWikiLink Abox.
- Hybrid_logic wikiPageWikiLink Automated_reasoning.
- Hybrid_logic wikiPageWikiLink Category:Modal_logic.
- Hybrid_logic wikiPageWikiLink Computer.
- Hybrid_logic wikiPageWikiLink Description_logic.
- Hybrid_logic wikiPageWikiLink Feature_logic.
- Hybrid_logic wikiPageWikiLink First-order_logic.
- Hybrid_logic wikiPageWikiLink If_and_only_if.
- Hybrid_logic wikiPageWikiLink Logic.
- Hybrid_logic wikiPageWikiLink Modal_logic.
- Hybrid_logic wikiPageWikiLink Model_theory.
- Hybrid_logic wikiPageWikiLink Natural_language.
- Hybrid_logic wikiPageWikiLink Proof_theory.
- Hybrid_logic wikiPageWikiLink Propositional_calculus.
- Hybrid_logic wikiPageWikiLink Tbox.
- Hybrid_logic wikiPageWikiLink Temporal_logic.
- Hybrid_logic wikiPageWikiLinkText "Hybrid logic".
- Hybrid_logic wikiPageWikiLinkText "hybrid logic".
- Hybrid_logic wikiPageWikiLinkText "hybrid".
- Hybrid_logic wikiPageUsesTemplate Template:Logic-stub.
- Hybrid_logic wikiPageUsesTemplate Template:Reflist.
- Hybrid_logic subject Category:Modal_logic.
- Hybrid_logic type Redirect.
- Hybrid_logic comment "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).".
- Hybrid_logic label "Hybrid logic".
- Hybrid_logic sameAs Q5953248.
- Hybrid_logic sameAs m.0393_b.
- Hybrid_logic sameAs Q5953248.
- Hybrid_logic wasDerivedFrom Hybrid_logic?oldid=634445606.
- Hybrid_logic isPrimaryTopicOf Hybrid_logic.