modal logic
/ˈmoʊdəl ˈlɒdʒɪk/phrase
/ˈmoʊdəl ˈlɒdʒɪk/
Тип формальной логики, который расширяет классическую логику, включая операторы, выражающие модальность, такие как необходимость и возможность, часто используемые в философии, лингвистике и информатике.
Tipo de lógica formal que extiende la lógica clásica incorporando operadores que expresan modalidad, como necesidad y posibilidad, utilizada a menudo en filosofía, lingüística e informática.
Type de logique formelle qui étend la logique classique en y ajoutant des opérateurs exprimant la modalité, tels que la nécessité et la possibilité, souvent utilisés en philosophie, en linguistique et en informatique.
Ein Zweig der formalen Logik, der die klassische Logik um Operatoren erweitert, die Modalität ausdrücken, wie Notwendigkeit und Möglichkeit; verwendet in Philosophie, Linguistik und Informatik.
Tipo de lógica formal que estende a lógica clássica incluindo operadores que expressam modalidade, como necessidade e possibilidade, frequentemente usados em filosofia, linguística e ciência da computação.
一种形式逻辑，通过引入表达模态的算子（如必然性和可能性）来扩展经典逻辑，常用于哲学、语言学和计算机科学。
فرع من المنطق الصوري يوسّع المنطق الكلاسيكي بإدخال مشغّلات تعبّر عن الجهة، مثل الضرورة والإمكان، ويُستعمل في الفلسفة واللسانيات وعلوم الحاسوب.
A type of formal logic that extends classical logic to include operators expressing modality, such as necessity and possibility, often used in philosophy, linguistics, and computer science.
Formal logical systemC2formal
A type of formal logic that extends classical logic to include operators expressing modality, such as necessity and possibility.
Формальная логическая системаLógica modallogique modaleFormale logische SystemeLógica modal形式逻辑系统نظام منطقي صوري- Modal logic is used to analyze statements about necessity and possibility.
- The philosopher studied modal logic to understand the nature of truth.
- In modal logic, the operator '□' denotes necessity.