We give a semantic characterization for unifiability and non-unifiability in the extensions of K4. We apply this in particular to extensions of KD4, GL and K4.3 to obtain a syntacic characterization and give a concrete decision procedure for unifiability for those logics. For that purpose we use universal models.

Melting phase relations in the eclogite-carbonate system were studied at 6 GPa and 900–1500 °C. Starting mixtures prepared by blending natural bimineral eclogite group A (Ecl) with eutectic Na-Ca-Mg-Fe (N2) K-Ca-Mg-Fe (K4) carbonate (systems Ecl-N2 Ecl-K4). In system, subsolidus assemblage is represented garnet, omphacite, eitelite, a minor amount of Na2Ca4(CO3)5. Ecl-K4 includes clinopyroxene,...

ABSTRACT. The mechanical attachment method was used to modify the glass carbon electrode (GCE) with polyaniline nanoparticles (PANI NPs) produce a new nanosensor (PAN NPs/GCE). Electrochemical properties studied by nano working using cyclic voltammetric (CV) technique develop oxidation – reduction reaction. K4[Fe(CN)6] solution is one of standard solutions for CV titration redox peak current Fe...