Si presenta un nuovo linguaggio per la logica modale quantificata in cui gli operatori modali sono indiciati da termini: "è necessario per t1, … , tn''. In questo linguaggio vengono definiti alcuni sistemi modali predicativi e si dimostra che sono completi rispetto alla semantica delle transizioni. Formule come la formula della Barcan o la formula di Ghilardi oppure la necessità dell'identià possono essere espresse in modo naturale e si dimostra che corrispondono a particolari proprietà della relazione di transizione.
Modalità indiciate.
CORSI, GIOVANNA
2011
Abstract
Si presenta un nuovo linguaggio per la logica modale quantificata in cui gli operatori modali sono indiciati da termini: "è necessario per t1, … , tn''. In questo linguaggio vengono definiti alcuni sistemi modali predicativi e si dimostra che sono completi rispetto alla semantica delle transizioni. Formule come la formula della Barcan o la formula di Ghilardi oppure la necessità dell'identià possono essere espresse in modo naturale e si dimostra che corrispondono a particolari proprietà della relazione di transizione.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
