Definition talk:Conditional

To 130.233.243.229 ...

Seriously appreciate your note on modal logic. Modal logic is something I've been meaning to add on PW for some time, but it relies on terminology and ideas that have not been properly developed. Also, I'm not familiar enough with the subject (everything I know about it being gleaned from incomplete accounts in various textbooks of varying quality, and what I've picked up from the web.

Are you in a position to be able to fill in (strictly adhering to the format and philosophy of ProofWiki although it can probably be carved into shape as need be) some basic pages describing it? That would be ace. Feel free to set yourself up a username. --Prime.mover 05:54, 29 April 2010 (UTC)


 * Question: is boolean interpretation section alright? joel talk 10:30, 1 January 2013 (UTC)


 * Yes --prime mover (talk) 12:00, 1 January 2013 (UTC)


 * Hah! Excuse of bothering—I see it know (read wrongly "and" instead of "or"): next time I'll sleep off better! :p joel talk 02:21, 2 January 2013 (UTC)