"Higher order modal logic."

Reinhard Muskens (2007)

Details and statistics

DOI: 10.1016/S1570-2464(07)80013-9

access: closed

type: Part in Book or Collection

metadata version: 2019-09-16