|
Search the dblp DataBase
Menachem Magidor:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- Ran Rinat, Menachem Magidor
Metaphoric Polymorphism: Taking Code Reuse One Step Further. [Citation Graph (0, 0)][DBLP] ECOOP, 1996, pp:449-471 [Conf]
- Ran Rinat, Menachem Magidor, Scott F. Smith
Correspondence Polymorphism for Object-Oriented Languages. [Citation Graph (0, 0)][DBLP] OOPSLA, 1999, pp:167-186 [Conf]
- Daniel J. Lehmann, Menachem Magidor
Preferential Logics: the Predicate Calculus Case. [Citation Graph (0, 0)][DBLP] TARK, 1990, pp:57-72 [Conf]
- Karl Schlechta, Daniel J. Lehmann, Menachem Magidor
Distance Semantics for Belief Revision. [Citation Graph (0, 0)][DBLP] TARK, 1996, pp:137-145 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Daniel J. Lehmann, Menachem Magidor
What does a conditional knowledge base entail? [Citation Graph (0, 0)][DBLP] CoRR, 2002, v:0, n:, pp:- [Journal]
- Daniel J. Lehmann, Menachem Magidor, Karl Schlechta
Distance Semantics for Belief Revision [Citation Graph (0, 0)][DBLP] CoRR, 2002, v:0, n:, pp:- [Journal]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Moti Gitik, Menachem Magidor
Extender Based Forcings. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1994, v:59, n:2, pp:445-460 [Journal]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Menachem Magidor
Reflecting Stationary Sets. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1982, v:47, n:4, pp:755-771 [Journal]
- 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]
- 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]
- 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]
On Partially Wellfounded Generic Ultrapowers. [Citation Graph (, )][DBLP]
Search in 0.005secs, Finished in 0.282secs
|