• Aiuto
  • Sfoglia

    • We describe a prototypical, Prolog-based implementation of a tool, named transIt, able to uniformly carry out translations from various modal logics to the relational formalism. We verified that this approach offers a high degree of uniformity: transIt is able to treat varied modal logics by the very same machinery. Moreover, extensions to further classes of logics can easily be obtained by conservatively adding their declarative Prolog specifications.


    Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11391/27792

    Titolo: A Prolog tool for relational translation of modal logics: a front-end for relational proof systems
    Autori interni: FORMISANO, Andrea
    Data di pubblicazione: 2005
    Rivista: FACHBERICHTE INFORMATIK  
    Abstract: We describe a prototypical, Prolog-based implementation of a tool, named transIt, able to uniformly carry out translations from various modal logics to the relational formalism. We verified that this approach offers a high degree of uniformity: transIt is able to treat varied modal logics by the very same machinery. Moreover, extensions to further classes of logics can easily be obtained by conservatively adding their declarative Prolog specifications.
    Handle: http://hdl.handle.net/11391/27792
    Appare nelle tipologie:4.1 Contributo in Atti di convegno

    File in questo prodotto:
    Non ci sono file associati a questo prodotto.
    • Citazioni
    • ND
    • ND

    I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
     
     
     
    Powered by IRIS-about IRIS-Utilizzo dei cookie
    Logo CINECA  Copyright © 2017