scientific article; zbMATH DE number 3639581

zbMath0412.03001MaRDI QIDQ4198466

Pavel Materna

Publication date: 1979

Full work available at URL: https://eudml.org/doc/28913

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

zbMATH Keywords

possible worldssemanticssimple theory of typesintensional logiclambda-abstractionanalysis of questions

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Semantics in the theory of computing (68Q55) Artificial intelligence (68T99) Combinatory logic and lambda calculus (03B40)

Related Items (1)

The set of empirical questions that can be answered by an empirical theory

Cites Work

• Unnamed Item
• The intentions of intentionality and other new models for modalities
• A formulation of the simple theory of types

This page was built for publication: