Loewenheim Skolem Theorem and Kripke semantics

Model theoretical methods in Kripke's semantics: Loewenheim-Skolem-Tarski type techniques / Minari, Pierluigi. - STAMPA. - Atti Congresso "Nuovi problemi della logica e della filosofia della scienza", Clueb, Bologna:(1991), pp. 305-312. (Intervento presentato al convegno S.I.L.F.S. tenutosi a Viareggio).

Model theoretical methods in Kripke's semantics: Loewenheim-Skolem-Tarski type techniques

MINARI, PIERLUIGI
1991

Abstract

Loewenheim Skolem Theorem and Kripke semantics
1991
Atti Congresso "Nuovi problemi della logica e della filosofia della scienza"
S.I.L.F.S.
Viareggio
Minari, Pierluigi
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/327449
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact