scientific article; zbMATH DE number 3990910

MaRDI QIDQ3753522zbMATH OpenFDO

Authors S. N. Nikolskij

Publication date 1986

zbMATH Keywords

extensional formalizationontological difference between goal and resultpurposeful behaviour formalization

Mathematics Subject Classification ID

General theory of mathematical modeling (00A71) Philosophical and critical aspects of logic and foundations (03A05) Artificial intelligence (68T99)

Recommendations

• The intentionality of formal systems
• scientific article; zbMATH DE number 1790353
• scientific article; zbMATH DE number 549995
• scientific article; zbMATH DE number 1314230
• Foundations for structuring behavioural specifications
• Views on behaviour protocols and their semantic foundation
• Formalization of communication and behaviour in object-oriented analysis
• The semantics of behavior
• scientific article; zbMATH DE number 785047

Cited in

(1)

• Телеология и целенаправленное поведение: логический анализ

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3753522)