Results 1-20 of 33
会议论文
2013
[ABSTRACT] In his seminal work [Plaza, 1989], Plaza proposed the public announcement logic (PAL), which is considered as the pilot logic in the field of dynam...
[KEYWORDS]
[ABSTRACT] In this paper, we propose a single-agent modal logic framework for reasoning about goal-direct "knowing how" based on ideas from linguist...
[KEYWORDS] ABILITY
会议论文
LOGIC, RATIONALITY, AND INTERACTION (LORI 2015)
2015
[ABSTRACT] Epistemic propositional dynamic logic (EPDL) is a combination of epistemic logic and propositional dynamic logic. The properties, perfect recall an...
[KEYWORDS]
[ABSTRACT] In everyday life, people get lost even when they have the map: they simply may not know where they are in the map. However, when moving forward the...
[KEYWORDS]
[ABSTRACT] When agents know a protocol, this leads them to have expectations about future observations. Agents can update their knowledge by matching their ac...
[KEYWORDS]
[ABSTRACT] In social interactions, protocols govern our behaviour and assign meaning to actions. In this paper, we investigate the dynamics of protocols and t...
[KEYWORDS]
[ABSTRACT] We present two families of exponential lower bounds on the size of modal formulae and use them to establish the following succinctness results. We ...
[KEYWORDS]
[ABSTRACT] Classic epistemic logic focuses on propositional knowledge expressed by \knowing that' operators. However, there are various types of knowledg...
[KEYWORDS]
[ABSTRACT] In this paper, we provide a new axiomatization of the event-model-based Dynamic Epistemic Logic, based on the completeness proof method proposed in...
[KEYWORDS]
[ABSTRACT] We investigate how the behaviors of malicious trusted parties affect participants of optimistic non-repudiation protocols. We introduce a notion of...
[KEYWORDS]
会议论文
6th International Workshop on Logic, Rationality, and Interaction, LORI 2017
2017
[ABSTRACT] Standard epistemic logic studies reasoning patterns about ��knowing that��, where interesting group notions of ��knowing that�� arise naturally, su...
[KEYWORDS]
[ABSTRACT] When reasoning about knowledge of procedures under imperfect information, the explicit representation of epistemic possibilities blows up the S5lik...
[KEYWORDS]
[ABSTRACT] A formula is contingent, if it is possibly true and possibly false; a formula is non-contingent, if it is not contingent, i.e., if it is necessaril...
[KEYWORDS]
会议论文
16th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017
2017
[ABSTRACT] Recent years witnessed a growing interest in non-standard epistemic logics of knowing whether, knowing how, knowing what, knowing why and so on. Th...
[KEYWORDS]
[ABSTRACT] The effect of quantum gravity can bring a tiny light speed variation which is detectable through energetic photons propagating from gamma ray burst...
[KEYWORDS] Light speed; Gamma ray burst; Lorentz invariance violation; QUANTUM-GRAVITY; GRB; VIOLATION; AFTERGLOW
[ABSTRACT] The paper studies Fichte's views of the cognitive problem, especially his account of the three fundamental principles. I argue three points: f...
[KEYWORDS] Representation; constructivism; theory of the subject; Copernican Turn
[ABSTRACT] A large quantity of past research in philosophical Daoism has been dedicated to the authenticity of "dao"; this essay shifts the focus to...
[KEYWORDS] myriad things; essentials; transformation; ziran; nature; heaven
[ABSTRACT] Laozi's concept of fan ? has many different interpretations. However, except for the fan character in chapter seventy-eight which says appropr...
[KEYWORDS] Daoism; Laozi; abnormalities; return
期刊文章
PHILOSOPHY COMPASS
2019
[ABSTRACT] This paper argues that Confucianism had an anti-essentialist conception of selfhood. This understanding of self means that they did not have, and c...
[KEYWORDS]
期刊文章
PHILOSOPHICAL FORUM
2019
[ABSTRACT]
[KEYWORDS]
Data Facts
Keyword
Publisher
Indexed Database
- 8 SCI(E)
- 7 A&HCI
- 7 CPCI-S(ISTP)
- 1 A&HCI
- 1 ESCI
ISSN
Content Type
- 17 Conference
- 16 Journal
Language
- 33 English