Linked e-resources
Details
Table of Contents
LENLS 11
Logic and Engineering of Natural Language Semantics (LENLS) 11
Codability and Robustness in Formal Natural Language Semantics
CI via DTS
Formal Analysis of Epistemic Modalities and Conditionals based on Logic of Belief Structures
A type-logical account of quantification in event semantics
Towards a Wide-Coverage Tableau Method for Natural Logic
Resolving Modal Anaphora in Dependent Type Semantics
Canonical Constituents and Non-canonical Coordination
Logic and Engineering of Natural Language Semantics (LENLS) 11
Codability and Robustness in Formal Natural Language Semantics
CI via DTS
Formal Analysis of Epistemic Modalities and Conditionals based on Logic of Belief Structures
A type-logical account of quantification in event semantics
Towards a Wide-Coverage Tableau Method for Natural Logic
Resolving Modal Anaphora in Dependent Type Semantics
Canonical Constituents and Non-canonical Coordination