海量图书期刊资源,随时随地畅享阅读乐趣
Model Theory for Intuitionistic LogicDov M. Gabbay · 1972
Quantum logic, Hilbert space, revision theoryKurt Engesser; Dov M. Gabbay · 2002
Independence — Revision and DefaultsDov M. Gabbay; Karl Schlechta · 2009
Voting by Eliminating QuantifiersDov M. Gabbay; Andrzej Szałas · 2009
Fibred Security LanguageGuido Boella; Dov M. Gabbay; Valerio Genovese; Leendert van der Torre · 2009
Modal Logics of Reactive FramesDov M. Gabbay; Sérgio Marcelino · 2009
Modal Provability Foundations for Argumentation NetworksDov M. Gabbay · 2009
Fibring Argumentation FramesDov M. Gabbay · 2009