Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/birthday/Gabbay2.bht:"
download as .bib file
@inproceedings{DBLP:conf/birthday/GoguenL05,
author = {Joseph A. Goguen and
Kai Lin},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Specifying, Programming and Verifying with Equational Logic},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {1--38},
publisher = {College Publications},
year = {2005},
timestamp = {Thu, 09 Jul 2020 09:13:39 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GoguenL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GrantKP05,
author = {John Grant and
Sarit Kraus and
Donald Perlis},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Formal Approaches to Teamwork},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {39--68},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/GrantKP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Hodges05,
author = {Wilfrid Hodges},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Detecting the Logical Content: Burley's 'Purity of Logic'},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {69--116},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Hodges05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HodkinsonR05,
author = {Ian M. Hodkinson and
Mark Reynolds},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Separation - Past, Present, and Future},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {117--142},
publisher = {College Publications},
year = {2005},
timestamp = {Thu, 15 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/HodkinsonR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Jacquette05,
author = {Dale Jacquette},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Kripke's Modal Objection to the Description Theory of Reference},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {143--168},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Jacquette05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KlopV05,
author = {Jan Willem Klop and
Roel C. de Vrijer},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Infinitary Normalization},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {169--192},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/KlopV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KuruczWZ05,
author = {Agi Kurucz and
Frank Wolter and
Michael Zakharyaschev},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Modal Logics for Metric Spaces: Open Problems},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {193--108},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/KuruczWZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Leivant05,
author = {Daniel Leivant},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Partial Correctness Assertions Provable in Dynamic Logic},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {209--224},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Leivant05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Magnani05,
author = {Lorenzo Magnani},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Abduction and Cognition in Organic and Logical Agents},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {225--258},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Magnani05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Makinson05,
author = {David Makinson},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Friendliness for Logicians},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {259--292},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Makinson05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Maksimova05,
author = {Larisa Maksimova},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Interpolation and Joint Consistency},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {293--306},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Maksimova05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MelisS05,
author = {Erica Melis and
J{\"{o}}rg H. Siekmann},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {e-Learning Logic and Mathematics: What We Have and What We Need},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {639--662},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/MelisS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MetcalfeO05,
author = {George Metcalfe and
Nicola Olivetti},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Goal-Directed Methods for Fuzzy Logics},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {307--330},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/MetcalfeO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Meulen05,
author = {Alice ter Meulen},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Still},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {331--340},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Meulen05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Meyer-ViolK05,
author = {Wilfried Meyer{-}Viol and
Ruth Kempson},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Sequence-Dominance Grammars},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {341--370},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Meyer-ViolK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Moszkowski05,
author = {Ben C. Moszkowski},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {A Hierarchical Analysis of Propositional Temporal Logic based on Intervals},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {371--440},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Moszkowski05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Nossum05,
author = {Rolf Nossum},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Nesting Patterns in Fibred Logics of Context},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {441--452},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Nossum05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Ohlbach05,
author = {Hans J{\"{u}}rgen Ohlbach},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Modelling Periodic Temporal Notions by Labelled Partitionings - The
PartLib Library},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {453--498},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 10 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Ohlbach05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/OliveiraQ05,
author = {Anjolina Grisi de Oliveira and
Ruy J. G. B. de Queiroz},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {A New Basic Set of Transformations between Proofs},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {499--528},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/OliveiraQ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Pigozzi05,
author = {Gabriella Pigozzi},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Should We Send Him to Prison? Paradoxes of Aggregation and Belief
Merging},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {529--542},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Pigozzi05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Pnueli05,
author = {Amir Pnueli},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Verification of Procedural Programs},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {543--590},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Pnueli05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Rodrigues05,
author = {Odinaldo Rodrigues},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Iterated Revision and Automatic Similarity Generation},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {591--614},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Rodrigues05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Rybakov05,
author = {Vladimir V. Rybakov},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Inference in Temporal Next-Time Logic},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {615--638},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Rybakov05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Shehtman05,
author = {Valentin B. Shehtman},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {On Neighbourhood Semantics 30 years later},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {663--692},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Shehtman05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Suppes05,
author = {Patrick Suppes},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Psychological Nature of Verification of Informal Mathematical Proofs},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {693--712},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Suppes05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Williamson05,
author = {Jon Williamson},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Objective Bayesian Nets},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {713--730},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Williamson05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Woods05,
author = {John Woods},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Epistemic Bubbles},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {731--774},
publisher = {College Publications},
year = {2005},
timestamp = {Wed, 23 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Woods05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2005gabbay2,
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
publisher = {College Publications},
year = {2005},
isbn = {1-904987-26-5},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2005gabbay2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-25 21:19 CEST from data curated 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:
