Results 1-3 of 3
 | 
期刊文章
Fulltext
Ye, Feng
synthese
2010
[ABSTRACT] This article attempts to motivate a new approach to anti-realism (or nominalism) in the philosophy of mathematics. I will explore the strongest cha...
[KEYWORDS] Philosophy of mathematics; Anti-realism; Realism; Naturalism; INDISPENSABILITY
期刊文章
Fulltext
Dechesne, Francien; Wang, Yanjing
synthese
2010
[ABSTRACT] Security properties naturally combine temporal aspects of protocols with aspects of knowledge of the agents. Since BAN-logic, there have been sever...
[KEYWORDS] Security protocols; Dynamic epistemic logic; Epistemic temporal logic; Interpreted systems; Verification; MULTIAGENT SYSTEMS; MODEL CHECKING; EQUATIONAL THEORIES; KNOWLEDGE; AUTHENTICATION; CRYPTOGRAPHY; ENCRYPTION; REFINEMENT; ANONYMITY; SECRECY
期刊文章
Fulltext
Zhou, Beihai; Mao, Yi
synthese
2010
[ABSTRACT] This article proposes a four-layer semantic structure for common nouns. Each layer matches up with a semantic entity of a certain type in Montague&...
[KEYWORDS] Sense; Reference; Intension; Concept
Results 1-3 of 3
  • <<
  • 1
  • >>