The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Menachem Magidor: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sarit Kraus, Daniel J. Lehmann, Menachem Magidor
    Nonmonotonic Reasoning, Preferential Models and Cumulative Logics. [Citation Graph (3, 0)][DBLP]
    Artif. Intell., 1990, v:44, n:1-2, pp:167-207 [Journal]
  2. Ran Rinat, Menachem Magidor
    Metaphoric Polymorphism: Taking Code Reuse One Step Further. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1996, pp:449-471 [Conf]
  3. Ran Rinat, Menachem Magidor, Scott F. Smith
    Correspondence Polymorphism for Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1999, pp:167-186 [Conf]
  4. Daniel J. Lehmann, Menachem Magidor
    Preferential Logics: the Predicate Calculus Case. [Citation Graph (0, 0)][DBLP]
    TARK, 1990, pp:57-72 [Conf]
  5. Karl Schlechta, Daniel J. Lehmann, Menachem Magidor
    Distance Semantics for Belief Revision. [Citation Graph (0, 0)][DBLP]
    TARK, 1996, pp:137-145 [Conf]
  6. Daniel J. Lehmann, Menachem Magidor
    What does a Conditional Knowledge Base Entail? [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1992, v:55, n:1, pp:1-60 [Journal]
  7. Arthur W. Apter, Menachem Magidor
    Instances of Dependent Choice and the Measurability of alephomega + 1. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1995, v:74, n:3, pp:203-219 [Journal]
  8. Maxim R. Burke, Menachem Magidor
    Shelah's pcf Theory and Its Applications. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1990, v:50, n:3, pp:207-254 [Journal]
  9. James Cummings, Matthew Foreman, Menachem Magidor
    Canonical structure in the universe of set theory: part one. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2004, v:129, n:1-3, pp:211-243 [Journal]
  10. Matthew Foreman, Menachem Magidor
    Large Cardinals and Definable Counterexamples to the Continuum Hypothesis. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1995, v:76, n:1, pp:47-97 [Journal]
  11. Menachem Magidor, John W. Rosenthal, Mattiyahu Rubin, Gabriel Srour
    Some Highly Undecidable Lattices. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1990, v:46, n:1, pp:41-63 [Journal]
  12. James Cummings, Matthew Foreman, Menachem Magidor
    Canonical structure in the universe of set theory: part two. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:142, n:1-3, pp:55-75 [Journal]
  13. Sarit Kraus, Daniel J. Lehmann, Menachem Magidor
    Nonmonotonic Reasoning, Preferential Models and Cumulative Logics [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  14. Daniel J. Lehmann, Menachem Magidor
    What does a conditional knowledge base entail? [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  15. Daniel J. Lehmann, Menachem Magidor, Karl Schlechta
    Distance Semantics for Belief Revision [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  16. Rachel Ben-Eliyahu, Menachem Magidor
    A Temporal Logic for Proving Properties of Topologically General Executions. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:124, n:2, pp:127-144 [Journal]
  17. Ron Aharoni, Menachem Magidor, Richard A. Shore
    On the strength of König's duality theorem for infinite bipartite graphs. [Citation Graph (0, 0)][DBLP]
    J. Comb. Theory, Ser. B, 1992, v:54, n:2, pp:257-290 [Journal]
  18. Shai Ben-David, Menachem Magidor
    The Weak is Really Weaker than the Full. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:4, pp:1029-1033 [Journal]
  19. James Cummings, Matthew Foreman, Menachem Magidor
    The non-compactness of square. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2003, v:68, n:2, pp:637-643 [Journal]
  20. Matthew Foreman, Menachem Magidor
    A Very Weak Square Principle. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:1, pp:175-196 [Journal]
  21. Matthew Foreman, Menachem Magidor, Ralf-Dieter Schindler
    The Consistency Strength of Successive Cardinals with The Tree Property. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:4, pp:1837-1847 [Journal]
  22. Matthew Foreman, Menachem Magidor, Saharon Shelah
    0 # and Some Forcing Principles. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:1, pp:39-46 [Journal]
  23. Fred Galvin, Thomas Jech, Menachem Magidor
    An Ideal Game. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1978, v:43, n:2, pp:284-292 [Journal]
  24. Moti Gitik, Menachem Magidor
    Extender Based Forcings. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:2, pp:445-460 [Journal]
  25. Moti Gitik, Menachem Magidor, W. Hugh Woodin
    Two Weak Consequences of 0#. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:3, pp:597-603 [Journal]
  26. Yuri Gurevich, Menachem Magidor, Saharon Shelah
    The Monadic Theory of omega12. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:2, pp:387-398 [Journal]
  27. Thomas Jech, Menachem Magidor, William John Mitchell, Karel Prikry
    Precipitous Ideals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1980, v:45, n:1, pp:1-8 [Journal]
  28. Daniel J. Lehmann, Menachem Magidor, Karl Schlechta
    Distance Semantics for Belief Revision. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:1, pp:295-317 [Journal]
  29. Amir Leshem, Menachem Magidor
    The Independence of delta1n. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:1, pp:350-362 [Journal]
  30. Menachem Magidor
    Chang's Conjecture and Powers of Singular Cardinals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:2, pp:272-276 [Journal]
  31. Menachem Magidor
    Reflecting Stationary Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1982, v:47, n:4, pp:755-771 [Journal]
  32. Menachem Magidor, Jerome I. Malitz
    Compactness and Transfer for a Fragment of L2. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:2, pp:261-268 [Journal]
  33. Menachem Magidor, Saharon Shelah, Jonathan Stavi
    On the Standard Part of Nonstandard Models of Set Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:1, pp:33-38 [Journal]
  34. Uri Abraham, Menachem Magidor
    On the Mutual-Exclusion Problem - A Quest for Minimal Solutions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:129, n:1, pp:1-38 [Journal]

  35. On Partially Wellfounded Generic Ultrapowers. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.282secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002