scientific article; zbMATH DE number 757637

MaRDI QIDQ4833769zbMATH OpenFDO

Authors Patrick Blackburn

Publication date 23 May 1995

zbMATH Keywords

attribute value matricesattribute value structuresfinite model propertygrammarKasper-Rounds logicKripke modelmodal logicnominal

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
• scientific article; zbMATH DE number 1471992

Cited in

(6)

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

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)