temporal logic
81Список нестандартных логик —     …
82Список неклассических логик —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …
83Modal operator — In modal logic, a modal operator is an operator which forms propositions from propositions. In general, a modal operator has the formal property of being non truth functional, and is intuitively characterised by expressing a modal attitude (such… …
84Leslie Lamport — Infobox Scientist name = Leslie Lamport image width = 150px caption = birth date = February 7, 1941 birth place = New York City, New York death date = death place = residence = citizenship = nationality = ethnicity = field = Computer Science work …
85List of computing and IT abbreviations — This is a list of computing and IT acronyms and abbreviations. Contents: 0–9 A B C D E F G H I J K L M N O P Q R S T U V W X Y …
86Nicholas Rescher — (born July 15, 1928 in Hagen, Germany) is an American philosopher at the University of Pittsburgh. In a productive research career extending over six decades, Rescher has established himself as a systematic philosopher of the old style and author …
87Charles Leonard Hamblin — (1922 – 14 May 1985) was an Australian philosopher, logician, and computer pioneer, as well as a professor of philosophy at the Technical University of New South Wales (now the University of New South Wales) in Sydney. Among his most well known… …
88Zohar Manna — (born 1939) is a professor of computer science at Stanford University. He is the author of The Mathematical Theory of Computation (McGraw Hill, 1974; reprinted Dover, 2003), one of the first texts to provide extensive coverage of the mathematical …
89Belief-Desire-Intention software model — The Belief Desire Intention (BDI) software model (usually referred to simply, but ambiguously, as BDI) is a software model developed for programming intelligent agents. Superficially characterized by the implementation of an agent s beliefs ,… …
90Formal verification — In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods… …
