First-order modal logic
Fitting, Melvin
First-order modal logic / Melvin Fitting and Richard L. Mendelsohn. - Dordrecht, NL - Boston - London : Kluwer Academic Publishers , cop. 1998 . - XII, 287 p. ; 25 cm. - (Synthese library) ; 277
ISBN 0-7923-5334-X
Modalidade (Lógica)
LCC BC199
First-order modal logic / Melvin Fitting and Richard L. Mendelsohn. - Dordrecht, NL - Boston - London : Kluwer Academic Publishers , cop. 1998 . - XII, 287 p. ; 25 cm. - (Synthese library) ; 277
ISBN 0-7923-5334-X
Modalidade (Lógica)
LCC BC199