Logique et Analyse. Nouvelle Série Short Title: Log. Anal., Nouv. Sér. Publisher: Peeters, Leuven; Centre National Belge de Recherches de Logique, Bruxelles ISSN: 0024-5836; 2295-5836/e Online: http://poj.peeters-leuven.be/content.php?url=journal&journal_code=LEAhttp://www.logiqueetanalyse.be/ Comments: This journal is available open access. Documents Indexed: 1,098 Publications (since 1964) all top 5 Latest Issues 62, No. 248 (2019) 62, No. 247 (2019) 62, No. 246 (2019) 62, No. 245 (2019) 61, No. 244 (2018) 61, No. 243 (2018) 61, No. 242 (2018) 61, No. 241 (2018) 60, No. 240 (2017) 60, No. 239 (2017) 60, No. 238 (2017) 60, No. 237 (2017) 59, No. 236 (2016) 59, No. 235 (2016) 59, No. 234 (2016) 59, No. 233 (2016) 58, No. 232 (2015) 58, No. 231 (2015) 58, No. 230 (2015) 58, No. 229 (2015) 57, No. 228 (2014) 57, No. 227 (2014) 57, No. 226 (2014) 57, No. 225 (2014) 56, No. 224 (2013) 56, No. 222 (2013) 56, No. 221 (2013) 55, No. 220 (2012) 55, No. 219 (2012) 55, No. 218 (2012) 55, No. 217 (2012) 54, No. 216 (2011) 54, No. 215 (2011) 54, No. 214 (2011) 54, No. 213 (2011) 53, No. 212 (2010) 53, No. 211 (2010) 53, No. 209 (2010) 52, No. 208 (2009) 52, No. 207 (2009) 52, No. 206 (2009) 52, No. 205 (2009) 51, No. 204 (2008) 51, No. 203 (2008) 51, No. 202 (2008) 51, No. 201 (2008) 50, No. 200 (2007) 50, No. 199 (2007) 50, No. 198 (2007) 50, No. 197 (2007) 49, No. 196 (2006) 49, No. 195 (2006) 49, No. 194 (2006) 49, No. 193 (2006) 48, No. 189-192 (2005) 47, No. 185-188 (2004) 46, No. 183-184 (2003) 46, No. 182 (2003) 46, No. 181 (2003) 45, No. 179-180 (2002) 45, No. 177-178 (2002) 44, No. 176 (2001) 44, No. 173-175 (2001) 43, No. 171-172 (2000) 43, No. 169-170 (2000) 42, No. 167-168 (1999) 42, No. 165-166 (1999) 41, No. 164 (1998) 41, No. 161-163 (1998) 40, No. 160 (1997) 40, No. 159 (1997) 40, No. 158 (1997) 40, No. 157 (1997) 39, No. 155-156 (1996) 39, No. 153-154 (1996) 38, No. 150-152 (1995) 38, No. 149 (1995) 37, No. 147-148 (1994) 37, No. 146 (1994) 37, No. 145 (1994) 36, No. 143-144 (1993) 36, No. 141-142 (1993) 35, No. 139-140 (1992) 35, No. 137-138 (1992) 34, No. 135-136 (1991) 34, No. 133-134 (1991) 33, No. 131-132 (1990) 33, No. 129-130 (1990) 32, No. 127-128 (1989) 32, No. 125-126 (1989) 31, No. 123-124 (1988) 31, No. 121-122 (1988) 30, No. 120 (1987) 30 (1987) 29 (1986) 28 (1985) 27 (1984) 26 (1983) 25 (1982) 24 (1981) ...and 15 more Volumes all top 5 Authors 21 Batens, Diderik 19 Cresswell, Maxwell John 19 Sylvan, Richard 13 Béziau, Jean-Yves 11 Meyer, Robert Kenneth 11 Priest, Graham 9 Brady, Ross Thomas 9 Da Costa, Newton Carneiro Affonso 9 Slater, Barry Hartley 9 Van Bendegem, Jean Paul 8 Akama, Seiki 8 Goble, Lou 8 Schock, Rolf 8 Vergauwen, Roger 8 Weber, Erik 7 Forster, Thomas 7 Porte, Jean 6 Bailhache, Patrice 6 Crabbé, Marcel 6 Lucas, Thierry 6 Stahl, Gerold 5 Åqvist, Lennart 5 Bunder, Martin W. 5 Fariñas del Cerro, Luis 5 Gardies, Jean-Louis 5 Kalinowski, Georges 5 Kearns, John T. 5 Mares, Edwin D. 5 Meheus, Joke 5 Mortensen, Chris 5 Rescher, Nicholas 5 Restall, Greg 5 Rini, Adriane A. 5 Robles, Gemma 5 Simons, Peter M. 5 Walton, Douglas N. 4 Abe, Jair Minoro 4 Apostel, Leo 4 Buekens, Filip 4 Carnielli, Walter Alexandre 4 Carrara, Massimiliano 4 de Swart, Harrie C. M. 4 Forrest, Peter 4 Garson, James W. 4 Girle, Roderic A. 4 Grosjean, Pierre-V. 4 Hinnion, Roland 4 Krause, Décio 4 Montgomery, Hugh-A 4 Pollock, John L. 4 Rennie, M. K. 4 Salto, Francisco 4 Strasser, Christian 4 Vanderveken, Daniel R. 4 Verhoeven, Liza 4 Wiśniewski, Andrzej 3 Allo, Patrick 3 Arenhart, Jonas Rafael Becker 3 Asenjo, Florencio Gonzalez 3 Barth, Else M. 3 Beard, Robert W. 3 Bencivenga, Ermanno 3 Boffa, Maurice 3 Bueno, Otávio 3 de Souza, Edelcio G. 3 Desmet, Ronny 3 Doria, Francisco Antonio 3 Francez, Nissim 3 Gochet, Paul 3 Granger, Gilles Gaston 3 Grattan-Guinness, Ivor 3 Hubien, Hubert 3 Humberstone, Lloyd 3 Inoué, Takao 3 Johnson Wu, Kathleen 3 Johnstone, Henry W. jun. 3 Khlentzos, Drew 3 Kielkopf, Charles F. 3 Kroy, Moshe 3 Leclercq, Bruno 3 Lokhorst, Gert-Jan C. 3 Mackenzie, Jim 3 Morgan, Charles Grady 3 Murawski, Roman 3 Orłowska, Ewa S. 3 Paoli, Francesco 3 Poggiolesi, Francesca 3 Primiero, Giuseppe 3 Provijn, Dagmar 3 Sayward, Charles W. 3 Shaffer, Michael J. 3 Tan, Yao-Hua 3 Tanaka, Koji 3 van Benthem, Johan F. A. K. 3 Van De Putte, Frederik 3 Van Kerkhove, Bart 3 Vanackere, Guido 3 Zuber, Richard 2 Agazzi, Evandro 2 Ayer, A. J. ...and 676 more Authors all top 5 Fields 962 Mathematical logic and foundations (03-XX) 86 General and overarching topics; collections (00-XX) 56 History and biography (01-XX) 49 Computer science (68-XX) 19 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 18 Quantum theory (81-XX) 11 Order, lattices, ordered algebraic structures (06-XX) 7 Category theory; homological algebra (18-XX) 7 Probability theory and stochastic processes (60-XX) 5 General topology (54-XX) 5 Information and communication theory, circuits (94-XX) 3 Number theory (11-XX) 3 Mechanics of particles and systems (70-XX) 3 Relativity and gravitational theory (83-XX) 2 Combinatorics (05-XX) 2 Geometry (51-XX) 2 Statistics (62-XX) 2 Biology and other natural sciences (92-XX) 1 General algebraic systems (08-XX) 1 Real functions (26-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 370 Publications have been cited 1,260 times in 948 Documents Cited by ▼ Year ▼ Paraconsistent extensional propositional logics. Zbl 0459.03013Batens, Diderik 38 1980 On the question “who is a \(J\)?”: a social choice approach. Zbl 0976.91013Kasher, Asa; Rubinstein, Ariel 35 1997 Algebraic analysis of entailment. I. Zbl 0336.02020Meyer, Robert K.; Routley, Richard 31 1972 The tableau method for temporal logic: an overview. Zbl 0585.03008Wolper, Pierre 29 1985 Completeness proofs for the systems RM3 and BN4. Zbl 0498.03012Brady, Ross T. 29 1982 The lazy model-theoretician’s guide to stability. Zbl 0359.02052Shelah, Saharon 24 1975 Grounding and truth-functions. Zbl 1253.03028Correia, Fabrice 24 2010 Contingency and non-contingency bases for normal modal logics. Zbl 0294.02008Montgomery, H.; Routley, R. 23 1966 A general characterization of adaptive logics. Zbl 1047.03017Batens, Diderik 21 2001 Physical theories and possible worlds. Zbl 0287.02009Cresswell, M. J. 19 1973 A rich paraconsistent extension of full positive logic. Zbl 1078.03024Batens, Diderik; De Clercq, Kristof 16 2004 A system of temporally relative modal and deontic predicate logic and its philosophical applications. Zbl 0549.03004van Eck, J. A. 14 1982 Notes towards an axiomatization of intuitionistic analysis. Zbl 0187.26307Myhill, J. 13 1966 Nearly every normal modal logic is paranormal. Zbl 1084.03015Marcos, João 13 2005 What is a self-referential sentence? Critical remarks on the alleged (non-)circularity of Yablo’s paradox. Zbl 1058.03009Leitgeb, Hannes 12 2002 A new four-valued approach to modal logic. Zbl 1228.03003Béziau, Jean-Yves 12 2011 Pushing the search paths in the proofs. A study in proof heuristics. Zbl 1054.03008Batens, Diderik; Provijn, Dagmar 11 2001 Arithmetic and truth in Łukasiewicz’s infinitely valued logic. Zbl 0832.03010Restall, Greg 11 1992 Modalities in substructural logics. Zbl 0840.03011Restall, Greg 11 1993 On the axiomatic characterization of “who is a \(J\)?”. Zbl 1155.91349Sung, Shao Chin; Dimitrov, Dinko 11 2005 Natural deduction systems for some quantified relevant logics. Zbl 0559.03011Brady, Ross T. 10 1984 Questions and inferences. Zbl 1045.03508Wiśniewski, Andrzej 10 2001 Quantifiers in many-valued logic. Zbl 0129.00317Rescher, Nicholas 10 1964 Partiality and nonmonotonicity in classical logic. Zbl 0624.03022van Benthem, Johan 9 1986 Mechanical proof methods for Post logics. Zbl 0587.03007Orłowska, Ewa 8 1985 Adaptive logics for question evocation. Zbl 1047.03019Meheus, Joke 8 2001 Blocks. The clue to dynamic aspects of logic. Zbl 0974.03008Batens, Diderik 8 1995 Preference semantics for deontic logic. I. Simple models. Zbl 1073.03014Goble, Lou 8 2003 On \(\aleph_0\)-categorical extra-special p-groups. Zbl 0355.02038Felgner, Ulrich 8 1975 Enthymemes, argumentation schemes and topics. Zbl 1179.03011Walton, Douglas; Macagno, Fabrizio 8 2009 Deontic logic and the logic of imperatives. Zbl 0129.25801Lemmon, E. J. 8 1965 Natural three-valued logics characterized by natural deduction. Zbl 1430.03046Petrukhin, Yaroslav; Shangin, Vasilyi 8 2018 Paraconsistent modal logic. Zbl 1105.03024Goble, Lou 8 2006 Paradoxes solved by simple relevance criteria. Zbl 0622.03007Weingartner, Paul; Schurz, Gerhard 8 1986 A regular sequent calculus for quantum logic in which conjunction and disjunction are dual. Zbl 0518.03029Cutland, N. J.; Gibbins, P. F. 7 1982 What is a non-normal world? Zbl 0834.03002Priest, Graham 7 1992 The logic of being informed. Zbl 1124.03003Floridi, Luciano 7 2006 Socratic proofs for some normal modal propositional logics. Zbl 1078.03016Leszczyńska, Dorota 7 2004 Extending the standard format of adaptive logics to the prioritized case. Zbl 1336.03042Van De Putte, Frederik; Strasser, Christian 7 2012 Sequents and bivaluations. Zbl 1043.03009Béziau, Jean-Yves 7 2001 Resolution modal logic. Zbl 0631.03007Fariñas-del-Cerro, Luis 7 1985 Relevant implication and projective geometry. Zbl 0557.03012Urquhart, Alasdair 6 1983 Autologic. Zbl 0584.03008Morgan, Charles G. 6 1985 Paraconsistency, paracompleteness, and valuations. Zbl 0549.03023Loparić, Andréa; da Costa, Newton C. A. 6 1984 On causation and a counterfactual in quantum logic: the Sasaki hook. Zbl 1050.81004Smets, Sonja 6 2001 Reflections on epistemic logic. Zbl 0814.03002van Benthem, Johan 6 1991 Theory of valuation. (Théorie de la valuation.) Zbl 0973.03012da Costa, Newton C. A.; Béziau, Jean-Yves 6 1994 Canonical models for temporal deontic logic. Zbl 0973.03023Bailhache, Patrice 6 1995 Can pictures prove? Zbl 1075.00003Dove, Ian 6 2002 Every sentential logic has a two-valued worlds semantics. Zbl 0347.02016Routley, Richard; Meyer, Robert K. 6 1976 A resolution principle for a class of many-valued logics. Zbl 0352.02017Morgan, Charles G. 6 1976 Tense logic and standard logic. Zbl 0392.03019van Benthem, J. F. A. K. 6 1977 A Fitch-style formulation of conditional logic. Zbl 0228.02016Thomason, Richmond H. 6 1970 Explanation in metaphysics and Bolzano’s theory of ground and consequence. Zbl 1244.03014Betti, Arianna 6 2010 Grammar logics. Zbl 0728.03025Fariñas del Cerro, Luis; Penttonen, Martti 6 1988 Two-phase deontic logic. Zbl 1028.03007van der Torre, Leendert; Tan, Yao-Hua 6 2000 Analytic inference and the informational meaning of the logical operators. Zbl 1369.03037D’Agostino, Marcello 6 2014 A result for combinators, BCK logics and BCK algebras. Zbl 0574.03004Bunder, M. W.; Meyer, R. K. 5 1985 On classical adaptive logics of induction. Zbl 1047.03018Batens, Diderik; Haesaert, Lieven 5 2001 Probability of provability and belief functions. Zbl 0799.03029Smets, Philippe 5 1991 Paraconsistent logic in a historical perspective. Zbl 0974.03029da Costa, Newton C. A.; Béziau, Jean-Yves; Bueno, Otávio 5 1995 Multiple denotation, ambiguity, and the strange case of the missing amoeba. Zbl 0974.03507Priest, Graham 5 1995 The concept of quasi-truth. Zbl 0976.03008Bueno, Otávio; de Souza, Edelcio G. 5 1996 Translations between logical systems: A manifesto. Zbl 0982.03006Carnielli, Walter A.; D’Ottaviano, Itala Maria Loffredo 5 1997 Some structural and logical aspects of the notion of supervenience. Zbl 0832.03007Humberstone, Lloyd 5 1992 Inconsistency-adaptive logics and the foundation of non-monotonic logics. Zbl 0856.03020Batens, Diderik 5 1994 Logic of norms and logic of normative propositions. Zbl 0197.27601Alchourron, C. E. 5 1969 Grades of modality. Zbl 0221.02008Goble, L. F. 5 1970 Sur les définitions des algèbres trivalentes de Lukasiewicz données par A. Monteiro. Zbl 0307.02040Becchio, Denise 5 1973 Tense logic and the logic of change. Zbl 0166.25202Clifford, J. E. 5 1966 Erotetic arguments from inconsistent premises. Zbl 0999.03003Meheus, Joke 5 1999 Truthmaker necessitarianism and maximalism. Zbl 1084.03500Cameron, Ross P. 5 2005 Logical disputes and the a priori. Zbl 1380.03022Priest, Graham 5 2016 Hyper-contradictions. Zbl 0554.03016Priest, Graham 4 1984 Logics constructed following the methods of da Costa. I: Paraconsistent, paracomplete, non-alethic logics constructed following the first method of da Costa. (Logiques construites suivant les méthodes de da Costa. I: Logiques paraconsistantes, paracomplètes, non-aléthiques construites suivant la première méthode de da Costa.) Zbl 0795.03029Béziau, Jean-Yves 4 1990 A proof system for fork algebras and its applications to reasoning in logics based on intuitionism. Zbl 0974.03031Frias, Marcelo F.; Orlowska, Ewa 4 1995 Ambiguity-adaptive logic. Zbl 0976.03513Vanackere, Guido 4 1997 Proof theories for some prioritized consequence relations. Zbl 1071.03015Verhoeven, Liza 4 2003 New results and new view on the paraconsistent logic \(C1\). (Nouveaux résultats et nouveau regard sur la logique paraconsistante \(C1\).) Zbl 0843.03013Béziau, Jean Yves 4 1993 The deontic branching time: Two related conceptions. Zbl 0839.03009Bailhache, Patrice 4 1993 Leitgeb, “about”, Yablo. Zbl 1189.03010Urbaniak, Rafał 4 2009 Information flow and impossible situations. Zbl 1118.03014Sequoiah-Grayson, Sebastian 4 2006 Non-contingency axioms for S4 and S5. Zbl 0169.30003Montgomery, H.; Routley, R. 4 1968 Entailment and relevant implication. Zbl 0186.00601Meyer, Robert K. 4 1968 A simple treatment of Church’s theorem on the decision problem. Zbl 0193.31104Schwartz, Thomas 4 1969 Modalities in a sequence of normal non-contingency modal systems. Zbl 0196.00902Montgomery, H.; Routley, R. 4 1969 Yet another “choice of primitives” warning: normal modal logics. Zbl 1086.03014Humberstone, Lloyd 4 2004 Representations of \(j\)-algebras and Segerberg’s logics. Zbl 1029.03011Odintsov, S. P. 4 1999 The consistency of arithmetic, based on a logic of meaning containment. Zbl 1336.03006Brady, Ross T. 4 2012 Tolerating deontic conflicts by adaptively restricting inheritance. Zbl 1288.03018Strasser, Christian; Beirlaen, Mathieu; Meheus, Joke 4 2012 It isn’t so, but could it be? Zbl 1084.03503Mortensen, Chris 4 2005 Dialectical dynamics within formal logics. Zbl 0643.03006Batens, Diderik 4 1986 Fixed points for consequence relations. Zbl 1380.03061Meadows, Toby 4 2014 Contradiction, quantum mechanics, and the square of opposition. Zbl 1368.81018Becker Arenhart, Jonas R.; Krause, Décio 4 2016 Six problems in ”translational equivalence”. Zbl 0589.03006Pelletier, Francis Jeffry 3 1984 Probabilistic semantics for orthologic and quantum logic. Zbl 0591.03044Morgan, Ch. G. 3 1983 Modal translations and intuitionistic double negation. Zbl 0607.03006Došen, Kosta 3 1986 Advanced theorem-proving techniques for relevant logics. Zbl 0612.03011Thistlewaite, P. B.; Meyer, R. K.; McRobbie, M. A. 3 1985 The truth teller paradox. Zbl 0527.03001Mortensen, Chris; Priest, Graham 3 1981 Some results in intuitionistic modal logic. Zbl 0544.03001Fariñas del Cerro, Luis; Raggio, Andrés R. 3 1983 A graphical deep inference system for intuitionistic logic. Zbl 1457.03026Minghui, Ma; Pietarinen, Ahti-Veikko 3 2019 Paradeduction in axiomatic formal systems. Zbl 1451.03022de Souza, Edelcio G.; Costa-Leite, Alexandre; Dias, Diogo H. B. 1 2019 A proof-theoretic semantics for parametric logical constants. Zbl 1471.03078Francez, Nissim 1 2019 Natural three-valued logics characterized by natural deduction. Zbl 1430.03046Petrukhin, Yaroslav; Shangin, Vasilyi 8 2018 Comparing classical and relativistic kinematics in first-order logic. Zbl 1436.03097Lefever, Koen; Székely, Gergely 2 2018 On the constructive axiomatic method. Zbl 1436.03314Rodin, Andrei 1 2018 Ramifications of imposing uniform responsibility on collective action. Zbl 1436.03064Payette, Gillman 1 2018 Comparing semantics for temporal STIT logic. Zbl 1436.03121Ciuni, Roberto; Lorini, Emiliano 1 2018 Validity in a dialetheist framework. Zbl 1417.03195Pailos, Federico; Tajer, Diego 3 2017 On distinguishing proof-theoretic consequence from derivability. Zbl 1417.03279Francez, Nissim 1 2017 Extending and applying a logic for pragmatics. Zbl 1417.03208Carrara, Massimiliano; Chiffi, Daniele; De Florio, Ciro 1 2017 Presuppositions and two kinds of negation. Zbl 1417.03212Duzi, Marie 1 2017 Logical disputes and the a priori. Zbl 1380.03022Priest, Graham 5 2016 Contradiction, quantum mechanics, and the square of opposition. Zbl 1368.81018Becker Arenhart, Jonas R.; Krause, Décio 4 2016 A non-classical refinement of the interpolation property for classical propositional logic. Zbl 1396.03047Milne, Peter 2 2016 Yablo’s paradox as a theorem of modal logic. Zbl 1396.03031Forster, Thomas; Goré, Rajeev 1 2016 Through full blooded Platonism, and what paraconsistentists could find there. Zbl 1380.03013Estrada-González, Luis 1 2016 From linguistics to deontic logic via category theory. Zbl 1396.03036Peterson, Clayton 1 2016 Arithmetic with fusions. Zbl 1478.03080Ketland, Jeffrey; Schindler, Thomas 1 2016 Formal philosophy and legal reasoning the validity of legal inferences. Zbl 1384.03064Peterson, Clayton; Marquis, Jean-Pierre 1 2016 The supertask of an infinite lottery. Zbl 1381.60009Kerkvliet, Timber 1 2016 The square of opposition in Catholic hands: a chapter in the history of 20th-century logic. Zbl 1380.03005Jaspers, Dany; Seuren, Pieter A. M. 1 2016 Logical formalization and the formation of logic(s). Zbl 1384.03062Peregrin, Jaroslav; Svoboda, Vladimír 1 2016 A variant of Church’s set theory with a universal set in which the singleton function is a set. Zbl 06751874Sheridan, Flash 1 2016 Don’t plan for the unexpected planning based on plausibility models. Zbl 1362.68263Andersen, Mikkel Birkegaard; Bolander, Thomas; Jensen, Martin Holm 3 2015 The dynamics of surprise. Zbl 1373.03046Demey, Lorenz 2 2015 Proof theories for superpositions of adaptive logics. Zbl 1373.03040Straßer, Christian; Van De Putte, Frederik 2 2015 Common knowledge: a finitary calculus with a syntactic cut-elimination procedure. Zbl 1373.03019Poggiolesi, Francesca; Hill, Brian 1 2015 Ockhamism and quantified modal logic. Zbl 1372.03034Iacona, Andrea 1 2015 Actuality, quantifiers, and actuality quantifiers. Zbl 1371.03024Gilbert, David R. 1 2015 A logic of change with modalities. Zbl 1371.03021Świętorzecka, Kordula; Czermak, Johannes 1 2015 Analytic inference and the informational meaning of the logical operators. Zbl 1369.03037D’Agostino, Marcello 6 2014 Fixed points for consequence relations. Zbl 1380.03061Meadows, Toby 4 2014 Formality in logic from logical terms to semantic constraints. Zbl 1369.03074Sagi, Gil 3 2014 Invariance principles in polyadic inductive logic. Zbl 1373.03028Ronel, Tahel; Vencovská, Alena 3 2014 Probabilistic merging operators. Zbl 1372.03044Adamčík, Martin; Wilmers, George 3 2014 Topos semantics for higher-order modal logic. Zbl 1364.03092Awodey, Steve; Kishida, Kohei; Kotzsch, Hans-Christoph 3 2014 Logical indefinites. Zbl 1369.03087Woods, Jack 2 2014 Logical consequence and conditionals from a dialetheic perspective. Zbl 1369.03032Carrara, Massimiliano; Martino, Enrico 2 2014 Verbal disputes in logic against minimalism for logical connectives. Zbl 1369.03048Hjortland, Thomassen Ole 2 2014 Semantic minimalism for logical constants. Zbl 1369.03066Paoli, Francesco 1 2014 The truth-tellers paradox. Zbl 1323.03001Billon, Alexander 2 2013 Modality in mathematics. Zbl 1284.00040Hodges, Wilfrid 1 2013 Mathematical reasoning and external symbolic systems. Zbl 1283.03017Dutilh Novaes, Catarina 1 2013 Extending the standard format of adaptive logics to the prioritized case. Zbl 1336.03042Van De Putte, Frederik; Strasser, Christian 7 2012 The consistency of arithmetic, based on a logic of meaning containment. Zbl 1336.03006Brady, Ross T. 4 2012 Tolerating deontic conflicts by adaptively restricting inheritance. Zbl 1288.03018Strasser, Christian; Beirlaen, Mathieu; Meheus, Joke 4 2012 Transparent quantification into hyperpropositional contexts de re. Zbl 1336.03007Duži, Marie; Jespersen, Bjørn 3 2012 A calculus for Belnap’s logic in which each proof consists of two trees. Zbl 1301.03058Wintein, Stefan; Muskens, Reinhard 3 2012 On the importance of being analytic. The paradigmatic case of the logic of proofs. Zbl 1283.03089Poggiolesi, Francesca 3 2012 Reassurance via translation. Zbl 1283.03056Crabbé, Marcel 3 2012 Cuts, gluts and gaps. Zbl 1283.03088Degauquier, Vincent 2 2012 A contextual type theory with judgemental modalities for reasoning from open assumptions. Zbl 1286.03112Primiero, Giuseppe 1 2012 Object, structure, and form. Zbl 1284.03080Oliveri, Gianluigi 1 2012 It might have been classical logic. Zbl 1283.03054Batens, Diderik 1 2012 From the topology of conciliation to the logic of contradiction. (De la topologie de la conciliation à la logique de la contradiction.) Zbl 1336.03040Lambert, D.; Hespel, B. 1 2012 Paraconsistency on the rocks of dialetheism. Zbl 1266.03003Asmus, Conrad 1 2012 A formal approach to Lakatosian heuristics. Zbl 1266.03004Başkent, Can 1 2012 Response to Westerståhl. Zbl 1266.03005Ben-Yami, Hanoch 1 2012 The propositional and relational syllogistic. Zbl 1279.03032van Rooij, Robert 1 2012 Explaining quantifier restriction: reply to Ben-Yami. Zbl 1266.03014Westerståhl, Dag 1 2012 A new four-valued approach to modal logic. Zbl 1228.03003Béziau, Jean-Yves 12 2011 Modal knowledge and counterfactual knowledge. Zbl 1261.03048Roca-Royes, Sonia 2 2011 Constructive discursive logic with strong negation. Zbl 1260.03055Akama, Seiki; Abe, Jair Minoro; Nakamatsu, Kazumi 2 2011 Hyperreal expected utilities and Pascal’s wager. Zbl 1238.03013Herzberg, Frederik 2 2011 On languages that contain their own ungroundedness predicate. Zbl 1270.03025Wintein, Stefan 1 2011 Deontic reasoning with incomplete trust. Zbl 1258.03023Bentzen, Martin Mose 1 2011 A three-valued modal tense logic for the master argument. Zbl 1244.03012Akama, Seiki; Murai, Tetsuya; Miyamoto, Sadaaki 1 2011 Grounding and truth-functions. Zbl 1253.03028Correia, Fabrice 24 2010 Explanation in metaphysics and Bolzano’s theory of ground and consequence. Zbl 1244.03014Betti, Arianna 6 2010 The modal predicate logic of real time. Zbl 1206.03021Cresswell, M. J. 2 2010 A certain consequence relation for solving paradoxes of vagueness. Zbl 1210.03013Misiuna, Krystyna 1 2010 Enthymemes, argumentation schemes and topics. Zbl 1179.03011Walton, Douglas; Macagno, Fabrizio 8 2009 Leitgeb, “about”, Yablo. Zbl 1189.03010Urbaniak, Rafał 4 2009 On the transparency of defeasible logics: equivalent premise sets, equivalence of their extensions, and maximality of the lower limit. Zbl 1190.03002Batens, Diderik; Strasser, Christian; Verdée, Peter 3 2009 The universal generalization problem. Zbl 1170.03311Cellucci, Carlo 3 2009 Evading truth commitments: the problem reanalyzed. Zbl 1180.03005Azzouni, Jody 3 2009 Fitch-style natural deduction for modal paralogics. Zbl 1190.03030Lycke, Hans 1 2009 (Star-based) four-valued Kripke-style semantics for some neighbors of E, R, T. Zbl 1191.03016Yang, Eunsuk 1 2009 Generalized quantifiers, and beyond. Zbl 1203.03010Ben-Yami, Hanoch 1 2009 Philosophical logic in a framework of propositional logic. Zbl 1211.03007Damböck, Christian 1 2009 Negation in metacomplete relevant logics. Zbl 1233.03030Brady, Ross T. 3 2008 On Kripke’s schema and countable subsets. (Über das Kripke-Schema und abzählbare Teilmengen.) Zbl 1171.03038Schuster, Peter; Zappe, Júlia 2 2008 The axiomatic method in theory and in practice. Zbl 1159.03006Rav, Yehuda 2 2008 Alchourrón and Bulygin on deontic logic and the logic of norm-propositions: axiomatization and representability results. Zbl 1166.03008Åqvist, Lennart 1 2008 Tennant on multiple conclusions. Zbl 1152.03010Steinberger, Florian 1 2008 Positive abstraction and extensionality revisited. Zbl 1144.03031Libert, Thierry 1 2008 What is wrong with Cantor’s diagonal argument? Zbl 1150.03009Brady, Ross; Rush, Penelope 1 2008 A general Cauchy-completion process for arbitrary first-order structures. Zbl 1123.03023Hinnion, Roland 3 2007 An Euclidean measure of size for mathematical universes. Zbl 1131.03029Benci, Vieri; Di Nasso, Mauro; Forti, Marco 3 2007 A three-valued temporal logic for future contingents. Zbl 1137.03010Akama, Seiki; Nagata, Yasunori; Yamada, Chikatoshi 2 2007 Prior’s tense-logical universalism. Zbl 1129.03305Müller, Thomas 2 2007 An epistemic constructive definition of information. Zbl 1139.03309Primiero, Giuseppe 2 2007 Implementing mathematical objects in set theory. Zbl 1126.03049Forster, Thomas 1 2007 Weak independence of quantifiers. (Indépendance faible des quantificateurs.) Zbl 1123.03032Zuber, Richard 1 2007 The Prior future. Zbl 1129.03002Cresswell, M. J. 1 2007 A three-step solution to the two-envelope paradox. Zbl 1139.03302Douven, Igor 1 2007 Paraconsistent modal logic. Zbl 1105.03024Goble, Lou 8 2006 The logic of being informed. Zbl 1124.03003Floridi, Luciano 7 2006 Information flow and impossible situations. Zbl 1118.03014Sequoiah-Grayson, Sebastian 4 2006 ...and 270 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 922 Authors 16 Robles, Gemma 13 Batens, Diderik 10 Béziau, Jean-Yves 10 Leszczyńska-Jasion, Dorota 10 Petrukhin, Yaroslav Igorevich 9 Brady, Ross Thomas 9 Fan, Jie 9 Humberstone, Lloyd 9 Priest, Graham 9 Wiśniewski, Andrzej 8 Avron, Arnon 8 Meyer, Robert Kenneth 8 Poggiolesi, Francesca 8 Verdée, Peter 8 Wansing, Heinrich Theodor 7 Carnielli, Walter Alexandre 7 Strasser, Christian 6 Akama, Seiki 6 Beirlaen, Mathieu 6 Goranko, Valentin F. 6 Odintsov, Sergei P. 6 Omori, Hitoshi 6 Sylvan, Richard 6 Shangin, Vasily 6 Urquhart, Alasdair 6 Wintein, Stefan 6 Xu, Yang 5 Alcantud, José Carlos Rodríguez 5 Başkent, Can 5 Bimbó, Katalin 5 Carrara, Massimiliano 5 Coniglio, Marcelo Esteban 5 Cresswell, Maxwell John 5 Dunn, Jon Michael 5 Horsten, Leon 5 Marcos, João 5 Mares, Edwin D. 5 Pliuškevičius, Regimantas 5 Ripley, David 5 Rossi, Lorenzo Paolo 5 van Benthem, Johan F. A. K. 5 Van De Putte, Frederik 4 Allo, Patrick 4 Barrio, Eduardo Alejandro 4 Bueno, Otávio 4 Caleiro, Carlos 4 D’Agostino, Marcello 4 de Araujo Feitosa, Hércules 4 Dimitrov, Dinko 4 D’Ottaviano, Itala M. Loffredo 4 Dubois, Didier 4 Ferguson, Thomas Macaulay 4 French, Rohan 4 Hazen, Allen P. 4 Kamide, Norihiro 4 Kocurek, Alexander W. 4 Konikowska, Beata 4 Liu, Jun 4 Muskens, Reinhard A. 4 Parent, Xavier 4 Pelletier, Francis Jeffry 4 Primiero, Giuseppe 4 Rönnedal, Daniel 4 Ruan, Da 4 Tamminga, Allard M. 4 Urbaniak, Rafał 4 van Ditmarsch, Hans Pieter 4 Zadeh, Lotfi Asker 3 Aberdein, Andrew 3 Åqvist, Lennart 3 Arenhart, Jonas Rafael Becker 3 Arieli, Ofer 3 Bacon, Andrew 3 Baltag, Alexandru 3 Broersen, Jan M. 3 Chlebowski, Szymon 3 Cho, Wonki Jo 3 Da Ré, Bruno 3 Demri, Stéphane P. 3 Drobyshevich, Sergeĭ Andreevich 3 Duzi, Marie 3 Fariñas del Cerro, Luis 3 Field, Hartry H. 3 Floridi, Luciano 3 Forti, Marco 3 Gabbay, Dov M. 3 Goble, Lou 3 Herzig, Andreas 3 Jespersen, Bjørn 3 Ju, Biung-Ghi 3 Laruelle, Annick 3 Li, Yanjun 3 Łupkowski, Paweł 3 Ma, Minghui 3 Montanari, Angelo 3 Mruczek-Nasieniewska, Krystyna 3 Mustafin, Tolende G. 3 Nasieniewski, Marek 3 Pailos, Federico Matias 3 Pavičić, Mladen ...and 822 more Authors all top 5 Cited in 112 Journals 120 Journal of Philosophical Logic 106 Studia Logica 83 Synthese 42 Notre Dame Journal of Formal Logic 37 Logica Universalis 31 Logic and Logical Philosophy 29 Journal of Applied Non-Classical Logics 28 Journal of Applied Logic 19 Theoretical Computer Science 19 Journal of Logic, Language and Information 19 The Review of Symbolic Logic 13 Annals of Pure and Applied Logic 12 Artificial Intelligence 12 Information Sciences 11 Erkenntnis 10 International Journal of Approximate Reasoning 10 Foundations of Science 9 Mathematical Social Sciences 9 History and Philosophy of Logic 9 Journal of Automated Reasoning 9 Mathematical Logic Quarterly (MLQ) 9 The Bulletin of Symbolic Logic 8 International Journal of Theoretical Physics 8 Israel Journal of Mathematics 8 Social Choice and Welfare 7 Theory and Decision 7 Topoi 6 The Journal of Symbolic Logic 6 Bulletin of the Section of Logic 6 Archive for Mathematical Logic 5 Fuzzy Sets and Systems 5 Linguistics and Philosophy 4 Archiv für Mathematische Logik und Grundlagenforschung 4 Indagationes Mathematicae. New Series 4 Annals of Mathematics and Artificial Intelligence 4 Abstract and Applied Analysis 4 Soft Computing 3 Algebra and Logic 3 Algebra Universalis 3 Transactions of the American Mathematical Society 3 Games and Economic Behavior 3 Nôus 3 Journal of Logical and Algebraic Methods in Programming 2 Computers & Mathematics with Applications 2 Journal of Algebra 2 Journal of Economic Theory 2 Proceedings of the American Mathematical Society 2 Siberian Mathematical Journal 2 Journal of Classification 2 Theoria. Segunda Epoca 2 International Journal of Intelligent Systems 2 Journal of the American Mathematical Society 2 Formal Aspects of Computing 2 Journal of Mathematical Sciences (New York) 2 Foundations of Physics 2 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 1 Acta Informatica 1 Archive for History of Exact Sciences 1 Information Processing Letters 1 Mathematische Semesterberichte 1 Chaos, Solitons and Fractals 1 Advances in Mathematics 1 Annales Scientifiques de l’Université de Clermont-Ferrand II. Mathématiques 1 Commentarii Mathematici Helvetici 1 Compositio Mathematica 1 Duke Mathematical Journal 1 Functional Analysis and its Applications 1 International Journal of Mathematics and Mathematical Sciences 1 International Journal of Game Theory 1 International Journal for Numerical Methods in Engineering 1 Journal of Combinatorial Theory. Series A 1 Journal of Mathematical Economics 1 Journal of Pure and Applied Algebra 1 Journal of Soviet Mathematics 1 Journal of Statistical Planning and Inference 1 Kybernetika 1 Mathematische Zeitschrift 1 Publications of the Research Institute for Mathematical Sciences, Kyoto University 1 Rendiconti del Seminario Matematico della Università di Padova 1 Journal of Symbolic Computation 1 Information and Computation 1 Mathematical and Computer Modelling 1 MSCS. Mathematical Structures in Computer Science 1 M\(^3\)AS. Mathematical Models & Methods in Applied Sciences 1 Historia Mathematica 1 Bulletin of the American Mathematical Society. New Series 1 Computational Statistics and Data Analysis 1 Journal of Knot Theory and its Ramifications 1 New Zealand Journal of Mathematics 1 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI 1 Formal Methods in System Design 1 Applied Categorical Structures 1 Economic Theory 1 Arabic Sciences and Philosophy 1 The Journal of Artificial Intelligence Research (JAIR) 1 Nonlinear Dynamics 1 International Journal of Theoretical and Applied Finance 1 Journal of Mathematical Logic 1 International Journal of Modern Physics C 1 The Journal of Logic and Algebraic Programming ...and 12 more Journals all top 5 Cited in 45 Fields 824 Mathematical logic and foundations (03-XX) 130 Computer science (68-XX) 51 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 45 History and biography (01-XX) 40 General and overarching topics; collections (00-XX) 23 Order, lattices, ordered algebraic structures (06-XX) 19 Quantum theory (81-XX) 11 Group theory and generalizations (20-XX) 11 Probability theory and stochastic processes (60-XX) 7 Statistics (62-XX) 6 Combinatorics (05-XX) 6 General algebraic systems (08-XX) 5 Number theory (11-XX) 5 Category theory; homological algebra (18-XX) 5 General topology (54-XX) 5 Information and communication theory, circuits (94-XX) 4 Associative rings and algebras (16-XX) 4 Functional analysis (46-XX) 4 Operator theory (47-XX) 4 Relativity and gravitational theory (83-XX) 4 Mathematics education (97-XX) 3 Commutative algebra (13-XX) 2 Field theory and polynomials (12-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Geometry (51-XX) 2 Algebraic topology (55-XX) 2 Mechanics of particles and systems (70-XX) 2 Systems theory; control (93-XX) 1 Algebraic geometry (14-XX) 1 Topological groups, Lie groups (22-XX) 1 Real functions (26-XX) 1 Measure and integration (28-XX) 1 Functions of a complex variable (30-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Difference and functional equations (39-XX) 1 Integral equations (45-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Convex and discrete geometry (52-XX) 1 Differential geometry (53-XX) 1 Manifolds and cell complexes (57-XX) 1 Numerical analysis (65-XX) 1 Mechanics of deformable solids (74-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Astronomy and astrophysics (85-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year