Found: 5

Select item for more details and to access through your institution.

  • Meaning and proofs: on the conflict between classical and intuitionistic logic.

    Published in:
    Theoria: A Swedish Journal of Philosophy, 1977, v. 43, n. 1, p. 2, doi. 10.1111/j.1755-2567.1977.tb00776.x
    By:
    • PRAWITZ, DAG
    Publication type:
    Article
  • A completeness proof for an infinitary tense-logic.

    Published in:
    Theoria: A Swedish Journal of Philosophy, 1977, v. 43, n. 1, p. 47, doi. 10.1111/j.1755-2567.1977.tb00778.x
    By:
    • SUNDHOLM, GÖRAN
    Publication type:
    Article
  • Announcement.

    Published in:
    Theoria: A Swedish Journal of Philosophy, 1977, v. 43, n. 1, p. 1, doi. 10.1111/j.1755-2567.1977.tb00775.x
    Publication type:
    Article
  • The stubborn opacity of belief contexts.

    Published in:
    Theoria: A Swedish Journal of Philosophy, 1977, v. 43, n. 1, p. 41, doi. 10.1111/j.1755-2567.1977.tb00777.x
    By:
    • MARGOLIS, JOSEPH
    Publication type:
    Article
  • Five critical modal systems.

    Published in:
    Theoria: A Swedish Journal of Philosophy, 1977, v. 43, n. 1, p. 52, doi. 10.1111/j.1755-2567.1977.tb00779.x
    By:
    • ESAKIA, L.;
    • MESKHI, V.
    Publication type:
    Article