Making computational sense of Montague's intensional logic

DOI10.1016/0004-3702(77)90025-XzbMath0379.02005MaRDI QIDQ1247414

Jerry R. Hobbs, Stanley J. Rosenschein

Publication date: 1978

Published in: Artificial Intelligence (Search for Journal in Brave)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) General topics in the theory of software (68N01) General logic (03B99) Combinatory logic and lambda calculus (03B40)

Related Items (4)

A compositional typed higher-order logic with definitions ⋮ Semantics of algorithmic languages ⋮ Introducing a Calculus of Effects and Handlers for Natural Language Semantics ⋮ A computational approach to fuzzy quantifiers in natural languages

Cites Work

• Scheme: A interpreter for extended lambda calculus
• Approaches to natural language. Proceedings of the 1970 Stanford workshop on grammar and semantics
• Some Frills for Modal Tic-Tac-Toe: Semantics of Predicate Complement Constructions

This page was built for publication: Making computational sense of Montague's intensional logic