default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60. Birthday: Dov M. Gabbay, 2005
- Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods:
We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two. College Publications 2005, ISBN 1-904987-26-5 - Joseph A. Goguen, Kai Lin:
Specifying, Programming and Verifying with Equational Logic. We Will Show Them! (2) 2005: 1-38 - John Grant, Sarit Kraus, Donald Perlis:
Formal Approaches to Teamwork. We Will Show Them! (2) 2005: 39-68 - Wilfrid Hodges:
Detecting the Logical Content: Burley's 'Purity of Logic'. We Will Show Them! (2) 2005: 69-116 - Ian M. Hodkinson, Mark Reynolds:
Separation - Past, Present, and Future. We Will Show Them! (2) 2005: 117-142 - Dale Jacquette:
Kripke's Modal Objection to the Description Theory of Reference. We Will Show Them! (2) 2005: 143-168 - Jan Willem Klop, Roel C. de Vrijer:
Infinitary Normalization. We Will Show Them! (2) 2005: 169-192 - Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
Modal Logics for Metric Spaces: Open Problems. We Will Show Them! (2) 2005: 193-108 - Daniel Leivant:
Partial Correctness Assertions Provable in Dynamic Logic. We Will Show Them! (2) 2005: 209-224 - Lorenzo Magnani:
Abduction and Cognition in Organic and Logical Agents. We Will Show Them! (2) 2005: 225-258 - David Makinson:
Friendliness for Logicians. We Will Show Them! (2) 2005: 259-292 - Larisa Maksimova:
Interpolation and Joint Consistency. We Will Show Them! (2) 2005: 293-306 - George Metcalfe, Nicola Olivetti:
Goal-Directed Methods for Fuzzy Logics. We Will Show Them! (2) 2005: 307-330 - Alice ter Meulen:
Still. We Will Show Them! (2) 2005: 331-340 - Wilfried Meyer-Viol, Ruth Kempson:
Sequence-Dominance Grammars. We Will Show Them! (2) 2005: 341-370 - Ben C. Moszkowski:
A Hierarchical Analysis of Propositional Temporal Logic based on Intervals. We Will Show Them! (2) 2005: 371-440 - Rolf Nossum:
Nesting Patterns in Fibred Logics of Context. We Will Show Them! (2) 2005: 441-452 - Hans Jürgen Ohlbach:
Modelling Periodic Temporal Notions by Labelled Partitionings - The PartLib Library. We Will Show Them! (2) 2005: 453-498 - Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz:
A New Basic Set of Transformations between Proofs. We Will Show Them! (2) 2005: 499-528 - Gabriella Pigozzi:
Should We Send Him to Prison? Paradoxes of Aggregation and Belief Merging. We Will Show Them! (2) 2005: 529-542 - Amir Pnueli:
Verification of Procedural Programs. We Will Show Them! (2) 2005: 543-590 - Odinaldo Rodrigues:
Iterated Revision and Automatic Similarity Generation. We Will Show Them! (2) 2005: 591-614 - Vladimir V. Rybakov:
Inference in Temporal Next-Time Logic. We Will Show Them! (2) 2005: 615-638 - Erica Melis, Jörg H. Siekmann:
e-Learning Logic and Mathematics: What We Have and What We Need. We Will Show Them! (2) 2005: 639-662 - Valentin B. Shehtman:
On Neighbourhood Semantics 30 years later. We Will Show Them! (2) 2005: 663-692 - Patrick Suppes:
Psychological Nature of Verification of Informal Mathematical Proofs. We Will Show Them! (2) 2005: 693-712 - Jon Williamson:
Objective Bayesian Nets. We Will Show Them! (2) 2005: 713-730 - John Woods:
Epistemic Bubbles. We Will Show Them! (2) 2005: 731-774
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 2025-11-20 22:20 CET 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:
