Found: 4

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

  • Voting by Eliminating Quantifiers.

    Published in:
    Studia Logica, 2009, v. 92, n. 3, p. 365, doi. 10.1007/s11225-009-9200-7
    By:
    • Dov Gabbay;
    • Andrzej Szałas
    Publication type:
    Article

  • Independence — Revision and Defaults.

    Published in:
    Studia Logica, 2009, v. 92, n. 3, p. 381, doi. 10.1007/s11225-009-9199-9
    By:
    • Dov Gabbay;
    • Karl Schlechta
    Publication type:
    Article

  • Fibred Security Language.

    Published in:
    Studia Logica, 2009, v. 92, n. 3, p. 395, doi. 10.1007/s11225-009-9201-6
    By:
    • Guido Boella;
    • Valerio Genovese;
    • Leendert van der Torre
    Publication type:
    Article

  • A Meta-model of Access Control in a Fibred Security Language.

    Published in:
    Studia Logica, 2009, v. 92, n. 3, p. 437, doi. 10.1007/s11225-009-9203-4
    By:
    • Steve Barker;
    • Guido Boella;
    • Valerio Genovese
    Publication type:
    Article