Logics of temporal-epistemic actions (Q516250): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B44 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B42 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6694329 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
dynamic epistemic logic | |||
Property / zbMATH Keywords: dynamic epistemic logic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
epistemic temporal logic | |||
Property / zbMATH Keywords: epistemic temporal logic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
epistemic logic | |||
Property / zbMATH Keywords: epistemic logic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
asynchronicity | |||
Property / zbMATH Keywords: asynchronicity / rank | |||
Normal rank |
Revision as of 04:12, 1 July 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Logics of temporal-epistemic actions |
scientific article |
Statements
Logics of temporal-epistemic actions (English)
0 references
14 March 2017
0 references
dynamic epistemic logic
0 references
epistemic temporal logic
0 references
epistemic logic
0 references
asynchronicity
0 references