A separation logic with histories of epistemic actions as resources | 2024-02-28 | Paper |
Comparing the Update Expressivity of Communication Patterns and Action Models | 2024-02-28 | Paper |
The Expressivity of Quantified Group Announcements | 2024-02-08 | Paper |
Almost APAL | 2024-02-08 | Paper |
Communication pattern logic: epistemic and topological views | 2023-10-24 | Paper |
Impure Simplicial Complexes: Complete Axiomatization | 2023-10-23 | Paper |
An epistemic separation logic with action models | 2023-08-16 | Paper |
Everyone knows that everyone knows | 2023-06-28 | Paper |
The limits to gossip: second-order shared knowledge of all secrets is unsatisfiable | 2023-06-02 | Paper |
To be announced | 2023-05-19 | Paper |
Neighbourhood Semantics for Graded Modal Logic | 2023-05-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q5884954 | 2023-03-24 | Paper |
Model Checking for Coalition Announcement Logic | 2023-03-24 | Paper |
Reachability and expectation in gossiping | 2022-11-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q5869598 | 2022-09-28 | Paper |
Logics for knowability | 2022-09-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q5104697 | 2022-09-15 | Paper |
Wanted dead or alive: epistemic logic for impure simplicial complexes | 2022-06-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q5071250 | 2022-04-20 | Paper |
Copy and remove as dynamic operators | 2022-03-03 | Paper |
Asynchronous Announcements | 2022-02-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q5028475 | 2022-02-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q5016794 | 2021-12-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q5016796 | 2021-12-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q5015398 | 2021-12-07 | Paper |
Expressivity of some versions of APAL | 2021-12-01 | Paper |
Announcement as effort on topological spaces | 2021-11-29 | Paper |
Positive announcements | 2021-08-19 | Paper |
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks | 2021-08-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q5000284 | 2021-07-12 | Paper |
From Public Announcements to Asynchronous Announcements | 2021-07-06 | Paper |
Everyone knows that everyone knows | 2021-03-19 | Paper |
True lies | 2021-01-18 | Paper |
Arrow update synthesis | 2020-12-15 | Paper |
The logic of gossiping | 2020-11-16 | Paper |
The Pleasure of Gossip | 2020-07-27 | Paper |
Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic | 2020-07-24 | Paper |
Bilattice logic of epistemic actions and knowledge | 2020-04-14 | Paper |
Knowledge without complete certainty | 2020-03-04 | Paper |
DYNAMIC GRADED EPISTEMIC LOGIC | 2020-02-20 | Paper |
Reachability of five gossip protocols | 2019-10-22 | Paper |
Forgetting in multi-agent modal logics | 2019-08-28 | Paper |
Neighbourhood Contingency Bisimulation | 2019-07-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q5224687 | 2019-07-24 | Paper |
True lies | 2019-06-13 | Paper |
A public announcement separation logic | 2019-05-27 | Paper |
Dynamic gossip | 2019-05-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q4619873 | 2019-02-07 | Paper |
The succinctness of the cover modality | 2018-09-12 | Paper |
Propositional quantification in logics of contingency | 2018-09-12 | Paper |
Public announcements, public assignments and the complexity of their logic | 2018-08-28 | Paper |
Private announcements on topological spaces | 2018-08-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4636025 | 2018-04-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q4636026 | 2018-04-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q4636038 | 2018-04-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q4636290 | 2018-04-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q4636292 | 2018-04-23 | Paper |
Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief | 2018-03-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q4599503 | 2018-01-03 | Paper |
Strategic knowledge of the past in quantum cryptography | 2017-11-22 | Paper |
The undecidability of arbitrary arrow update logic | 2017-09-12 | Paper |
The modal logic of copy and remove | 2017-09-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q5282950 | 2017-07-18 | Paper |
Epistemic protocols for dynamic gossip | 2017-01-16 | Paper |
Arbitrary arrow update logic | 2016-11-29 | Paper |
The undecidability of quantified announcements | 2016-09-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q2818537 | 2016-09-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q2990022 | 2016-07-29 | Paper |
Announcements to attentive agents | 2016-07-04 | Paper |
The complexity of one-agent refinement modal logic | 2015-10-12 | Paper |
An Epistemic Separation Logic | 2015-09-24 | Paper |
Hidden protocols: modifying our expectations in an evolving world | 2015-08-27 | Paper |
One Hundred Prisoners and a Light Bulb | 2015-07-15 | Paper |
Knowledge Games and Coalitional Abilities | 2015-05-11 | Paper |
CONTINGENCY AND KNOWING WHETHER | 2015-04-24 | Paper |
On Revocable and Irrevocable Belief Revision | 2015-04-10 | Paper |
Semantics for knowledge and change of awareness | 2015-02-27 | Paper |
A geometric protocol for cryptography with cards | 2015-01-23 | Paper |
On the definability of simulation and bisimulation in epistemic logic | 2015-01-19 | Paper |
Logics with Copy and Remove | 2015-01-13 | Paper |
Neighborhood Contingency Logic | 2015-01-09 | Paper |
Editorial introduction to the special issue LORI Guangzhou | 2015-01-08 | Paper |
Dynamics of lying | 2015-01-08 | Paper |
Subset Space Logic with Arbitrary Announcements | 2015-01-06 | Paper |
Refinement modal logic | 2014-11-28 | Paper |
Partial Information and Uniform Strategies | 2014-10-14 | Paper |
Revocable belief revision | 2014-06-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q5419869 | 2014-06-11 | Paper |
DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT | 2014-05-02 | Paper |
A colouring protocol for the generalized Russian cards problem | 2014-01-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q2869467 | 2014-01-03 | Paper |
Listen to Me! Public Announcements to Agents That Pay Attention — or Not | 2013-11-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q2852032 | 2013-10-07 | Paper |
Connecting dynamic epistemic and temporal epistemic logics | 2013-06-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4648829 | 2012-11-16 | Paper |
Local properties in modal logic | 2012-11-15 | Paper |
Quantifying Notes | 2012-09-21 | Paper |
The Complexity of One-Agent Refinement Modal Logic | 2012-09-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q2904048 | 2012-08-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q2901194 | 2012-07-17 | Paper |
Question–answer games | 2012-07-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q2889460 | 2012-06-07 | Paper |
Logic in India -- editorial introduction | 2012-03-09 | Paper |
Three Steps | 2011-09-16 | Paper |
On the Definability of Simulability and Bisimilarity by Finite Epistemic Models | 2011-09-16 | Paper |
The rules of the game are changing: Scientific impact factors and publication strategies among logicians | 2011-06-10 | Paper |
From Situation Calculus to Dynamic Epistemic Logic | 2011-06-10 | Paper |
What will they say? -- Public announcement games | 2011-06-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q3086938 | 2011-03-30 | Paper |
Becoming Aware of Propositional Variables | 2010-12-17 | Paper |
‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ | 2010-08-13 | Paper |
Group announcement logic | 2010-06-11 | Paper |
Logic of change, change of logic | 2010-05-10 | Paper |
Tableaux for Public Announcement Logic | 2010-02-19 | Paper |
Intentions and Assignments | 2010-01-07 | Paper |
The case of the hidden hand | 2009-11-30 | Paper |
Simulation and Information: Quantifying over Epistemic Events | 2009-11-12 | Paper |
Introspective forgetting | 2009-11-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q3635505 | 2009-07-06 | Paper |
Dynamic Epistemic Logic and Knowledge Puzzles | 2009-03-06 | Paper |
Dynamic epistemic logic | 2008-11-07 | Paper |
Sum and Product in Dynamic Epistemic Logic | 2008-08-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q5442370 | 2008-02-22 | Paper |
A Tableau Method for Public Announcement Logics | 2008-01-04 | Paper |
Comments to `Logics of public communications' | 2007-11-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q5294912 | 2007-07-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q5296759 | 2007-07-16 | Paper |
My beliefs about your beliefs: a case study in theory of mind and epistemic logic | 2007-06-14 | Paper |
The secret of my success | 2006-12-20 | Paper |
AI 2005: Advances in Artificial Intelligence | 2006-11-14 | Paper |
The logic of Pit | 2006-08-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q5483016 | 2006-08-15 | Paper |
Permuting machines and priority queues | 2006-03-20 | Paper |
Prolegomena to dynamic logic for belief revision | 2006-02-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q5708984 | 2005-11-21 | Paper |
Sorting classes | 2005-11-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5695984 | 2005-10-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q4661972 | 2005-03-30 | Paper |
Restricted permutations and queue jumping | 2004-11-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4453636 | 2004-03-07 | Paper |
The Russian cards problem | 2004-01-23 | Paper |
Descriptions of game actions | 2002-08-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q4433636 | 2002-01-01 | Paper |