TERMIUM Plus®
The Government of Canada’s terminology and linguistic data bank.
DYNAMIC EPISTEMIC LOGIC [2 records]
Record 1 - internal organization data 2024-08-14
Record 1, English
Record 1, Subject field(s)
- Logic (Philosophy)
- Artificial Intelligence
Record 1, Main entry term, English
- dynamic epistemic logic
1, record 1, English, dynamic%20epistemic%20logic
correct
Record 1, Abbreviations, English
- DEL 2, record 1, English, DEL
correct
Record 1, Synonyms, English
Record 1, Textual support, English
Record number: 1, Textual support number: 1 CONT
What is dynamic epistemic logic(DEL) ? It is a framework within logical theory that combines epistemic logic, which deals with knowledge and beliefs, with dynamic logic, which focuses on the effects of actions on knowledge. 3, record 1, English, - dynamic%20epistemic%20logic
Record 1, French
Record 1, Domaine(s)
- Logique (Philosophie)
- Intelligence artificielle
Record 1, Main entry term, French
- logique épistémique dynamique
1, record 1, French, logique%20%C3%A9pist%C3%A9mique%20dynamique
correct, feminine noun
Record 1, Abbreviations, French
Record 1, Synonyms, French
Record 1, Textual support, French
Record number: 1, Textual support number: 1 CONT
Qu'est-ce que la logique épistémique dynamique? Il s'agit d'un cadre au sein de la théorie logique qui combine la logique épistémique, qui traite des connaissances et des croyances, avec la logique dynamique, qui se concentre sur les effets des actions sur les connaissances. 2, record 1, French, - logique%20%C3%A9pist%C3%A9mique%20dynamique
Record 1, Spanish
Record 1, Textual support, Spanish
Record 2 - internal organization data 2024-07-23
Record 2, English
Record 2, Subject field(s)
- Logic (Philosophy)
- Artificial Intelligence
Record 2, Main entry term, English
- epistemic logic
1, record 2, English, epistemic%20logic
correct
Record 2, Abbreviations, English
Record 2, Synonyms, English
Record 2, Textual support, English
Record number: 2, Textual support number: 1 CONT
Once conceived as a single formal system, epistemic logic has become a general formal approach to the study of the structure of knowledge, its limits and possibilities, and its static and dynamic properties. 2, record 2, English, - epistemic%20logic
Record 2, French
Record 2, Domaine(s)
- Logique (Philosophie)
- Intelligence artificielle
Record 2, Main entry term, French
- logique épistémique
1, record 2, French, logique%20%C3%A9pist%C3%A9mique
correct, feminine noun
Record 2, Abbreviations, French
Record 2, Synonyms, French
Record 2, Textual support, French
Record number: 2, Textual support number: 1 DEF
Système logique permettant de raisonner sur la connaissance. 2, record 2, French, - logique%20%C3%A9pist%C3%A9mique
Record 2, Spanish
Record 2, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2025
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau
Features
Language Portal of Canada
Access a collection of Canadian resources on all aspects of English and French, including quizzes.
Writing tools
The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.
Glossaries and vocabularies
Access Translation Bureau glossaries and vocabularies.
- Date Modified: