Directions in relevant logic / ed. by Jean Norman and Richard SylvanMany-dimensional modal logic / Yde VenemaModalities for reasoning about knowledge and quantities / Wiebe van der HoekA resolution method for some systems of modal logic / Rudolf SommerhalderComplexity of modal logics / Edith SpaanExtending modal logic / Maarten de RijkeCalculi for constructive communication : a study of the dynamics of partial states / Johannes Ogier Maria JasparsUpdate semantics for modal predicate logic / Jeroen Groenendijk, Martin Stokhof, Frank VeltmanComing to terms with modal logic : on the interpretation of modalities in typed →l⇋-calculus / Valentijn Anton Johan BorghuisModal quantifiers / Natalia Albertovna AlechinaOrdering refinements of resolution / Jean Marie Guilaume Gérard de NivelleModal logics for rational agents / Bernardus van LinderLogical frameworks for truth and abstraction : an axiomatic study / Andrea CantiniExploring logical dynamics / Johan van BenthemArrow logic and multi-modal logic / ed. by Maarten Marx, László Pólos, and Michael MasuchMulti-dimensional modal logic / by Maarten Marx and Yde VenemaInterpretationen der Modallogik : ein Beitrag zur phänomenologischen Wissenschaftstheorie / Olav K. WiegandLogic and bisimulation / Marcus Johannes HollenbergDisplaying modal logic / Heinrich WansingFirst-order modal logic / Melvin Fitting and Richard L. MendelsohnModal logic and non-well-founded set theory : translation, bisimultation, interpolation / Giovanna D'AgostinoTools and techniques in modal logic / Marcus KrachtPrefixed resolution : a resolution method for modal and description logics / Carlos Areces, Hans de Nivelle, Maarten de RijkeBeth Definability for the guarded fragment / Eva Hoogland, Maarten Marx, Martin OttoAdvances in temporal logic / ed. by Howard Barringer ... [et al.]Labelled non-classical logics / by Luca ViganòModal syllogistics in the Middle Ages / by Henrik LagerlundDefinability and interpolation : model-theoretic investigations / Eva HooglandLogics and provability / Katsumi SasakiAn elementary construction for a non-elementary procedure / Maarten Marx, Szabolcs MikulasLogic for social software / Marc PaulySpatial reasoning : theory and practice / Marco AielloTypes, tableaus, and Gödel's God / Melvin FittingMapping inferences : constraint propagation and diamond satisfaction / Rosella GennariMany-dimensional modal logics : theory and applications / D.M. Gabbay ... [et al.]Building logic toolboxes / Juan Martín HeguiabehereThe medieval heritage in early modern metaphysics and modal theory, 1400-1700 / ed. by Russell L. Friedman and Lauge O. NielsenInterpretability formalized / Joost Johannes JoostenModel theory for extended modal languages / Balder David ten CateFinitary coalgebraic logics / Clemens Achim Kupke