Switch to: References

Add citations

You must login to add citations.
  1. Pure Modal Logic of Names and Tableau Systems.Andrzej Pietruszczak & Tomasz Jarmużek - 2018 - Studia Logica 106 (6):1261-1289.
    By a pure modal logic of names we mean a quantifier-free formulation of such a logic which includes not only traditional categorical, but also modal categorical sentences with modalities de re and which is an extension of Propositional Logic. For categorical sentences we use two interpretations: a “natural” one; and Johnson and Thomason’s interpretation, which is suitable for some reconstructions of Aristotelian modal syllogistic :271–284, 1989; Thomason in J Philos Logic 22:111–128, 1993 and J Philos Logic 26:129–141, 1997. In both (...)
    Export citation