1.  42
    Logical Extensions of Aristotle’s Square.Dominique Luzeaux, Jean Sallantin & Christopher Dartnell - 2008 - Logica Universalis 2 (1):167-187.
    . We start from the geometrical-logical extension of Aristotle’s square in [6,15] and [14], and study them from both syntactic and semantic points of view. Recall that Aristotle’s square under its modal form has the following four vertices: A is □α, E is , I is and O is , where α is a logical formula and □ is a modality which can be defined axiomatically within a particular logic known as S5 (classical or intuitionistic, depending on whether is involutive (...)
    Direct download (3 more)  
    Export citation  
    Bookmark   12 citations  
  2.  19
    Construction de modalités par des agents rationnels.Jean Sallantin, Jacques Divol, Patrice Duroux & Jean Jacques Sczczéciniarz - 2003 - Revue Belge de Philologie Et D’Histoire 81 (3):617-632.
    No categories
    Direct download (2 more)  
    Export citation