Modal logic von Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde 1963-

Modal logic von Blackburn, Patrick 1959-, Rijke, Maarten de 1961-, Venema, Yde 1963-

DE-12
DE-92
DE-19
DE-703
DE-29
DE-739
URL des Erstveröffentlichers

Points, lines and diamonds: a two-sorted model logic for projective planes von Venema, Yde 1963-

The preservation of Sahlqvist equations in completions of Boolean algebras with operators von Givant, Steven R. 1943-, Venema, Yde 1963-

Modal logic von Blackburn, Patrick 1959-, Rijke, Maarten de, Venema, Yde 1963-

Many-dimensional modal logic von Venema, Yde 1963-

Modal logic von Blackburn, Patrick 1959-

Weitere Verfasser: Volltext