THE MODAL LOGIC OF STEPWISE REMOVAL | 0 | 0.34 | 2022 |
A Simple Logic Of Functional Dependence | 0 | 0.34 | 2021 |
New Logical Perspectives on Monotonicity. | 0 | 0.34 | 2020 |
A Propositional Dynamic Logic for Instantial Neighborhood Semantics | 1 | 0.36 | 2019 |
Implicit and Explicit Stances in Logic | 0 | 0.34 | 2019 |
A New Game Equivalence, its Logic and Algebra | 1 | 0.36 | 2019 |
Symbolic model checking for Dynamic Epistemic Logic - S5 and beyond. | 0 | 0.34 | 2018 |
Modal logics of sabotage revisited. | 1 | 0.36 | 2018 |
A Propositional Dynamic Logic For Instantial Neighborhood Models | 0 | 0.34 | 2017 |
A bimodal perspective on possibility semantics. | 3 | 0.50 | 2017 |
A New Game Equivalence And Its Modal Logic | 0 | 0.34 | 2017 |
An Old Discipline with a New Twist: The Course "Logic in Action". | 0 | 0.34 | 2017 |
Instantial Neighbourhood Logic. | 2 | 0.41 | 2017 |
Against All Odds: When Logic Meets Probability. | 0 | 0.34 | 2017 |
Computing rational beliefs under limited foresight. | 0 | 0.34 | 2015 |
Sabotage Modal Logic: Some Model and Proof Theoretic Aspects. | 2 | 0.38 | 2015 |
Symbolic Model Checking for Dynamic Epistemic Logic. | 9 | 0.55 | 2015 |
Natural Language and Logic of Agency | 0 | 0.34 | 2014 |
Deontic Logic And Preference Change | 0 | 0.34 | 2014 |
Reasoning about Strategies. | 2 | 0.39 | 2013 |
Evidence and plausibility in neighborhood structures. | 2 | 0.44 | 2013 |
The Nets Of Reason | 0 | 0.34 | 2012 |
Toward a Dynamic Logic of Questions | 13 | 1.19 | 2012 |
The logic of empirical theories revisited. | 0 | 0.34 | 2012 |
Foundational Issues in Logical Dynamics. | 0 | 0.34 | 2012 |
New logical perspectives on physics. | 0 | 0.34 | 2012 |
Evidence Logic: A New Look at Neighborhood Structures. | 5 | 0.60 | 2012 |
McCarthy variations in a modal key | 2 | 0.40 | 2011 |
Dynamic Logics of Evidence-Based Beliefs | 39 | 2.26 | 2011 |
Logical dynamics of evidence | 0 | 0.34 | 2011 |
Toward a Theory of Play: A Logical Perspective on Games and Interaction. | 11 | 0.74 | 2011 |
Obituaries: John McCarthy. | 0 | 0.34 | 2011 |
Exploring a theory of play | 0 | 0.34 | 2011 |
Game Solution, Epistemic Dynamics and Fixed-Point Logics | 14 | 0.82 | 2010 |
Logic between expressivity and complexity | 0 | 0.34 | 2010 |
The dynamics of awareness. | 16 | 1.00 | 2010 |
Deontics = betterness + priority | 5 | 0.51 | 2010 |
Lindström theorems for fragments of first-order logic | 0 | 0.34 | 2009 |
Lindström theorems for fragments of first-order logic | 1 | 0.39 | 2009 |
Dynamic Update with Probabilities | 24 | 1.24 | 2009 |
Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences. | 46 | 2.78 | 2009 |
The information in intuitionistic logic | 9 | 0.92 | 2009 |
Logic and intelligent interaction | 1 | 0.37 | 2009 |
Modal fixed-point logic and changing models | 5 | 0.60 | 2008 |
Modelling simultaneous games in dynamic logic | 12 | 0.68 | 2008 |
The many faces of interpolation | 6 | 0.50 | 2008 |
Bridges between dynamic doxastic and doxastic temporal logics | 2 | 0.40 | 2008 |
Logic and Reasoning: do the facts matter? | 13 | 1.11 | 2008 |
Lindstrom theorems for fragments of first-order logic | 3 | 0.49 | 2007 |
Dynamic logic for belief revision | 139 | 6.98 | 2007 |