Triple

Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).

Phrase: hybrid logic | Statement: [Arthur Prior, notableIdea, hybrid logic]

Target entity: hybrid logic
Context triple: [Arthur Prior, notableIdea, hybrid logic]

• A. Fitting semantics for modal logic
  Fitting semantics for modal logic is a framework in mathematical logic that extends Kripke-style semantics to provide a more general and often intuitionistic treatment of modal operators.
• B. Proof Methods for Modal and Intuitionistic Logics
  "Proof Methods for Modal and Intuitionistic Logics" is a foundational textbook by logician Melvin Fitting that systematically develops semantic and proof-theoretic techniques for reasoning in modal and intuitionistic logic systems.
• C. Intensional Logic
  Intensional Logic is a branch of logic that studies meaning, modality, and context-dependence in language and reasoning, extending classical logic to handle notions like necessity, belief, and time.
• D. Algebraic Methods in Philosophical Logic
  Algebraic Methods in Philosophical Logic is a scholarly work that systematically applies algebraic techniques to the study and clarification of systems in philosophical logic.
• E. Semantical Considerations on Modal Logic
  Semantical Considerations on Modal Logic is a landmark philosophical paper by Saul Kripke that helped found possible-worlds semantics and revolutionized the study of modal logic.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"

Entity: hybrid logic
Triple: [Arthur Prior, notableIdea, hybrid logic]

Hybrid logic is a branch of modal logic that extends standard modal systems with special symbols to directly refer to and reason about individual states or moments.

Target entity: hybrid logic
Target entity description: Hybrid logic is a branch of modal logic that extends standard modal systems with special symbols to directly refer to and reason about individual states or moments.

• A. Fitting semantics for modal logic
  Fitting semantics for modal logic is a framework in mathematical logic that extends Kripke-style semantics to provide a more general and often intuitionistic treatment of modal operators.
• B. Proof Methods for Modal and Intuitionistic Logics
  "Proof Methods for Modal and Intuitionistic Logics" is a foundational textbook by logician Melvin Fitting that systematically develops semantic and proof-theoretic techniques for reasoning in modal and intuitionistic logic systems.
• C. Intensional Logic
  Intensional Logic is a branch of logic that studies meaning, modality, and context-dependence in language and reasoning, extending classical logic to handle notions like necessity, belief, and time.
• D. Algebraic Methods in Philosophical Logic
  Algebraic Methods in Philosophical Logic is a scholarly work that systematically applies algebraic techniques to the study and clarification of systems in philosophical logic.
• E. Semantical Considerations on Modal Logic
  Semantical Considerations on Modal Logic is a landmark philosophical paper by Saul Kripke that helped found possible-worlds semantics and revolutionized the study of modal logic.
• F. None of above. chosen