Results 1-5 of 5
 | 
期刊文章
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
期刊文章
HUNG, T
synthese
1985
[ABSTRACT] 
[KEYWORDS] 
期刊文章
Fulltext
Wang, Yanjing; Cao, Qinxiang
synthese
2013
[ABSTRACT] In the literature, different axiomatizations of Public Announcement Logic (PAL) have been proposed. Most of these axiomatizations share a "cor...
[KEYWORDS] Public announcement logic; Reduction axioms; Composition axiom; Dynamic epistemic logic; Completeness; Epistemic temporal logic; KNOWLEDGE
期刊文章
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-5 of 5
  • <<
  • 1
  • >>