scientific article; zbMATH DE number 757637
From MaRDI portal
Publication:4833769
zbMath0854.03017MaRDI QIDQ4833769
Publication date: 23 May 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicfinite model propertyKripke modelgrammarnominalattribute value matricesattribute value structuresKasper-Rounds logic
Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Natural language processing (68T50)
Related Items (3)
Fibred semantics for feature-based grammar logic ⋮ Types from Frames as Finite Automata ⋮ Model checking for hybrid logic
This page was built for publication:
