Yanjing Wang

Artif. Intell., 2024

Point-Set Neighborhood Logic.

[BibT_eX]

Junhua Yu

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023

Are bundles good deals for first-order modal logic?

[BibT_eX]

[DOI]

Inf. Comput., August, 2023

Epistemic Syllogistic: First Steps.

[BibT_eX]

[DOI]

Yipu Li

Proceedings of the Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, 2023

Strong Permission Bundled: First Steps.

[BibT_eX]

Zilu Wang

Proceedings of the Deontic Logic and Normative Systems - 16th International Conference, 2023

2022

Mereological Bimodal Logics.

[BibT_eX]

[DOI]

Dazhu Li

Fernando R. Velázquez-Quesada

Rev. Symb. Log., 2022

Bisimulations for Knowing How Logics.

[BibT_eX]

[DOI]

Raul Fervari

Rev. Symb. Log., 2022

Model Theoretical Aspects of Weakly Aggregative Modal Logic.

[BibT_eX]

[DOI]

Jixin Liu

Yifeng Ding

J. Log. Lang. Inf., 2022

Are Bundles Good Deals for FOML?

[BibT_eX]

[DOI]

CoRR, 2022

Inquisitive logic as an epistemic logic of knowing how.

[BibT_eX]

[DOI]

Haoyu Wang

Yunsong Wang

Ann. Pure Appl. Log., 2022

Quantifier-free epistemic term-modal logic with assignment operator.

[BibT_eX]

[DOI]

Yu Wei

Jeremy Seligman

Ann. Pure Appl. Log., 2022

Tense Logics over Lattices.

[BibT_eX]

[DOI]

Xiaoyang Wang

Proceedings of the Logic, Language, Information, and Computation, 2022

Generalized Bundled Fragments for First-Order Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

An Epistemic Interpretation of Tensor Disjunction.

[BibT_eX]

[DOI]

Yunsong Wang

Haoyu Wang

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

A logic of knowing why.

[BibT_eX]

[DOI]

Chao Xu

Thomas Studer

Synth., 2021

Knowing How to Plan.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2021

De Re Updates.

[BibT_eX]

[DOI]

Michael Cohen

Wen Tang

Proceedings of the Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2021

Planning-based knowing how: A unified approach.

[BibT_eX]

[DOI]

Artif. Intell., 2021

Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic.

[BibT_eX]

[DOI]

Yifeng Ding

Jixin Liu

Proceedings of the Logic, Rationality, and Interaction - 8th International Workshop, 2021

2019

How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions.

[BibT_eX]

[DOI]

Malvin Gattinger

Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019

A dynamic epistemic framework for reasoning about conformant probabilistic plans.

[BibT_eX]

[DOI]

Barteld Kooi

Artif. Intell., 2019

Knowledge-Now and Knowledge-All.

[BibT_eX]

[DOI]

Xinyu Wang

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

Weakly Aggregative Modal Logic: Characterization and Interpolation.

[BibT_eX]

[DOI]

Jixin Liu

Yifeng Ding

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

Multi-agent Knowing How via Multi-step Plans: A Dynamic Epistemic Planning Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

2018

A logic of goal-directed knowing how.

[BibT_eX]

[DOI]

Synth., 2018

True lies.

[BibT_eX]

[DOI]

Thomas Ågotnes

Synth., 2018

Call Me by Your Name: Epistemic Logic with Assignments and Non-rigid Names.

[BibT_eX]

[DOI]

Jeremy Seligman

CoRR, 2018

Bundled Fragments of First-Order Modal Logic: (Un)Decidability.

[BibT_eX]

[DOI]

Anantha Padmanabha

R. Ramanujam

Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018

When Names Are Not Commonly Known: Epistemic Logic with Assignments.

[BibT_eX]

[DOI]

Jeremy Seligman

Proceedings of the Advances in Modal Logic 12, 2018

2017

More for free: a dynamic epistemic framework for conformant planning over transition systems.

[BibT_eX]

[DOI]

Quan Yu

J. Log. Comput., 2017

A New Modal Framework for Epistemic Logic.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

Strategically knowing how.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Achieving While Maintaining: - A Logic of Knowing How with Intermediate Constraints.

[BibT_eX]

[DOI]

Proceedings of the Logic and Its Applications - 7th Indian Conference, 2017

Knowing Values and Public Inspection.

[BibT_eX]

[DOI]

Malvin Gattinger

Proceedings of the Logic and Its Applications - 7th Indian Conference, 2017

2016

A Logic of Knowing Why.

[BibT_eX]

[DOI]

Chao Xu

CoRR, 2016

Beyond knowing that: a new generation of epistemic logics.

[BibT_eX]

[DOI]

CoRR, 2016

"Knowing value'' logic as a normal modal logic.

[BibT_eX]

[DOI]

Tao Gu

Proceedings of the Advances in Modal Logic 11, 2016

2015

Contingency and Knowing Whether.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2015

A Dynamic Epistemic Framework for Conformant Planning.

[BibT_eX]

[DOI]

Quan Yu

Proceedings of the Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2015

From rules to runs: A dynamic epistemic take on imperfect information games.

[BibT_eX]

[DOI]

Kai Li

CoRR, 2015

A Logic of Knowing How.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

Representing Imperfect Information of Procedures with Hyper Models.

[BibT_eX]

[DOI]

Proceedings of the Logic and Its Applications - 6th Indian Conference, 2015

2014

Book Reviews.

[BibT_eX]

[DOI]

Stud Logica, 2014

Hidden protocols: Modifying our expectations in an evolving world.

[BibT_eX]

[DOI]

Artif. Intell., 2014

Conditionally Knowing What.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 10, 2014

Almost Necessary.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 10, 2014

2013

On axiomatizations of public announcement logic.

[BibT_eX]

[DOI]

Qinxiang Cao

Synth., 2013

Reasoning About Agent Types and the Hardest Logic Puzzle Ever.

[BibT_eX]

[DOI]

Fenrong Liu

Minds Mach., 2013

Knowing Whether.

[BibT_eX]

[DOI]

CoRR, 2013

Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

An Alternative Axiomatization of DEL and Its Applications.

[BibT_eX]

[DOI]

Guillaume Aucher

Proceedings of the IJCAI 2013, 2013

2012

On the Logic of Lying.

[BibT_eX]

[DOI]

Proceedings of the Games, Actions and Social Software - Multidisciplinary Aspects, 2012

Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in Navigation.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 9, 2012

2011

Composing models.

[BibT_eX]

[DOI]

Floor Sietsma

J. Appl. Non Class. Logics, 2011

Hidden protocols.

[BibT_eX]

[DOI]

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

On Axiomatizations of PAL.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

Risk Balance in Optimistic Non-repudiation Protocols.

[BibT_eX]

[DOI]

Mohammad Torabi Dashti

Jan Cederquist

Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011

Reasoning about Protocol Change and Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Logic and Its Applications - 4th Indian Conference, 2011

2010

Epistemic Modelling and Protocol Dynamics.

[BibT_eX]

[DOI]

PhD thesis, 2010

To know or not to know: epistemic approaches to security protocol verification.

[BibT_eX]

[DOI]

Francien Dechesne

Synth., 2010

Feature extraction and classifier evaluation of EEG for imaginary hand movements.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Natural Computation, 2010

Logic of Information Flow on Communication Channels.

[BibT_eX]

[DOI]

Floor Sietsma

Proceedings of the Declarative Agent Languages and Technologies VIII, 2010

2009

On expressive power and class invariance

[BibT_eX]

[DOI]

Francien Dechesne

CoRR, 2009

Verifying epistemic protocols under common knowledge.

[BibT_eX]

[DOI]

Lakshmanan Kuppusamy

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009

2008

Propositional Dynamic Logic as a Logic of Belief Revision.

[BibT_eX]

[DOI]

Proceedings of the Logic, 2008

PDL over Accelerated Labeled Transition Systems.

[BibT_eX]

[DOI]

Taolue Chen

Jaco van de Pol

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Refinement of Kripke Models for Dynamics.

[BibT_eX]

[DOI]

Francien Dechesne

Simona Orzan

Proceedings of the Theoretical Aspects of Computing, 2008

2007

Risk Balance in Exchange Protocols.

[BibT_eX]

[DOI]

Muhammad Torabi Dashti