We define the concepts of minimal p-morphic image and basic p-morphism for transitive Kripke frames. These concepts are used to determine effectively the least number of variables necessary to axiomatize a tabular extension of K4, and to describe the covers and co-covers of such a logic in the lattice of the extensions of K4. © 1999 Kluwer Academic Publishers.
Bellissima, F., Cittadini, S. (1999). Minimal p-morphic images, axiomatizations and coverings in the modal logic K4. STUDIA LOGICA, 62(3), 371-398 [10.1023/A:1005100510979].
Minimal p-morphic images, axiomatizations and coverings in the modal logic K4
Bellissima F.;
1999-01-01
Abstract
We define the concepts of minimal p-morphic image and basic p-morphism for transitive Kripke frames. These concepts are used to determine effectively the least number of variables necessary to axiomatize a tabular extension of K4, and to describe the covers and co-covers of such a logic in the lattice of the extensions of K4. © 1999 Kluwer Academic Publishers.
File 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.
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/11365/25084
Attenzione
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo