scientific article

zbMath0682.68096MaRDI QIDQ3992994

No author found.

Publication date: 23 January 1993

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

zbMATH Keywords

modal logicBüchi automatadeductive databaseTemporal logicModal logicLogic based approach to artificial intelligenceMontague grammar. Intensional logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence (68T99) Mechanization of proofs and logical operations (03B35) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Information storage and retrieval of data (68P20) Natural language processing (68T50)

Related Items (3)

Foundations of entity-relationship modeling ⋮ Dynamic reasoning with qualified syllogisms ⋮ Linear temporal logic symbolic model checking

This page was built for publication: