00868nam0-22003131i-450-99000096674040332190-277-0929-7000096674FED01000096674(Aleph)000096674FED0100009667420000920d1979----km-y0itay50------baengModel Theory for Modal LogicKripke Models for Modal Predicate CalculiKenneth A. BowenDordrecht (NL)Reidel1979x, 127 p.23 cmSynthese Libraryvol. 127LogicaRicorsività160Bowen,Kenneth A.45216ITUNINARICAUNIMARCBK9900009667404033217-23411856FI1FI1Model Theory for Modal Logic358645UNINAING01