Quantificational modal logic with sequential Kripke semantics

Tipo Pubblicazione: 
Articolo
Author or Creator: 
Borgo
S.
Source: 
15 (2005): 137–188.
info:cnr-pdr/source/autori:Borgo, S./titolo:Quantificational modal logic with sequential Kripke semantics/doi:/rivista:/anno:2005/pagina_da:137/pagina_a:188/intervallo_pagine:137–188/volume:15
Date: 
2005
Resource Identifier: 
http://www.cnr.it/prodotto/i/69372
ISTC Author: 
Ritratto di Stefano Borgo
Real name: