default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJohan van Benthem on Logic and Information Dynamics 2014
- Alexandru Baltag, Sonja Smets
:
Johan van Benthem on Logic and Information Dynamics. Springer 2014, ISBN 978-3-319-06024-8 - Erich Grädel, Martin Otto:
The Freedoms of (Guarded) Bisimulation. 3-31 - Yde Venema:
Expressiveness Modulo Bisimilarity: A Coalgebraic Perspective. 33-65 - Balder ten Cate, Phokion G. Kolaitis:
Schema Mappings: A Case of Logical Dynamics in Database Theory. 67-100 - Pietro Galliani, Jouko Väänänen:
On Dependence Logic. 101-119 - Samson Abramsky:
Intensionality, Definability and Computation. 121-142 - Hajnal Andréka, István Németi:
Comparing Theories: The Dynamics of Changing Vocabulary. 143-172 - Jan van Eijck:
Dynamic Epistemic Logics. 175-202 - Patrick Girard, Hans Rott:
Belief Revision and Dynamic Logic. 203-233 - Valentin Goranko, Eric Pacuit:
Temporal Aspects of the Dynamics of Knowledge. 235-266 - Nina Gierasimczuk, Vincent F. Hendricks, Dick de Jongh:
Logic and Learning. 267-288 - Kevin T. Kelly:
A Computational Learning Semantics for Inductive Empirical Knowledge. 289-337 - Nick Bezhanishvili, Wiebe van der Hoek:
Structures for Epistemic Logic. 339-380 - Lorenz Demey, Barteld Kooi:
Logic and Probabilistic Update. 381-404 - Hannes Leitgeb:
Belief as a Simplification of Probability, and What This Entails. 405-417 - Giacomo Bonanno, Cédric Dégremont:
Logic and Game Theory. 421-449 - Thomas Ågotnes, Hans van Ditmarsch:
Knowledge Games and Coalitional Abilities. 451-485 - Sergei N. Artëmov:
On Definitive Solutions of Strategic Games. 487-507 - R. Ramanujam:
Logical Player Types for a Theory of Play. 509-528 - Gabriel Sandu:
An Alternative Analysis of Signaling Games. 529-544 - Peter Millican, Michael J. Wooldridge:
Them and Us: Autonomous Agents In Vivo and In Silico. 547-567 - Yongmei Liu, Hector J. Levesque:
Incorporating Action Models into the Situation Calculus. 569-590 - Wesley H. Holliday, John Perry:
Roles, Rigidity, and Quantification in Epistemic Logic. 591-629 - Roberto Ciuni, John F. Horty:
Stit Logics, Games, Knowledge, and Freedom. 631-656 - Olivier Roy, Albert J. J. Anglberger, Norbert Gratzl:
The Logic of Best Actions from a Deontic Perspective. 657-676 - Dov M. Gabbay, Davide Grossi:
When are Two Arguments the Same? Equivalence in Abstract Argumentation. 677-701 - Lawrence S. Moss:
Three Etudes on Logical Dynamics and the Program of Natural Logic. 705-727 - Sven Ove Hansson, Fenrong Liu:
From Good to Better: Using Contextual Shifts to Define Preference in Terms of Monadic Value. 729-747 - Martin Stokhof:
Arguing About Dynamic Meaning. 749-764 - Hans Kamp:
Logic of and for Language, and Logic of and for Mind. 765-786 - Alistair M. C. Isaac, Jakub Szymanik, Rineke Verbrugge:
Logic and Complexity in Cognitive Science. 787-824 - Peter Gärdenfors:
Computational Complexity and Cognitive Science: How the Body and the World Help the Mind be Efficient. 825-833 - Denis Bonnay, Dag Westerståhl:
Dynamic Versus Classical Consequence. 837-854 - Guillaume Aucher:
Dynamic Epistemic Logic as a Substructural Logic. 855-880 - J. Michael Dunn:
Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras. 881-894 - Jeremy Seligman:
Situation Theory Reconsidered. 895-932 - Willem Conradie, Silvio Ghilardi, Alessandra Palmigiano:
Unified Correspondence. 933-975
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-07 01:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
