2024
Modal structures in groups and vector spaces.
J. Log. Comput., 2024
Knowability as continuity: a topological account of informational dependence.
CoRR, 2024
2023
Interleaving Logic and Counting.
Bull. Symb. Log., December, 2023
The logic of conditionals on outback trails.
Log. J. IGPL, November, 2023
Hybrid sabotage modal logic.
J. Log. Comput., August, 2023
2022
The Modal Logic of Stepwise removal.
Rev. Symb. Log., 2022
A Logical Analysis of Dynamic Dependence.
CoRR, 2022
Local Dependence and Guarding.
Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022
2021
A Simple Logic of Functional Dependence.
J. Philos. Log., 2021
2020
New Logical Perspectives on Monotonicity.
Proceedings of the Monotonicity in Logic and Language, 2020
2019
A Propositional Dynamic Logic for Instantial Neighborhood Semantics.
Stud Logica, 2019
A New Game Equivalence, its Logic and Algebra.
J. Philos. Log., 2019
Implicit and Explicit Stances in Logic.
J. Philos. Log., 2019
2018
Symbolic model checking for Dynamic Epistemic Logic - S5 and beyond.
J. Log. Comput., 2018
Modal logics of sabotage revisited.
J. Log. Comput., 2018
Computation as social agency: What, how and who.
Inf. Comput., 2018
2017
Instantial Neighbourhood Logic.
Rev. Symb. Log., 2017
A bimodal perspective on possibility semantics.
J. Log. Comput., 2017
On A New Semantics for First-Order Predicate Logic.
J. Philos. Log., 2017
An Old Discipline with a New Twist: The Course "Logic in Action".
FLAP, 2017
A New Game Equivalence and its Modal Logic.
Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017
A Propositional Dynamic Logic for Instantial Neighborhood Models.
Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017
Against All Odds: When Logic Meets Probability.
Proceedings of the ModelEd, TestEd, TrustEd, 2017
2015
Logic of Strategies: What and How?
Proceedings of the Models of Strategic Reasoning - Logics, Games, and Communities, 2015
Computing rational beliefs under limited foresight.
CoRR, 2015
Symbolic Model Checking for Dynamic Epistemic Logic.
Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015
Sabotage Modal Logic: Some Model and Proof Theoretic Aspects.
Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015
2014
Modeling Reasoning in a Social Setting.
Stud Logica, 2014
Natural Language and Logic of Agency.
J. Log. Lang. Inf., 2014
Deontic Logic and Preference Change.
FLAP, 2014
Evidence and plausibility in neighborhood structures.
Ann. Pure Appl. Log., 2014
2013
Reasoning about Strategies.
Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013
2012
Proceedings of the Games, Actions and Social Software - Multidisciplinary Aspects, 2012
New logical perspectives on physics.
Synth., 2012
The logic of empirical theories revisited.
Synth., 2012
Sahlqvist Correspondence for Modal mu-calculus.
Stud Logica, 2012
Toward a Dynamic Logic of Questions.
J. Philos. Log., 2012
Evidence Logic: A New Look at Neighborhood Structures.
Proceedings of the Advances in Modal Logic 9, 2012
Foundational Issues in Logical Dynamics.
Proceedings of the Advances in Modal Logic 9, 2012
2011
Dynamic Logics of Evidence-Based Beliefs.
Stud Logica, 2011
J. Appl. Non Class. Logics, 2011
Obituaries: John McCarthy.
J. Int. Comput. Games Assoc., 2011
Toward a Theory of Play: A Logical Perspective on Games and Interaction.
Games, 2011
McCarthy variations in a modal key.
Artif. Intell., 2011
Exploring a theory of play.
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011
Logical Dynamics of Evidence.
Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011
Logic Games: From Tools to Models of Interaction.
Proceedings of the Proof, Computation and Agency - Logic at the Crossroads., 2011
2010
The dynamics of awareness.
Synth., 2010
Temporal Logics of Agency.
J. Log. Lang. Inf., 2010
Game Solution, Epistemic Dynamics and Fixed-Point Logics.
Fundam. Informaticae, 2010
Deontics = Betterness + Priority.
Proceedings of the Deontic Logic in Computer Science, 10th International Conference, 2010
Logic between Expressivity and Complexity.
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010
2009
The information in intuitionistic logic.
Synth., 2009
Logic and intelligent interaction.
Synth., 2009
Dynamic Update with Probabilities.
Stud Logica, 2009
Everything Else Being Equal: A Modal Logic for <i>Ceteris Paribus</i> Preferences.
J. Philos. Log., 2009
Merging Frameworks for Interaction.
J. Philos. Log., 2009
Lindström theorems for fragments of first-order logic
Log. Methods Comput. Sci., 2009
Decisions, Actions, and Games: A Logical Perspective.
Proceedings of the Logic and Its Applications, Third Indian Conference, 2009
2008
Modelling simultaneous games in dynamic logic.
Synth., 2008
The many faces of interpolation.
Synth., 2008
Logic and Reasoning: do the facts matter?
Stud Logica, 2008
Modal logic and invariance.
J. Appl. Non Class. Logics, 2008
Visualizing Compositions of Services from Large Repositories.
Proceedings of the 10th IEEE International Conference on E-Commerce Technology (CEC 2008) / 5th IEEE International Conference on Enterprise Computing, 2008
Bridges between Dynamic Doxastic and Doxastic Temporal Logics.
Proceedings of the Logic and the Foundations of Game and Decision Theory, 2008
Modal Fixed-Point Logic and Changing Models.
Proceedings of the Pillars of Computer Science, 2008
2007
Proceedings of the Handbook of Spatial Logics, 2007
Proceedings of the Handbook of Spatial Logics, 2007
A New Modal Lindström Theorem.
Logica Universalis, 2007
Dynamic logic of preference upgrade.
J. Appl. Non Class. Logics, 2007
Dynamic logic for belief revision.
J. Appl. Non Class. Logics, 2007
Erratum: "Rational Dynamics and Epistemic Logic in Games".
IGTR, 2007
Rational Dynamics and Epistemic Logic in Games.
IGTR, 2007
Merging frameworks for interaction: DEL and ETL.
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007
Modal logic: a semantic perspective.
Proceedings of the Handbook of Modal Logic., 2007
2006
Multimo dal Logics of Products of Topologies.
Stud Logica, 2006
Modal Frame Correspondences and Fixed-Points.
Stud Logica, 2006
Logics of communication and change.
Inf. Comput., 2006
The Tree of Knowledge in Action: Towards a Common Perspective.
Proceedings of the Advances in Modal Logic 6, 2006
2005
Minimal predicates, fixed-points, and definability.
J. Symb. Log., 2005
Guards, Bounds, and Generalized Semantics.
J. Log. Lang. Inf., 2005
Common knowledge in update logics.
Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), 2005
Open Problems in Logic and Games.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005
An Essay on Sabotage and Obstruction.
Proceedings of the Mechanizing Mathematical Reasoning, 2005
2003
Euclidean Hierarchy in Modal Logic.
Stud Logica, 2003
Logic Games are Complete for Game Logics.
Stud Logica, 2003
Logic and the Dynamics of Information.
Minds Mach., 2003
Reasoning About Space: The Modal Way.
J. Log. Comput., 2003
Connecting the Different Faces of Information.
J. Log. Lang. Inf., 2003
Conditional Probability Meets Update Logic.
J. Log. Lang. Inf., 2003
2002
Extensive Games as Process Models.
J. Log. Lang. Inf., 2002
A Modal Walk Through Space.
J. Appl. Non Class. Logics, 2002
2001
Ensemble-based prediction of SAT search behaviour.
Electron. Notes Discret. Math., 2001
2000
Information Transfer across Chu Spaces.
Log. J. IGPL, 2000
'On Being Informed': Update Logics for Knowledge States.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000
1999
Interpolation, Preservation, and Pebble Games.
J. Symb. Log., 1999
Information Flow: The Logic of Distributed Systems, Jon Barwise and Jerry Seligman.
J. Log. Lang. Inf., 1999
The Range of Modal Logic.
J. Appl. Non Class. Logics, 1999
Temporal Patterns and Modal Structure.
Log. J. IGPL, 1999
Modality, Bisimulation and Interpolation in Infinitary Logic.
Ann. Pure Appl. Log., 1999
1998
Modal Deduction in Second-Order Logic and Set Theory - II.
Stud Logica, 1998
Program Constructions that are Safe for Bisimulation.
Stud Logica, 1998
Modal Languages and Bounded Fragments of Predicate Logic.
J. Philos. Log., 1998
Process Operations in Extended Dynamic Logics.
Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998
Modality, relational guards, and decidability (invited paper).
Proceedings of the Participants Copies for Relational Methods in Logic, 1998
1997
Modal Deduction in Second-Order Logic and Set Theory - I.
J. Log. Comput., 1997
Editorial: Cognitive Actions in Focus.
J. Log. Lang. Inf., 1997
Modal Foundations for Predicate Logic.
Log. J. IGPL, 1997
Proceedings of the Handbook of Logic and Language., 1997
Proceedings of the Handbook of Logic and Language., 1997
Proceedings of the Handbook of Logic and Language., 1997
Proceedings of the Handbook of Logic and Language., 1997
1996
Space, Time, and Computation: Trends and Problems.
Appl. Intell., 1996
Exploring logical dynamics.
Studies in logic, language and information, CSLI, ISBN: 978-1-57586-059-6, 1996
1995
Directions in generalized quantifier theory.
Stud Logica, 1995
Back and Forth Between Modal Logic and Classical Logic.
Log. J. IGPL, 1995
1994
Modal Logic, Transition Systems and Processes.
J. Log. Comput., 1994
Logic of Transition Systems.
J. Log. Lang. Inf., 1994
1993
Editorial: The Elusive Locus of Logicality.
J. Log. Comput., 1993
Modal Frame Classes Revisited.
Fundam. Informaticae, 1993
The Logic of Cognitive Action.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993
1992
Fundam. Informaticae, 1992
Epistemic Logic: From Knowledge to Cognition.
Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, 1992
1991
Reasoning and Programming: Analogies between Logic and Computation.
Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991
The logic of time - a model-theoretic investigation into the varieties of temporal ontology and temporal discourse, 2nd Edition.
Synthese library 156, Kluwer, ISBN: 0792310810, 1991
1990
Categorial grammar and type theory.
J. Philos. Log., 1990
1989
Logical Constants Across Varying Types.
Notre Dame J. Formal Log., 1989
Notes on Modal Definability.
Notre Dame J. Formal Log., 1989
1988
Time, logic and computation.
Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988
1986
1985
The variety of consequence, according to Bolzano.
Stud Logica, 1985
1984
Notre Dame J. Formal Log., 1984
Questions About Quantifiers.
J. Symb. Log., 1984
Foundations of conditional logic.
J. Philos. Log., 1984
1983
Halldén-completeness by gluing of Kripke frames.
Notre Dame J. Formal Log., 1983
1979
Canonical Modal Logics and Ultrafilter Extensions.
J. Symb. Log., 1979
1978
1976
Modal Formulas are Either Elementary or not sigma triangle-Elementary.
J. Symb. Log., 1976
Modal Reduction Principles.
J. Symb. Log., 1976
1975
A Note on Modal Formulae and Relational Properties.
J. Symb. Log., 1975
1974
