On axiomatic products of PDL and S5: Substitution, tests and knowledge

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	27-36
Number of pages	9
Journal	Bulletin of the Section of Logic
Volume	31
Issue number	1
Publication status	Published - 2002

Access to Document

@article{3bb9f570afc144f18eb08f4e5ec342f0,

title = "On axiomatic products of PDL and S5: Substitution, tests and knowledge",

author = "Schmidt, {Renate A.} and Dmitry Tishkovsky",

year = "2002",

language = "English",

volume = "31",

pages = "27--36",

journal = "Bulletin of the Section of Logic",

issn = "0138-0680",

publisher = "University of {\L}{\'o}d{\'z}, Department of Logic ",

number = "1",

}