About: Reference: propositional WaterWorld
Metadata
| Name: | Reference: propositional WaterWorld |
| ID: | m10528 |
| Language: | English (en) |
| Summary: | The domain axioms for WaterWorld in propositional logic. |
| Subject: | Science and Technology |
| Keywords: | |
| Document Type: | -//CNX//DTD CNXML 0.5 plus MathML//EN |
| License: | Creative Commons Attribution License CC-BY 1.0 |
|
|
|
| Authors: | Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu), Phokion Kolaitis (kolaitis@cse.ucsc.edu), Moshe Vardi (vardi@cs.rice.edu), Matthias Felleisen (matthias@ccs.neu.edu) |
| Copyright Holders: | Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu), Phokion Kolaitis (kolaitis@cse.ucsc.edu), Moshe Vardi (vardi@cs.rice.edu), Matthias Felleisen (matthias@ccs.neu.edu) |
| Maintainers: | Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu) |
|
|
|
| Version: | 2.34 (history) |
| Created: | Mar 7, 2002 12:00 am US/Central |
| Revised: | Jan 21, 2009 2:59 pm US/Central |
Version History
| Version: | 2.34 Jan 21, 2009 2:59 pm US/Central by John Greiner |
| Changes: | Improved the formatting a bit. |
|
|
|
| Version: | 2.33 Jan 13, 2009 9:55 am US/Central by John Greiner |
| Changes: | Minor wording changes. |
|
|
|
| Version: | 2.32 Jan 7, 2009 12:56 pm US/Central by John Greiner |
| Changes: | Improved MathML |
|
|
|
| Version: | 2.31 Jan 7, 2008 10:26 am US/Central by John Greiner |
| Changes: | Minor wording changes. |
|
|
|
| Version: | 2.30 Jan 30, 2007 9:21 am US/Central by John Greiner |
| Changes: | Minor formatting fixes. |
|
|
|
| Version: | 2.29 Jan 17, 2007 1:27 pm US/Central by John Greiner |
| Changes: | Fixed a few usages of entities. |
|
|
|
| Version: | 2.28 Jan 24, 2006 2:55 pm US/Central by John Greiner |
| Changes: | Fix misstatement about how many neighbors A has. |
|
|
|
| Version: | 2.27 Jan 16, 2006 9:17 am US/Central by John Greiner |
| Changes: | Changed layout and textual description of axioms. |
|
|
|
| Version: | 2.26 Mar 10, 2005 4:10 pm US/Central by Ian Barland |
| Changes: | Updated roles, metadata. |
|
|
|
| Version: | 2.25 Aug 9, 2004 4:39 pm GMT-5 by Fuching Chi |
| Changes: | final update |
|
|
|
| Version: | 2.24 Aug 3, 2004 11:50 am GMT-5 by Sarah Trowbridge |
| Changes: | new name |
|
|
|
| Version: | 2.23 Aug 2, 2004 11:41 am GMT-5 by Sarah Trowbridge |
| Changes: | reorganization |
|
|
|
| Version: | 2.22 May 28, 2004 1:48 pm GMT-5 by Ian Barland |
| Changes: | Added Bryan Cash as a maintainer. |
|
|
|
| Version: | 2.21 May 14, 2004 2:25 pm GMT-5 by Ian Barland |
| Changes: | Sarah added as maintainer |
|
|
|
| Version: | 2.20 Mar 15, 2004 4:01 pm US/Central by Ian Barland |
| Changes: | updated roles |
|
|
|
| Version: | 2.19 Feb 3, 2003 12:00 am US/Central by (Unknown) |
| Changes: | Added maintainer |
|
|
|
| Version: | 2.18 Oct 25, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.17 Oct 10, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.16 Sep 10, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.15 Sep 10, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | greiner added |
|
|
|
| Version: | 2.14 Sep 10, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | greiner added |
|
|
|
| Version: | 2.13 Sep 10, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.12 Jul 31, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | release 1 |
|
|
|
| Version: | 2.11 Jul 30, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | upgraded to cnxml 0.4 (new scripts) |
|
|
|
| Version: | 2.10 Jul 23, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | looking for target for cnxn at end of partIIa |
|
|
|
| Version: | 2.9 Jul 22, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | added the png image |
|
|
|
| Version: | 2.8 Jul 22, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | gif->png in markup |
|
|
|
| Version: | 2.7 Jun 24, 2002 12:00 am GMT-5 by (Unknown) |
| Changes: | added peggy as maintainer |
|
|
|
| Version: | 2.6 Mar 27, 2002 12:00 am US/Central by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.5 Mar 25, 2002 12:00 am US/Central by (Unknown) |
| Changes: | maybe not even changed at all! |
|
|
|
| Version: | 2.4 Mar 25, 2002 12:00 am US/Central by (Unknown) |
| Changes: | .. |
|
|
|
| Version: | 2.3 Mar 19, 2002 12:00 am US/Central by (Unknown) |
| Changes: | mozilla disclaimer |
|
|
|
| Version: | 2.2 Mar 15, 2002 12:00 am US/Central by (Unknown) |
| Changes: | Sample text |
|
|
|
| Version: | 2.1 Mar 15, 2002 12:00 am US/Central by (Unknown) |
| Changes: | first version |
|
|
|
| Version: | 2.0 Mar 7, 2002 12:00 am US/Central by (Unknown) |
| Changes: | Added initial template for new module m10528 |
How to Reuse and Attribute This Content
If you derive a copy of this content using a Connexions account and publish your version, proper attribution of the original work will be automatically done for you.
If you reuse this work elsewhere, in order to comply with the attribution requirements of the license (CC-BY 1.0), you must include
- the authors' names: Ian Barland, John Greiner, Phokion Kolaitis, Moshe Vardi, Matthias Felleisen
- the title of the work: Reference: propositional WaterWorld
- the Connexions URL where the work can be found: http://cnx.org/content/m10528/2.34/
See the citation section below for examples you can copy.
How to Cite and Attribute This Content
The following citation styles comply with the attribution requirements for the license (CC-BY 1.0) of this work:
American Chemical Society (ACS) Style Guide:
Barland, I.; Greiner, J.; Kolaitis, P.; Vardi, M.; Felleisen, M. Reference: propositional WaterWorld, Connexions Web site. http://cnx.org/content/m10528/2.34/, Jan 21, 2009.
American Medical Assocation (AMA) Manual of Style:
Barland I, Greiner J, Kolaitis P, Vardi M, Felleisen M. Reference: propositional WaterWorld [Connexions Web site]. January 21, 2009. Available at: http://cnx.org/content/m10528/2.34/.
American Psychological Assocation (APA) Publication Manual:
Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. (2009, January 21). Reference: propositional WaterWorld. Retrieved from the Connexions Web site: http://cnx.org/content/m10528/2.34/
Chicago Manual of Style (Bibliography):
Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. "Reference: propositional WaterWorld." Connexions. January 21, 2009. http://cnx.org/content/m10528/2.34/.
Chicago Manual of Style (Note):
Ian Barland and others, "Reference: propositional WaterWorld," Connexions, January 21, 2009, http://cnx.org/content/m10528/2.34/.
Chicago Manual of Style (Reference, in Author-Date style):
Barland, I., Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. 2009. Reference: propositional WaterWorld. Connexions, January 21, 2009. http://cnx.org/content/m10528/2.34/.
Modern Languages Association (MLA) Style Manual:
Barland, Ian, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. Reference: propositional WaterWorld. Connexions. 21 Jan. 2009 <http://cnx.org/content/m10528/2.34/>.
Footer
More about this content: Metadata | Version History
This work is licensed by Ian Barland, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen under a Creative Commons Attribution License (CC-BY 1.0), and is an Open Educational Resource.
Last edited by John Greiner on Jan 21, 2009 2:59 pm US/Central.