M. J. Poliferno. Decision algorithms for some functional calculi with modality. Logique et analyse, n.s. vol. 4 (1961), pp. 138–153. - M. J. Poliferno. Correction to a paper on modal logic. Logique et analyse, n.s. vol. 7 (1964), pp. 32–33

Subjects

Subjects :

Philosophy
Modality (human–computer interaction)
Logic
Computer science
business.industry
Artificial intelligence
computer.software_genre
business
computer
Natural language processing

Details

ISSN :

19435886 and 00224812

Volume :

32

Database :

OpenAIRE

Journal :

Journal of Symbolic Logic

Accession number :

edsair.doi...........cb46fc98bb7f76683455e9aa8d5ebab6

Full Text :

https://doi.org/10.2307/2271665