scientific article

zbMath0728.03025MaRDI QIDQ3351355

Martti Penttonen, Luis Fariñas del Cerro

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logics for formal grammarsmultimodal logics possessing several agents

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Logic programming (68N17) Natural language processing (68T50)

Related Items (8)

A short biography of Luis Fariñas del Cerro ⋮ A framework for intuitionistic grammar logics ⋮ An Extension of Complex Role Inclusion Axioms in the Description Logic $\mathcal{SROIQ}$ ⋮ A Tableau Calculus for Regular Grammar Logics with Converse ⋮ KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS ⋮ On Hierarchical Task Networks ⋮ Deciding regular grammar logics with converse through first-order logic ⋮ Decidability of SHIQ with complex role inclusion axioms

This page was built for publication: