TY  - JOUR
AU  - Miodrag Kapetanović
TI  - A Tableaux System in Modal Logic
JO  - Publications de l'Institut Mathématique
PY  - 1981
SP  - 65 
VL  - _N_S_30
IS  - 44
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PIM_1981_N_S_30_44_a9/
LA  - en
ID  - PIM_1981_N_S_30_44_a9
ER  -