Linguistics, Logic and Finite Trees
From MaRDI portal
Publication:4318160
DOI10.1093/jigpal/2.1.3zbMath0810.03022OpenAlexW2017658637MaRDI QIDQ4318160
Wilfried Meyer-Viol, Patrick Blackburn
Publication date: 2 January 1995
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://dspace.library.uu.nl/handle/1874/26321
modal logicdecidabilitycontext free grammarsfeature structuresfibred semanticsaxiomatic proof systemcommand relationsfinite ordered binary trees
Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Natural language processing (68T50)
Related Items (9)
A first-order axiomatization of the theory of finite trees ⋮ Fibred semantics for feature-based grammar logic ⋮ An incremental grammar approach to multiple nominative constructions in Japanese ⋮ Dynamic syntax. The dynamics of incremental processing: constraints on underspecification ⋮ Underspecification, parsing mismatches and routinisation: the historical development of the clitic systems of Greek dialects ⋮ Inessential features, ineliminable features, and modal logics for model theoretic syntax ⋮ Polyadic dynamic logics for HPSG parsing ⋮ Terminating Tableau Calculi for Hybrid Logics Extending K ⋮ PDL for ordered trees
This page was built for publication: Linguistics, Logic and Finite Trees
