Back to Search Start Over

A Modal Herbrand's Property.

Authors :
Cialdea, Marta
del Cerro, Luis Fariñas
Source :
Mathematical Logic Quarterly. 1986, Vol. 32 Issue 31-34, p523-530. 8p.
Publication Year :
1986

Abstract

The article offers information on modal logic as an important tool in the fields of the Computer Science and Artificial Intelligence. It mentions that modal logic is used in the processing of natural language, programming languages and information retrieval. It presents information on the semantic version of the Herbrand's theorem which is one of the simplest modal systems.

Subjects

Subjects :
*MODAL logic
*COMPUTER science
*ARTIFICIAL intelligence
*MATHEMATICS
*MATHEMATICAL programming

Details

Language :
English
ISSN :
09425616
Volume :
32
Issue :
31-34
Database :
Academic Search Index
Journal :
Mathematical Logic Quarterly
Publication Type :
Academic Journal
Accession number :
62674489
Full Text :
https://doi.org/10.1002/malq.19860323106
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details