2013
Paoli, Francesco: A paraconsistent and substructural conditional logic. Tanaka, Koji (ed.) et al., Paraconsistency. Logic and applications. Selected papers of the 4th world congress on paraconsistency. Logic, Epistemology, and the Unity of Science 26. Berlin: Springer (2013), 173-198 [Zbl 1280.03031]
2012
Kurucz, Agi; Marcelino, Sérgio: Non-finitely axiomatisable two-dimensional modal logics. J. Symb. Log. 77, No. 3, 970-986 (2012) [Zbl 1259.03032]
2011
Béziau, Jean-Yves: A new four-valued approach to modal logic. (English) Log. Anal., Nouv. Sér.54, No. 213, 109-121 (2011) [Zbl 05932895]
Indrzejczak, Andrzej: Admissibility of cut in congruent modal logics. Log. Log. Philos. 20, No. 3, 189-203 (2011) [Zbl 1248.03076]
2009
Field, Hartry: Pluralism in Logic. Rev. Symb. Log. 2, No. 2, 342-359 (2009) [ZBL 1184.03004]
Odintsov, Sergei P.: On axiomatizing Shramko-Wansing's logic. Stud. Log. 91, No. 3, 407-428 (2009) [Zbl 1170.03014]
2008
Blau Ulrich: Die Logik der Unbestimmtheiten und Paradoxien. Philosohische Impulse 8. Heidelberg: Synchron Verlag der Autoren. 960p. (2008) [Zbl 1205.03005]
Robles, Gemma: Extensions of the basic constructive logic for negation-consistency BKc1 defined with a falsity constant. Log. Anal., Nouv. Sér. 51, No. 201, 57-80 (2008) [Zbl 1147.03308]
Odintsov, Sergei P.: Constructive negations and paraconsistency. Trends in Logic--Studia Logica Library 26. Dordrecht: Springer. vi, 240p. (2008) [Zbl 1161.03014]
Robles, Gemma: The basic constructive logic for absolute consistency defined with a propositional falsity constant. Log. J. IGPL 16, No. 3, 275-291 (2008) [Zbl 1145.03012]
2007
Bonanno, Giacomo: Temporal interaction of information and belief. Stud. Log. 86, No. 3, 375-401 (2007) [Zbl 1139.03011]
Freund, Max A.: A two dimensional tense-modal sortal logic. J. Philos. Log. 36, No. 5, 571-598 (2007) [Zbl 1126.03022]
2006
Broersen, Jan; Herzig, Andreas; Troquard, Nicolas: Embedding alternating-time temporal logic in strategic STIT logic of agency. J. Log. Comput. 16, No. 5, 559-578 (2006) [Zbl 1120.03014]
Berto, Francesco: Characterizing negation to face dialetheism. Log. Anal., Nouv. Sér. 49, No. 195, 241-263 (2006) [Zbl 1113.03005]
2005
Cantwell, John: A formal model of multi-agent belief-interaction. J. Logic Lang. Inf. 14, No. 4, 397-422 (2005) [Zbl 1106.03008]
Forster, Thomas: The modal aether. Kahle, Reinhard (ed.), Intensionality. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL). Lecture Notes in Logic 22, 1-19 (2005) [Zbl 1089.03008]
Schumm, George F.: An alleged problem for possible worlds semantics. Analysis, Oxf. 65, No.1 (2005), 62-69 [Zbl 1077.03005]
2004
van Benthem, Johan: What one may come to know. Analysis, Oxf. 64, No.2 (2004), 95-105 [Zbl 1073.03004]
Brown, Bryson: Knowledge and non-contradiction. Priest, Graham (ed.) et al., The law of non-contradiction. New philosophical essays. Oxford: Oxford University Press. (2004), 126-155 [Zbl 1069.03003]
Wolff, Michael: Treatise on the principles of logic. (Abhandlung über die Prinzipien der Logik.) Philosophische Abhandlungen 88. Frankfurt am Main: Vittorio Klostermann. xviii, 318 p. (2004) [Zbl 1059.03001]
2003
Halbach, Volker; Leitgeb, Hannes: Welch, Philip: Possible-worlds semantics for modal notions conceived as predicates. J. Philos. Log. 32, No.2 (2003), 179-223 [Zbl 1031.03041]
2002
Slater, B.H.: Ambiguity is not enough. Carnielli, Walter A. (ed.) et al., Paraconsistency. The logical way to the inconsistent. Proceedings of the 2nd world congress on paraconsistency, WCP '2000, in honor of Newton da Costa on the occasion of his 70th birthday, Sao Paulo, Brazil, May 12-19, 2000. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 228 (2002), 455-463 [Zbl 1049.03023]
Davey, Kevin: Obligation and the conditional in stit theory. Stud. Log. 72, No.3 (2002) 339-362 [Zbl 1020.03016]
2001
Scheffler, Uwe: Ereignis und Zeit. Ontologische Grundlagen der Kausalrelationen. (Event and time. Ontological foundations of causal relations) Logische Philosophie. 7. Berlin: Logos Verlag. ix, 252 p. (2001) [Zbl 1003.03005]
Bimbó, Katalin: Semantics for structurally free logics LC+. Log. J. IGPL 9, No.4 (2001), 525-539 [Zbl 0986.03019]
2000
Levi, Isaac: The logic of full belief. Sher, Gila (ed.) et al., Between logic and intuition. Essays in honor of Charles Parsons. Cambridge: Cambridge University Press. 124-151 (2000) [Zbl 0998.03010]
Stephanou, Yannis: How many possible worlds are there? Analysis, Oxf. 60, No.3 (2000), 223-228 [Zbl 0976.03004]
Mason, Richard: Before logic. SUNY Series in Philosophy. Albany, NY: State University of New York Press. vi, 153 p. (2000) [Zbl 0958.03001]
1999
Rahman, Shahid; Rückert, Helge: Dialogische Modallogik (für T, B, S4 und S5). (Dialogical modal logic (for T, B, S4 and S5)) Log. Anal., Nouv. Sér. 42, No.167-168 (1999) 243-282 [Zbl 1015.03026]
Lindström, Sten; Rabinowicz, Wlodek: DDL unlimited: Dynamic doxastic logic for introspective agents. Erkenntnis 50, No.2-3 (1999), 353-385 [Zbl 0969.03024]
Hansson, Sven Ove: A textbook of belief dynamics. Theory change and database updating. Applied Logic Series. 11. Dordrecht: Kluwer Academic Publishers. xii, 398 p.; appendix 65 p. (solutions for chapters 1-4) Dfl. 230.00; (1999) [Zbl 0947.03023]
Pizzi, Claudio: A modal framework for consequential implication and the factor law. Carnielli, Walter A. (ed.) et al., Advances in contemporary logic and computer science. Proceedings of the 11th Brazilian conference on mathematical logic, Salvador, Bahia, Brazil. May 6-10, 1996. Providence, RI: American Mathematical Society. Contemp. Math. 235 (1999), 313-326 [Zbl 0940.03033]
Kremer, Philip: Relevant identity. J. Philos. Log. 28, No.2, (1999), 199-222 [Zbl 0923.03027]
1998
Horsten, Leon: A Kripkean approach to unknowability and truth. Notre Dame J. Formal Logic 39, No.3 (1998), 389-405 [Zbl 0981.03010]
Sowa, John F.: The infinite variety of logics. Herzog, Otthein (ed.) et al., KI-98: Advances in artificial intelligence. 22nd annual German conference, Bremen, Germany, September 15--17, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1504, 31-53 (1998) [Zbl 0926.03038]
Bimbó, Katalin; Dunn, J. Michael: Two extensions of the structurally free logic LC. Log. J. IGPL 6, No.3 (1998), 403-424 [Zbl 0904.03006]
1997
Heck, Richard G.jun.(ed.): Language, thought, and logic. Essays in honour of Michael Dummett. Oxford: Oxford University Press. viii, 309 p. (1997) [Zbl 0930.03005]
Barwise, Jon: Information and impossibilities. Notre Dame J. Formal Logic 38, No.4 (1997), 488-515 [Zbl 0920.03002]
Lesniewski, Piotr; Tworak, Zbigniew: Collective epistemic logic. Acta Univ. Wratislav., Log. 1890(17) (1997), 88-102 [Zbl 0907.03005]
Nakayama, Yotaro: DRT and many-valued logics. Akama, Seiki (ed.), Logic, language and computation. Dordrecht: Kluwer Academic Publishers. Appl. Log. Ser. 5, (1997), 131-142 [Zbl 0898.03011]
Mints, Grigori: Indexed systems of sequents and cut-elimination. J. Philos. Log. 26, No.6 (1997), 671-696 [Zbl 0885.03043]
van Benthem, Johan (ed.); ter Meulen, Alice (ed.): Handbook of logic and language. Amsterdam: North-Holland. xxiii, 1247 p. Dfl 178.25 (1997) [Zbl 0874.03001]
1996
Goré, Rajeev: On the completeness of classical modal display logic. Wansing, Heinrich (ed.), Proof theory of modal logic. Proceedings of a workshop, Hamburg, Germany, November 19--20, 1993. Dordrecht: Kluwer Academic Publishers. Appl. Log. Ser. 2 (1996), 137-140 [Zbl 0878.03014]
Kamp, Hans; Reyle, Uwe: A calculus for first order discourse representation structures. J. Logic Lang. Inf. 5, No.3-4 (1996), 297-348 [Zbl 0865.03018]
Veltman, Frank: Defaults in update semantics. J. Philos. Log. 25, No.3 (1996), 221-261 [Zbl 0860.03025]
Thijsse, Elias; Wansing, Heinrich: A fugue on the themes of awareness logic and correspondence. J. Appl. Non-Class. Log. 6, No.2, 127-136 (1996) [Zbl 0849.03012]
1995
Venema, Yde: Meeting a modality? Restricted permutation for the Lambek calculus. Pólos, László (ed.) et al., Applied logic: how, what and why. Logical approaches to natural language. Papers presented at the international conference "Applied logic: logic at work", held in Amsterdam (Netherlands), December 1992. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 247 (1995), 343-361 [Zbl 0845.03001]
de Swart, H.; Rauszer, C.: Different approaches to knowledge, common knowledge and Aumann's theorem. Wansing, Heinrich (ed.) et al., Knowledge and belief in philosophy and artificial intelligence. Based on a workshop "Modellierung epistemischer Propositionen", held during the German AI conference in Saarbrücken, Germany, September 20-21, 1994. Berlin: Akademie Verlag. Logica Nova (1995), 87-102 [Zbl 0840.03013]
Barwise, Jon; Gabbay, Dov; Hartonas, Chrysafis: On the logic of information flow. Bull. IGPL 3, No.1, (1995), 7-49 [Zbl 0831.03012]
Ersan, Murat; Akman, Varol: Situated modeling of epistemic puzzles. Bull. IGPL 3, No.1, (1995), 51-76 [Zbl 0831.03015]
1994
Crocco, G.; Farinas del Cerro, L.: Structure, consequence relation and logic. Gabbay, D. M. (ed.), What is a logical system? Oxford: Oxford University Press. Stud. Log. Comput. 4, (1994),239-259 [Zbl 0823.03013]
Urchs, Max: On the logic of event-causation. Jaskowski-style systems of causal logic. Stud. Log. 53, No.4 (1994), 551-578 [Zbl 0823.03012]
Penther, Brigitte: A dynamic logic of action. J. Logic Lang. Inf. 3, No.3 (1994), 169-210 [Zbl 0810.03015]
Steel, Sam: Actions on belief. J. Appl. Non-Class. Log. 4, No.1 (1994), 29-71 [Zbl 0803.03012]
La Palme Reyes, Marie; Macnamara, John; Reyes, Gonzalo E.; Zolfaghari, Houman: The non-Boolean logic of natural language negation. Philos. Math., III. Ser. 2, No.1 (1994), 45-68 [Zbl 0794.03042]
1993
Vanderveken, Daniel; Nowak, Marek: An algebraic analysis of the logical form of propositions. Log. Anal., Nouv. Sér. 36, No.141-142 (1993), 135-148 [Zbl 0841.03013]
Saurer, Werner: A natural deduction system for discourse representation theory. J. Philos. Log. 22, No.3 (1993), 249-302 [Zbl 0787.03017]
1992
Williamson, Timothy: On intuitionistic modal epistemic logic. J. Philos. Log. 21, No.1 (1992), 63-89 [Zbl 0746.03014]
1991
Thijsse, Elias G.C.: Logics of consciousness explained and compared: Partial approaches to actual belief. Logique Anal., Nouv. Sér. 34, No.133-134 (1991), 221-250 [Zbl 0803.03013]
Lejoly, Ph.: A subjective logic of knowledge. Logique Anal., Nouv. Sér. 34, No. 133-134 (1991), 121-132 [Zbl 0803.03011]
Cohen, Daniel H.: Conditionals, quantification, and strong mathematical induction. J. Philos. Log. 20, No.3 (1991), 315-326 [Zbl 0739.03012]
1990
Mackenzie, Jim; Priest, Graham: Paraconsistent dialogues; or, how to start talking to Cretans. Logique Anal., Nouv. Sér. 33, No.131-132 (1990), 339-357 [Zbl 0795.03005]
Percival, Philip: Indices of truth and intensional operators. Theoria 56, No.3 (1990), 148-172 [Zbl 0769.03005]