Syntactic codes and grammar refinement
From MaRDI portal
Publication:1903081
DOI10.1007/BF01048404zbMath0833.03009OpenAlexW4231003652MaRDI QIDQ1903081
Publication date: 17 March 1996
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01048404
bindinggovernmentfragment of dynamic logic over treesGPSG-style grammarsoutput treesrelativized minimalityrule grammarsyntactic coding
Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Grammars and rewriting systems (68Q42)
Related Items
Propositional Dynamic Logic for Petri Nets with Iteration ⋮ The Complexity of Satisfiability for Fragments of Hybrid Logic—Part I ⋮ Complexity of hybrid logics over transitive frames ⋮ Model Theoretic Syntax and Parsing ⋮ Annotation theories over finite graphs ⋮ Towards reasoning about Petri nets: a propositional dynamic logic based approach ⋮ PDL with intersection of programs: a complete axiomatization ⋮ PDL for ordered trees
Cites Work
