[ABSTRACT] In this paper, we propose a single-agent modal logic framework for reasoning about goal-direct "knowing how" based on ideas from linguist...

[ABSTRACT] Epistemic propositional dynamic logic (EPDL) is a combination of epistemic logic and propositional dynamic logic. The properties, perfect recall an...

[ABSTRACT] When reasoning about knowledge of procedures under imperfect information, the explicit representation of epistemic possibilities blows up the S5lik...

[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...

[ABSTRACT] The constancy of light speed is a basic assumption in Einstein's special relativity, and consequently the Lorentz invariance is a fundamental ...