L’articolo è stato aggiunto alla lista dei desideri
Cliccando su “Conferma” dichiari che il contenuto da te inserito è conforme alle Condizioni Generali d’Uso del Sito ed alle Linee Guida sui Contenuti Vietati. Puoi rileggere e modificare e successivamente confermare il tuo contenuto. Tra poche ore lo troverai online (in caso contrario verifica la conformità del contenuto alle policy del Sito).
Grazie per la tua recensione!
Tra poche ore la vedrai online (in caso contrario verifica la conformità del testo alle nostre linee guida). Dopo la pubblicazione per te +4 punti
Tutti i formati ed edizioni
Promo attive (0)
Titolo: Labelled sequent calculi for indexed modal logics
EAN: 9788849156584
ISBN: 978-88-491-5658-4
Indexed modal logics are a generalization of standard quantified modal logics obtained by indexing modal operators with sets of terms and by considering a counterpart-theoretic version of a Kripke-type semantics called transition semantics. This allows us to distinguish between ‘c is necessarily P’ and ‘it is neccessary that Pc’. Moreover, it gives us a better control of the interaction of the first-order machinery (substitutions, quantifers and identity) with modalities.
This works provides a proof-theoretic study of indexed modal logics. It introduces labelled sequent calculi for all first-order definable classes of transition frames. It will be shown that the calculi introduced have good structural properties: invertibility of the rules, height-preserving admissibility of weakening and contraction and syntactic cut elimination. It will also be shown, in a completely modular way, that each calculus is sound and complete with respect to the appropriate class of transition frames.
L'articolo è stato aggiunto al carrello
L’articolo è stato aggiunto alla lista dei desideri
Siamo spiacenti si è verificato un errore imprevisto, la preghiamo di riprovare.
Verrai avvisato via email sulle novità di Nome Autore