No label defined (Q4636290)
From MaRDI portal
![]() | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: scientific article; zbMATH DE number 6863857 |
scientific article; zbMATH DE number 6863857
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 6863857 |
Statements
23 April 2018
0 references
lower bounds on formula size
0 references
succinctness of modal logics
0 references
public announcement logic
0 references
modal logic of contingency
0 references