Results 1-11 of 11
[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
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
期刊文章
SYNTHESE
2021-04
[ABSTRACT] A correction to this paper has been published: https://doi.org/10.1007/s11229-021-03147-y
[KEYWORDS] 0712 科学技术史（分学科，可授理学、工学、农学、医学学位）;0101 哲学;
[ABSTRACT] This paper argues against Boydian synthetic moral naturalism by way of a critical examination at metasemantic issues. I first show that the Boydian...
[KEYWORDS] 0712 科学技术史（分学科，可授理学、工学、农学、医学学位）;0101 哲学;
[ABSTRACT] A true lie is a lie that becomes true when announced. In a logic of announcements, where the announcing agent is not modelled, a true lie is a form...
[KEYWORDS] DYNAMICS; LOGIC
[ABSTRACT] From the Hilbert space formalism we note that five simple conditions are satisfied by the orthogonality relation between the (pure) states of a qua...
[KEYWORDS] LOGIC; THEOREM; SPACES; 0712 科学技术史（分学科，可授理学、工学、农学、医学学位）;0101 哲学;0701 数学;
[ABSTRACT] According to the standard view, a belief is based on a reason and doxastically justified-i.e., permissibly held-only if a causal relation obtains b...
[KEYWORDS] REASONS; 0712 科学技术史（分学科，可授理学、工学、农学、医学学位）;0101 哲学;0301 法学;
[ABSTRACT]
[KEYWORDS]
期刊文章
SYNTHESE
2023-01-25
[ABSTRACT] This paper connects the following four topics: a class of generalized graphs whose relations do not have fixed arities called hypergraphs, a family...
[KEYWORDS] BELIEF; 0712 科学技术史（分学科，可授理学、工学、农学、医学学位）;0101 哲学;0701 数学;
[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
[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-11 of 11
- <<
- 1
- >>