106

Syntactical characterization of a subset of domain-independent formulas

Year:
1992
Language:
english
File:
PDF, 1.29 MB
english, 1992
115

Reasoning about trust and aboutness in the context of communication

Year:
2018
Language:
english
File:
PDF, 1.15 MB
english, 2018