In this research note we prove two main theoretical results. On the one hand, we prove that the axiom system for the quantificational logic of context defined by Buvac is not complete with respect to the given semantics. On the other hand, we prove that that quantificational logic of context is a quantified multimodal K45 + T on single modality, with constant domains and rigid designators. Furthermore we provide an axiomatization of a more general quantificational logic of context as a multimodal version of KG$^{2.0.1.1}$ quantified modal logic, with constant domains and rigid designators
Quantificational logic of contexts revisited
Serafini, Luciano
2001-01-01
Abstract
In this research note we prove two main theoretical results. On the one hand, we prove that the axiom system for the quantificational logic of context defined by Buvac is not complete with respect to the given semantics. On the other hand, we prove that that quantificational logic of context is a quantified multimodal K45 + T on single modality, with constant domains and rigid designators. Furthermore we provide an axiomatization of a more general quantificational logic of context as a multimodal version of KG$^{2.0.1.1}$ quantified modal logic, with constant domains and rigid designatorsFile in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
