| Quantifier-free epistemic term-modal logic with assignment operator | 0 | 0.34 | 2022 |
| BISIMULATIONS FOR KNOWING HOW LOGICS | 0 | 0.34 | 2022 |
| Generalized Bundled Fragments for First-Order Modal Logic | 0 | 0.34 | 2022 |
| Planning-based knowing how: A unified approach | 0 | 0.34 | 2021 |
| A dynamic epistemic framework for reasoning about conformant probabilistic plans. | 0 | 0.34 | 2019 |
| Wavelet Packet Entropy Analysis of Resting State Electroencephalogram in Sleep Deprived Mental Fatigue State. | 0 | 0.34 | 2019 |
| Call Me by Your Name: Epistemic Logic with Assignments and Non-rigid Names. | 0 | 0.34 | 2018 |
| When Names Are Not Commonly Known - Epistemic Logic with Assignments. | 0 | 0.34 | 2018 |
| A logic of goal-directed knowing how. | 3 | 0.41 | 2018 |
| True Lies. | 1 | 0.39 | 2018 |
| Bundled fragments of first-order modal logic: (un)decidability. | 1 | 0.37 | 2018 |
| A New Modal Framework For Epistemic Logic | 3 | 0.57 | 2017 |
| Knowing Values and Public Inspection. | 2 | 0.40 | 2017 |
| Achieving while maintaining: A logic of knowing how with intermediate constraints. | 4 | 0.42 | 2017 |
| More for free: a dynamic epistemic framework for conformant planning over transition systems. | 1 | 0.35 | 2017 |
| Strategically knowing how. | 0 | 0.34 | 2017 |
| A Logic of Knowing Why. | 0 | 0.34 | 2016 |
| "Knowing value" logic as a normal modal logic. | 0 | 0.34 | 2016 |
| A Logic of Knowing How | 9 | 0.61 | 2015 |
| From rules to runs: A dynamic epistemic take on imperfect information games | 1 | 0.35 | 2015 |
| A Dynamic Epistemic Framework For Conformant Planning | 0 | 0.34 | 2015 |
| Hidden protocols: Modifying our expectations in an evolving world | 3 | 0.42 | 2014 |
| Almost Necessary. | 0 | 0.34 | 2014 |
| Knowing that, knowing what, and public communication: public announcement logic with Kv operators | 1 | 0.37 | 2013 |
| Reasoning About Agent Types and the Hardest Logic Puzzle Ever | 7 | 0.63 | 2013 |
| An alternative axiomatization of DEL and its applications | 4 | 0.44 | 2013 |
| On axiomatizations of public announcement logic. | 26 | 1.05 | 2013 |
| To know or not to know: epistemic approaches to security protocol verification. | 6 | 0.55 | 2010 |
| Verifying epistemic protocols under common knowledge | 5 | 0.48 | 2009 |
| Refinement of Kripke Models for Dynamics | 7 | 0.55 | 2008 |
| Risk balance in exchange protocols | 1 | 0.36 | 2007 |
