--- Day changed Tue Jul 04 2017 | ||

Nik05 | Hm no idea how his temporal logic works, conjuction is only possible for propositions at the same time | 04/07 00:30 |
---|---|---|

comietek | Nik05: you could try reading some of the papers Pfenning has written with Davies | 04/07 00:42 |

comietek | Nik05: before implementing modal logics, do you already know how to implement a standard propositional logic? | 04/07 00:43 |

comietek | Nik05: if you do, do you know how to show normalisation for it? | 04/07 00:44 |

comietek | Nik05: and if you know that, do you know how to show that your normalisation method is correct with respect to some separately-defined convertibility relation (or, dynamics)? | 04/07 00:45 |

comietek | Nik05: and if you know *that*, then please teach me, because i have no idea how to do it for anything else except the very basic Hilbert system and Tarski semantics, and they aren't good for anything else | 04/07 00:46 |

Nik05 | haha comietek, uh i guess no :P | 04/07 01:18 |

comietek | Nik05: not that i would wish to dissuade you from modal logics | 04/07 01:20 |

Nik05 | its all just fun for me | 04/07 01:22 |

Nik05 | guess I should first undertand implementing a propositional logic | 04/07 01:22 |

Nik05 | thank you comietek, i will read further :) | 04/07 01:41 |

Nik05 | and maybe later try modal logics | 04/07 01:41 |

Nik05 | epistemic or something logic i find interesting | 04/07 01:42 |

Nik05 | oh i wrote it correct :) | 04/07 01:42 |

Nik05 | have a good evening | 04/07 01:45 |

Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!