scientific article; zbMATH DE number 757637

MaRDI QIDQ4833769zbMATH OpenFDO

Authors Patrick Blackburn

Publication date 23 May 1995

zbMATH Keywords

grammarmodal logicKripke modelfinite model propertynominalattribute value matricesattribute value structuresKasper-Rounds logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Natural language processing (68T50)

Recommendations

• A modal perspective on the computational complexity of attribute value grammar
• Linguistics, Logic and Finite Trees
• scientific article; zbMATH DE number 1163388
• scientific article; zbMATH DE number 4202248
• Publication:4489076

Cited in

(5)

• Fibred semantics for feature-based grammar logic
• scientific article; zbMATH DE number 5065666 (Why is no real title available?)
• Model checking for hybrid logic
• A consistent theory of attributes in a logic without contraction
• Types from Frames as Finite Automata

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4833769)