Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Standard_translation> ?p ?o }
Showing triples 1 to 36 of
36
with 100 triples per page.
- Standard_translation abstract "In modal logic, standard translation is a way of transforming formulas of modal logic into formulas of first-order logic which capture the meaning of the modal formulas. Standard translation is defined inductively on the structure of the formula. In short, atomic formulas are mapped onto unary predicates and the objects in the first-order language are the accessible worlds. The logical connectives from propositional logic remain untouched and the modal operators are transformed into first-order formulas according to their semantics.".
- Standard_translation wikiPageID "25310346".
- Standard_translation wikiPageLength "4644".
- Standard_translation wikiPageOutDegree "22".
- Standard_translation wikiPageRevisionID "433391110".
- Standard_translation wikiPageWikiLink Accessibility_relation.
- Standard_translation wikiPageWikiLink Antecedent_(logic).
- Standard_translation wikiPageWikiLink Atomic_formula.
- Standard_translation wikiPageWikiLink Category:Modal_logic.
- Standard_translation wikiPageWikiLink Category:Predicate_logic.
- Standard_translation wikiPageWikiLink First-order_logic.
- Standard_translation wikiPageWikiLink Free_variables_and_bound_variables.
- Standard_translation wikiPageWikiLink Johan_van_Benthem_(logician).
- Standard_translation wikiPageWikiLink Kripke_semantics.
- Standard_translation wikiPageWikiLink Logical_connective.
- Standard_translation wikiPageWikiLink Logical_consequence.
- Standard_translation wikiPageWikiLink Modal_depth.
- Standard_translation wikiPageWikiLink Modal_logic.
- Standard_translation wikiPageWikiLink Multimodal_logic.
- Standard_translation wikiPageWikiLink Patrick_Blackburn.
- Standard_translation wikiPageWikiLink Predicate_(mathematical_logic).
- Standard_translation wikiPageWikiLink Propositional_calculus.
- Standard_translation wikiPageWikiLink Recursive_definition.
- Standard_translation wikiPageWikiLink Vacuous_truth.
- Standard_translation wikiPageWikiLinkText "Standard translation".
- Standard_translation wikiPageWikiLinkText "standard translation".
- Standard_translation subject Category:Modal_logic.
- Standard_translation subject Category:Predicate_logic.
- Standard_translation hypernym Way.
- Standard_translation comment "In modal logic, standard translation is a way of transforming formulas of modal logic into formulas of first-order logic which capture the meaning of the modal formulas. Standard translation is defined inductively on the structure of the formula. In short, atomic formulas are mapped onto unary predicates and the objects in the first-order language are the accessible worlds.".
- Standard_translation label "Standard translation".
- Standard_translation sameAs Q7598385.
- Standard_translation sameAs m.09gcygt.
- Standard_translation sameAs Q7598385.
- Standard_translation wasDerivedFrom Standard_translation?oldid=433391110.
- Standard_translation isPrimaryTopicOf Standard_translation.