| Publication | Date of Publication | Type |
|---|
Simple Axioms for Local Properties
Electronic Proceedings in Theoretical Computer Science | 2024-02-28 | Paper |
Introduction to the special Section on logic and the foundations of game and decision theory (LOFT12)
The B.E. Journal of Theoretical Economics | 2022-11-22 | Paper |
Reasoning about general preference relations
Artificial Intelligence | 2022-11-08 | Paper |
Revision by communication
Logic Programming and Nonmonotonic Reasoning | 2022-08-30 | Paper |
scientific article; zbMATH DE number 7444842 (Why is no real title available?)
| 2021-12-14 | Paper |
scientific article; zbMATH DE number 7440211 (Why is no real title available?)
| 2021-12-07 | Paper |
Arrow update synthesis
Information and Computation | 2020-12-15 | Paper |
The logic of gossiping
Artificial Intelligence | 2020-11-16 | Paper |
The pleasure of gossip
Outstanding Contributions to Logic | 2020-07-27 | Paper |
Playing cards with Hintikka: an introduction to dynamic epistemic logic
| 2020-07-24 | Paper |
Program models and semi-public environments
Journal Of Logic And Computation | 2020-02-13 | Paper |
Revising and updating using a back-up semantics
Logics in Artificial Intelligence | 2019-10-08 | Paper |
When Are Two Gossips the Same?
EPiC Series in Computing | 2019-07-04 | Paper |
Second-order propositional modal logic: expressiveness and completeness results
Artificial Intelligence | 2019-03-14 | Paper |
Fully arbitrary public announcements
| 2018-04-23 | Paper |
Some exponential lower bounds on formula-size in modal logic
| 2018-04-23 | Paper |
Fair decomposition of group obligations
Journal Of Logic And Computation | 2018-02-13 | Paper |
The undecidability of arbitrary arrow update logic
Theoretical Computer Science | 2017-09-12 | Paper |
scientific article; zbMATH DE number 6747860 (Why is no real title available?)
| 2017-07-18 | Paper |
Arbitrary arrow update logic
Artificial Intelligence | 2016-11-29 | Paper |
Conservative social laws
| 2015-12-11 | Paper |
Structures for epistemic logic
Outstanding Contributions to Logic | 2015-05-11 | Paper |
Completeness and complexity of multi-modal CTL
Electronic Notes in Theoretical Computer Science | 2015-03-23 | Paper |
On the definability of simulation and bisimulation in epistemic logic
Journal Of Logic And Computation | 2015-01-19 | Paper |
Fair allocation of group tasks according to social norms
Lecture Notes in Computer Science | 2014-10-14 | Paper |
A modal logic for mixed strategies
Studia Logica | 2014-06-19 | Paper |
Temporal logics of knowledge and their applications in security
Electronic Notes in Theoretical Computer Science | 2013-12-13 | Paper |
Boolean games with epistemic goals
Logic, Rationality, and Interaction | 2013-11-06 | Paper |
Model checking Russian cards
| 2013-10-07 | Paper |
Knowledge as strategic ability
| 2013-08-27 | Paper |
A logic for ignorance
| 2013-08-27 | Paper |
On the succinctness of some modal logics
Artificial Intelligence | 2013-08-23 | Paper |
Program equilibrium -- a program reasoning approach
International Journal of Game Theory | 2013-08-19 | Paper |
Connecting dynamic epistemic and temporal epistemic logics
Logic Journal of the IGPL | 2013-06-11 | Paper |
Local properties in modal logic
Artificial Intelligence | 2012-11-15 | Paper |
On the relative succinctness of two extensions by definitions of multimodal logic
Lecture Notes in Computer Science | 2012-08-14 | Paper |
GOAL agents instantiate intention logic
Logic Programs, Norms and Action | 2012-07-23 | Paper |
Qualitative modalities
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems | 2012-02-17 | Paper |
Reasoning about social choice functions
Journal of Philosophical Logic | 2011-12-15 | Paper |
Knowledge and action in semi-public environments
Logic, Rationality, and Interaction | 2011-10-19 | Paper |
On the definability of simulability and bisimilarity by finite epistemic models
Lecture Notes in Computer Science | 2011-09-16 | Paper |
Reasoning about the transfer of control
Journal of Artificial Intelligence Research | 2010-05-31 | Paper |
Robust normative systems and a logic of norm compliance
Logic Journal of the IGPL | 2010-04-08 | Paper |
Verification of games in the game description language
Journal Of Logic And Computation | 2010-01-14 | Paper |
A logical characterisation of qualitative coalitional games
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Multi-modal CTL: completeness, complexity, and an application
Studia Logica | 2009-11-16 | Paper |
Reasoning about coalitional games
Artificial Intelligence | 2009-08-20 | Paper |
Logics for Qualitative Coalitional Games
Logic Journal of the IGPL | 2009-06-29 | Paper |
Quantified coalition logic
Synthese | 2009-06-16 | Paper |
Deontic Logic in Computer Science
Lecture Notes in Computer Science | 2009-04-30 | Paper |
Knowledge condition games
Journal of Logic, Language and Information | 2009-03-24 | Paper |
Model Checking Strategic Equilibria
Model Checking and Artificial Intelligence | 2009-03-17 | Paper |
Dynamic Epistemic Logic and Knowledge Puzzles
Conceptual Structures: Knowledge Architectures for Smart Applications | 2009-03-06 | Paper |
A Temporal Logic of Normative Systems
Towards Mathematical Philosophy | 2009-02-05 | Paper |
Dynamic epistemic logic
Synthese Library | 2008-11-07 | Paper |
GOAL Agents Instantiate Intention Logic
Logics in Artificial Intelligence | 2008-10-27 | Paper |
The Performance of Option—Trading Software Agents: Initial Results
Lecture Notes in Economics and Mathematical Systems | 2008-02-22 | Paper |
On the logic of cooperation and propositional control
Artificial Intelligence | 2007-10-23 | Paper |
A verification framework for agent programming with declarative goals
Journal of Applied Logic | 2007-07-25 | Paper |
Playing cards with Hintikka: an introduction to dynamic epistemic logic
| 2007-07-16 | Paper |
Towards a theory of intention revision
Synthese | 2007-06-14 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
scientific article; zbMATH DE number 5046369 (Why is no real title available?)
| 2006-08-15 | Paper |
Process algebra and constraint programming for modeling interactions in MAS
Applicable Algebra in Engineering, Communication and Computing | 2006-02-08 | Paper |
scientific article; zbMATH DE number 2236615 (Why is no real title available?)
| 2005-12-08 | Paper |
On obligations and normative ability: Towards a logical analysis of the social contract
Journal of Applied Logic | 2005-10-10 | Paper |
scientific article; zbMATH DE number 2212572 (Why is no real title available?)
| 2005-10-07 | Paper |
scientific article; zbMATH DE number 2182495 (Why is no real title available?)
| 2005-06-23 | Paper |
scientific article; zbMATH DE number 2182496 (Why is no real title available?)
| 2005-06-23 | Paper |
scientific article; zbMATH DE number 2149447 (Why is no real title available?)
| 2005-03-30 | Paper |
Formal semantics of meta-level architectures: Temporal epistemic reflection
International Journal of Intelligent Systems | 2005-01-12 | Paper |
scientific article; zbMATH DE number 2087350 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 2087624 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 2087380 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 2087385 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 2080357 (Why is no real title available?)
| 2004-08-04 | Paper |
scientific article; zbMATH DE number 2080355 (Why is no real title available?)
| 2004-08-04 | Paper |
scientific article; zbMATH DE number 2063025 (Why is no real title available?)
| 2004-03-29 | Paper |
scientific article; zbMATH DE number 1999226 (Why is no real title available?)
| 2004-03-15 | Paper |
scientific article; zbMATH DE number 2051380 (Why is no real title available?)
| 2004-03-07 | Paper |
Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
Studia Logica | 2004-01-23 | Paper |
scientific article; zbMATH DE number 1969724 (Why is no real title available?)
| 2003-08-24 | Paper |
A fully abstract model for the exchange of information in multi-agent systems.
Theoretical Computer Science | 2003-08-17 | Paper |
Towards a Logic of Rational Agency
Logic Journal of the IGPL | 2003-06-29 | Paper |
A general approach to multi-agent minimal knowledge: With tools and samples
Studia Logica | 2003-03-12 | Paper |
Iterated Belief Change in Multi-Agent Systems
Logic Journal of the IGPL | 2003-01-01 | Paper |
scientific article; zbMATH DE number 1759382 (Why is no real title available?)
| 2002-11-25 | Paper |
scientific article; zbMATH DE number 1759383 (Why is no real title available?)
| 2002-11-25 | Paper |
scientific article; zbMATH DE number 1754687 (Why is no real title available?)
| 2002-11-04 | Paper |
scientific article; zbMATH DE number 1754689 (Why is no real title available?)
| 2002-11-04 | Paper |
scientific article; zbMATH DE number 1773056 (Why is no real title available?)
| 2002-07-28 | Paper |
scientific article; zbMATH DE number 1759736 (Why is no real title available?)
| 2002-07-15 | Paper |
scientific article; zbMATH DE number 1761414 (Why is no real title available?)
| 2002-06-30 | Paper |
scientific article; zbMATH DE number 1759613 (Why is no real title available?)
| 2002-06-25 | Paper |
Modal logic with bounded quantification over worlds
Journal of Logic and Computation | 2002-04-11 | Paper |
How to recover from (non)monotonic inconsistencies
| 2002-02-28 | Paper |
scientific article; zbMATH DE number 1678374 (Why is no real title available?)
| 2001-12-04 | Paper |
On agents that have the ability to choose
Studia Logica | 2001-10-23 | Paper |
scientific article; zbMATH DE number 1629874 (Why is no real title available?)
| 2001-10-23 | Paper |
On dynamically generated ontology translators in agent communication
International Journal of Intelligent Systems | 2001-09-09 | Paper |
On programming KARO agents
Logic Journal of the IGPL | 2001-05-16 | Paper |
Formalizing potential of agents. The KARO framework revisited
| 2001-03-12 | Paper |
scientific article; zbMATH DE number 1163567 (Why is no real title available?)
| 2001-03-01 | Paper |
scientific article; zbMATH DE number 1754683 (Why is no real title available?)
| 2001-01-01 | Paper |
scientific article; zbMATH DE number 1537937 (Why is no real title available?)
| 2000-12-03 | Paper |
scientific article; zbMATH DE number 1453144 (Why is no real title available?)
| 2000-09-04 | Paper |
scientific article; zbMATH DE number 1499111 (Why is no real title available?)
| 2000-09-03 | Paper |
Persistence and minimality in epistemic logic
Annals of Mathematics and Artificial Intelligence | 2000-06-07 | Paper |
A logical approach to the dynamics of commitments
Artificial Intelligence | 2000-06-04 | Paper |
scientific article; zbMATH DE number 1301746 (Why is no real title available?)
| 2000-01-25 | Paper |
scientific article; zbMATH DE number 1302387 (Why is no real title available?)
| 1999-12-07 | Paper |
Temporalizing epistemic default logic
Journal of Logic, Language and Information | 1999-09-29 | Paper |
scientific article; zbMATH DE number 1337624 (Why is no real title available?)
| 1999-09-21 | Paper |
scientific article; zbMATH DE number 1269575 (Why is no real title available?)
| 1999-09-14 | Paper |
scientific article; zbMATH DE number 1305380 (Why is no real title available?)
| 1999-06-17 | Paper |
Recovery of (non)monotonic theories
Artificial Intelligence | 1999-01-12 | Paper |
scientific article; zbMATH DE number 1234566 (Why is no real title available?)
| 1999-01-03 | Paper |
Group knowledge is not always distributed (neither is it always implicit)
Mathematical Social Sciences | 1999-01-01 | Paper |
scientific article; zbMATH DE number 1192312 (Why is no real title available?)
| 1998-08-20 | Paper |
A modal contrastive logic: The logic of ``but
Annals of Mathematics and Artificial Intelligence | 1998-05-17 | Paper |
Seeing is believing. And so are hearing and jumping
Journal of Logic, Language and Information | 1997-08-19 | Paper |
Counterfactual reasoning by (means of) defaults
Annals of Mathematics and Artificial Intelligence | 1997-05-11 | Paper |
The dynamics of default reasoning
Data & Knowledge Engineering | 1997-02-27 | Paper |
Honesty in partial logic
Studia Logica | 1996-07-28 | Paper |
scientific article; zbMATH DE number 847982 (Why is no real title available?)
| 1996-03-19 | Paper |
scientific article; zbMATH DE number 824735 (Why is no real title available?)
| 1995-12-11 | Paper |
scientific article; zbMATH DE number 762058 (Why is no real title available?)
| 1995-07-05 | Paper |
scientific article; zbMATH DE number 589751 (Why is no real title available?)
| 1995-06-13 | Paper |
scientific article; zbMATH DE number 549982 (Why is no real title available?)
| 1995-06-13 | Paper |
Counting Objects
Journal Of Logic And Computation | 1995-06-06 | Paper |
scientific article; zbMATH DE number 487145 (Why is no real title available?)
| 1994-10-20 | Paper |
Systems for Knowledge and Belief
Journal Of Logic And Computation | 1994-06-22 | Paper |
scientific article; zbMATH DE number 549990 (Why is no real title available?)
| 1994-04-12 | Paper |
Generalized quantifiers and modal logic
Journal of Logic, Language and Information | 1994-02-22 | Paper |
scientific article; zbMATH DE number 221548 (Why is no real title available?)
| 1993-06-29 | Paper |
MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT
International Journal of Foundations of Computer Science | 1993-01-16 | Paper |
scientific article; zbMATH DE number 58298 (Why is no real title available?)
| 1992-09-27 | Paper |
scientific article; zbMATH DE number 10093 (Why is no real title available?)
| 1992-06-25 | Paper |
