共 38 条
[1]
Anderson AR., 1975, The logic of relevance and necessity
[2]
[Anonymous], 1976, LOGIQUE ANAL
[3]
[Anonymous], 1991, Language in Action: categories, lambdas and dynamic logic
[4]
[Anonymous], P 1 INT JOINT C QUAL
[5]
[Anonymous], LOGIC MEANING COMPUT
[6]
[Anonymous], 2001, LOG STUD
[7]
[Anonymous], 1983, Situations and Attitudes
[8]
[Anonymous], 1992, Reasoning and the Logic of Things: The Cambridge Conference Lectures of 1898
[9]
[Anonymous], 2002, Cambridge Tracts in Theoretical Computer Science
[10]
[Anonymous], JUL 2009 M AUSTR ASS