Matrix satisfiability and axiomatization
Notre Dame Journal of Formal Logic 12 (3):309-321 (1971)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesPhilippe Balbiani, Andreas Herzig & Nicolas Troquard (2008). Alternative Axiomatics and Complexity of Deliberative Stit Theories. Journal of Philosophical Logic 37 (4).
Christopher Grau (2005). Bad Dreams, Evil Demons, and the Experience Machine: Philosophy and The Matrix. In Christopher Grau (ed.), Philosophers Explore The Matrix. Oxford University Press.
Adam Kolany (2010). Reversed Resolution in Reducing General Satisfiability Problem. Studia Logica 95 (3).
Ian Pratt-Hartmann (2008). On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics. The Bulletin of Symbolic Logic 14 (1):1 - 28.
Lena Kurzen (2009). Reasoning About Cooperation, Actions and Preferences. Synthese 169 (2):223 - 240.
Katarzyna Pałasińska (2004). No Matrix Term-Equivalent to Wroński's 3-Element Matrix is Finitely Based. Studia Logica 77 (3):413 - 423.
Thomas Eiter & Georg Gottlob (1998). On the Expressiveness of Frame Satisfiability and Fragments of Second-Order Logic. Journal of Symbolic Logic 63 (1):73-82.
Martin Otto (2001). Two Variable First-Order Logic Over Ordered Domains. Journal of Symbolic Logic 66 (2):685-702.
Mark Reynolds (1992). An Axiomatization for Until and Since Over the Reals Without the IRR Rule. Studia Logica 51 (2):165 - 193.
Adam Kolany (1993). Satisfiability on Hypergraphs. Studia Logica 52 (3):393 - 404.
Alberto Zanardo (1990). Axiomatization of 'Peircean' Branching-Time Logic. Studia Logica 49 (2):183 - 195.
Adam Kolany (1997). Consequence Operations Based on Hypergraph Satisfiability. Studia Logica 58 (2):261-272.
Colin McGinn (2005). The Matrix of Dreams. In C. Grau (ed.), Philosophical Essays on the Matrix. New York: Oxford University Press New York.
Ben Mepham (2000). A Framework for the Ethical Analysis of Novel Foods: The Ethical Matrix. Journal of Agricultural and Environmental Ethics 12 (2):165-176.
Petr Cintula (2005). Two Notions of Compactness in Gödel Logics. Studia Logica 81 (1):99 - 122.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads4 ( #178,586 of 549,066 )Recent downloads (6 months)1 ( #63,185 of 549,066 )How can I increase my downloads? |
My notes
Discussion
