| Publication | Date of Publication | Type |
|---|
Modeling dynamics of legal relations with dynamic logic
Journal Of Logic And Computation | 2024-11-12 | Paper |
Context and the composition of meaning
| 2024-05-30 | Paper |
Public announcements, public lies and recoveries
Journal of Logic, Language and Information | 2022-11-04 | Paper |
Conditional belief, knowledge and probability
| 2021-12-14 | Paper |
What is money?
Outstanding Contributions to Logic | 2020-07-27 | Paper |
Gossip in dynamic networks
| 2019-07-24 | Paper |
To do something else
| 2019-07-24 | Paper |
Knowing values and public inspection
Logic and Its Applications | 2019-07-24 | Paper |
A temporal dynamic deontic logic
Journal Of Logic And Computation | 2019-07-10 | Paper |
Dynamic gossip
Bulletin of the Iranian Mathematical Society | 2019-05-23 | Paper |
scientific article; zbMATH DE number 7015163 (Why is no real title available?)
| 2019-02-07 | Paper |
Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
Journal Of Logic And Computation | 2019-01-31 | Paper |
Update, probability, knowledge and belief
| 2018-04-23 | Paper |
Epistemic probability logic simplified
| 2018-04-23 | Paper |
scientific article; zbMATH DE number 6821551 (Why is no real title available?)
| 2018-01-03 | Paper |
Epistemic protocols for dynamic gossip
Journal of Applied Logic | 2017-01-16 | Paper |
Strategies in social software
Lecture Notes in Computer Science | 2016-08-30 | Paper |
Symbolic Model Checking for Dynamic Epistemic Logic
Logic, Rationality, and Interaction | 2015-12-17 | Paper |
Dynamic epistemic logics
Outstanding Contributions to Logic | 2015-05-11 | Paper |
Computational semantics with functional programming
| 2015-02-13 | Paper |
Action emulation between canonical models
Journal of Philosophical Logic | 2014-03-24 | Paper |
Action emulation
Synthese | 2013-10-29 | Paper |
The Haskell road to logic, maths and programming
| 2013-03-20 | Paper |
scientific article; zbMATH DE number 6058048 (Why is no real title available?)
Journal of Applied Non-Classical Logics | 2012-07-17 | Paper |
Composing models
Journal of Applied Non-Classical Logics | 2012-07-17 | Paper |
Reflections on vote manipulation
Logic, Rationality, and Interaction | 2011-10-19 | Paper |
A geometric look at manipulation
Lecture Notes in Computer Science | 2011-09-16 | Paper |
Logic of information flow on communication channels
Declarative Agent Languages and Technologies VIII | 2011-05-11 | Paper |
The language of social software
Synthese | 2011-02-25 | Paper |
Multi-agent belief revision with linked preferences
Lecture Notes in Computer Science | 2010-08-31 | Paper |
scientific article; zbMATH DE number 5734950 (Why is no real title available?)
| 2010-07-09 | Paper |
The Haskell road to logic, maths and programming
| 2010-06-30 | Paper |
Natural Logic for Natural Language
Logic, Language, and Computation | 2009-03-11 | Paper |
Propositional Dynamic Logic as a Logic of Belief Revision
Logic, Language, Information and Computation | 2008-07-10 | Paper |
Sequentially Indexed Grammars
Journal Of Logic And Computation | 2008-05-05 | Paper |
Logics of communication and change
Information and Computation | 2007-01-22 | Paper |
Normal Forms for Characteristic Functions on n-ary Relations
Journal Of Logic And Computation | 2005-07-13 | Paper |
scientific article; zbMATH DE number 1841823 (Why is no real title available?)
| 2002-12-04 | Paper |
Tableau reasoning and programming with dynamic first order logic
Logic Journal of the IGPL | 2002-05-21 | Paper |
Incremental dynamics
Journal of Logic, Language and Information | 2002-03-11 | Paper |
Basic quantifier theory
| 2001-07-26 | Paper |
Quantifiers and partiality
| 2001-05-17 | Paper |
scientific article; zbMATH DE number 1523029 (Why is no real title available?)
| 2001-03-22 | Paper |
Making things happen
Studia Logica | 2001-02-11 | Paper |
Typed logics with states
Logic Journal of the IGPL | 1997-01-01 | Paper |
scientific article; zbMATH DE number 845601 (Why is no real title available?)
| 1996-05-27 | Paper |
scientific article; zbMATH DE number 847936 (Why is no real title available?)
| 1996-03-19 | Paper |
Presupposition failure - a comedy of errors
Formal Aspects of Computing | 1995-04-09 | Paper |
Reasoning about update logic
Journal of Philosophical Logic | 1995-02-22 | Paper |
Modal Logic, Transition Systems and Processes
Journal Of Logic And Computation | 1994-12-07 | Paper |
Dynamic interpretation and Hoare deduction
Journal of Logic, Language and Information | 1994-03-10 | Paper |
scientific article; zbMATH DE number 3946094 (Why is no real title available?)
| 1985-01-01 | Paper |
