Art
J-GLOBAL ID:201902105597345173   Reference number:19S2202044

A modified subformula property for the modal logics k5 and k5d

Author (1):
Material:
Volume: 30  Issue:Page: 115-122  Publication year: 2001 
JST Material Number: SCOPUS  ISSN: 0138-0680 
Country of issue: Poland (POL)  Language: English (EN)

Return to Previous Page