Partial proof trees, hybrid logic, and quantifier scope

DOI10.1023/A:1025479204785zbMath1067.68152OpenAlexW1597457234MaRDI QIDQ1768805

Seth Kulick, Natasha Kurtonina, Aravind K. Joshi

Publication date: 15 March 2005

Published in: Research on Language and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1025479204785

zbMATH Keywords

languagelogicquantifier scope

Mathematics Subject Classification ID

Logic of natural languages (03B65) Natural language processing (68T50)

This page was built for publication: Partial proof trees, hybrid logic, and quantifier scope