CONSIDERATII SEMANTICE ASUPRA LOGICII MODALE
SEMANTICAL ANALYSIS OF MODAL LOGIC

Summary/Abstract: Această lucrare oferă o expunere a unor trăsături ale unei teorii semantice a logicilor modale.1 Pentru o anumită extensiune cuantificată a S5, această teorie a fost prezentată în ‘A Completeness Theorem in Modal Logic’2 si a fost rezumată în ‘Semantical Analysis of Modal Logic’3. Lucrarea de faţă se va concentra asupra unui aspect particular al teoriei – introducerea cuantificatorilor – si se va restrînge în principal la o metodă particulară de a atinge acest scop. Accentul lucrării va fi pur semantic si în consecinţă se va omite folosirea tablourilor semantice, care este esenţială pentru o prezentare completă a teoriei4. De asemenea, se va renunţa în mare parte la demonstraţii.

• Details
• Contents