A new introduction to modal logic by Hughes, George Edward, Cresswell, Maxwell John, Linguist, Neuseeland 0 Type: Book
The functional interpretation of logical deduction by Queiroz, Ruy J. G. B. de, Gabbay, Dov M., Mathematiker, Gabbay, Dov M., Mathematician, Gabbay, Dov M., Mathématicien, Oliveira, Anjolina G. de fromAdvances in logic 0 Type: Book
Logic and information flow by Eijck, Jan van, Workshop on Logic and the Flow of Information, Amsterdam fromMIT Press series in the foundations of computing 0 Type: Book
Modal logic: an introduction to its syntax and semantics by Cocchiarella, Nino B., Freund, Max A. 0 Type: Book
Modal logic by Blackburn, Patrick, Rijke, Maarten de, Venema, Yde fromCambridge tracts in theoretical computer science 0 Type: Book
Quantifiers, propositions and identity: admissible semantics for quantified modal and sub… by Goldblatt, Robert fromLecture notes in logic 0 Type: Book
Lattices of intermediate and cylindric modal logics by Bezhanishvili, Nick fromILLC dissertation series 0 Type: Book
Deduktionssysteme: Automatisierung des logischen Denkens by Bläsius, Karl Hans, Bürckert, Hans-Jürgen 0 Type: Book