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,150 Publications (since 1964) all top 5 Latest Issues 65, No. 257 (2022) 64, No. 256 (2021) 64, No. 255 (2021) 64, No. 254 (2021) 64, No. 253 (2020) 63, No. 252 (2020) 63, No. 251 (2020) 63, No. 249-250 (2020) 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) ...and 23 more Volumes all top 5 Authors 22 Batens, Diderik 19 Cresswell, Maxwell John 19 Sylvan, Richard 13 Béziau, Jean-Yves 11 Meyer, Robert Kenneth 11 Priest, Graham 11 Van Bendegem, Jean Paul 9 Brady, Ross Thomas 9 Da Costa, Newton Carneiro Affonso 9 Slater, Barry Hartley 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 Buekens, Filip 6 Crabbé, Marcel 6 Lucas, Thierry 6 Robles, Gemma 6 Stahl, Gerold 5 Åqvist, Lennart 5 Bunder, Martin W. 5 Carrara, Massimiliano 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 Simons, Peter M. 5 Walton, Douglas N. 4 Abe, Jair Minoro 4 Apostel, Leo 4 Carnielli, Walter Alexandre 4 de Swart, Harrie C. M. 4 Forrest, Peter 4 Francez, Nissim 4 Garson, James W. 4 Girle, Roderic A. 4 Grosjean, Pierre-V. 4 Hinnion, Roland 4 Humberstone, Lloyd 4 Krause, Décio 4 Leclercq, Bruno 4 Montgomery, Hugh-A 4 Pietarinen, Ahti-Veikko 4 Poggiolesi, Francesca 4 Pollock, John L. 4 Rennie, M. K. 4 Salto, Francisco 4 Shaffer, Michael J. 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 Chiffi, Daniele 3 Crossley, John Newsome 3 de Souza, Edelcio G. 3 Demey, Lorenz 3 Desmet, Ronny 3 Doria, Francisco Antonio 3 Frans, Joachim 3 Gochet, Paul 3 Granger, Gilles Gaston 3 Grattan-Guinness, Ivor 3 Hubien, Hubert 3 Inoué, Takao 3 Johnson Wu, Kathleen 3 Johnstone, Henry W. jun. 3 Khlentzos, Drew 3 Kielkopf, Charles F. 3 Kroy, Moshe 3 Lee, Byeong D. 3 Lokhorst, Gert-Jan C. 3 Mackenzie, Jim 3 Morgan, Charles Grady 3 Murawski, Roman 3 Orłowska, Ewa S. 3 Paoli, Francesco 3 Pizzi, Claudio Ercole Antonio 3 Primiero, Giuseppe 3 Provijn, Dagmar 3 Sayward, Charles W. 3 Tan, Yao-Hua 3 Tanaka, Koji ...and 720 more Authors all top 5 Fields 1,011 Mathematical logic and foundations (03-XX) 96 General and overarching topics; collections (00-XX) 71 History and biography (01-XX) 50 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) 6 Information and communication theory, circuits (94-XX) 5 General topology (54-XX) 3 Number theory (11-XX) 3 Geometry (51-XX) 3 Mechanics of particles and systems (70-XX) 3 Relativity and gravitational theory (83-XX) 2 Combinatorics (05-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 392 Publications have been cited 1,423 times in 1,036 Documents Cited by ▼ Year ▼ Paraconsistent extensional propositional logics. Zbl 0459.03013Batens, Diderik 39 1980 On the question “who is a \(J\)?”: a social choice approach. Zbl 0976.91013Kasher, Asa; Rubinstein, Ariel 37 1997 Algebraic analysis of entailment. I. Zbl 0336.02020Meyer, Robert K.; Routley, Richard 35 1972 Completeness proofs for the systems RM3 and BN4. Zbl 0498.03012Brady, Ross T. 33 1982 The tableau method for temporal logic: an overview. Zbl 0585.03008Wolper, Pierre 32 1985 Grounding and truth-functions. Zbl 1253.03028Correia, Fabrice 31 2010 Contingency and non-contingency bases for normal modal logics. Zbl 0294.02008Montgomery, H.; Routley, R. 25 1966 The lazy model-theoretician’s guide to stability. Zbl 0359.02052Shelah, Saharon 24 1975 A general characterization of adaptive logics. Zbl 1047.03017Batens, Diderik 22 2001 Nearly every normal modal logic is paranormal. Zbl 1084.03015Marcos, João 20 2005 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 17 2004 A system of temporally relative modal and deontic predicate logic and its philosophical applications. Zbl 0549.03004van Eck, J. A. 16 1982 Natural deduction systems for some quantified relevant logics. Zbl 0559.03011Brady, Ross T. 14 1984 Modalities in substructural logics. Zbl 0840.03011Restall, Greg 13 1993 Notes towards an axiomatization of intuitionistic analysis. Zbl 0187.26307Myhill, J. 13 1966 What is a self-referential sentence? Critical remarks on the alleged (non-)circularity of Yablo’s paradox. Zbl 1058.03009Leitgeb, Hannes 13 2002 A new four-valued approach to modal logic. Zbl 1228.03003Béziau, Jean-Yves 13 2011 Pushing the search paths in the proofs. A study in proof heuristics. Zbl 1054.03008Batens, Diderik; Provijn, Dagmar 12 2001 On the axiomatic characterization of “who is a \(J\)?”. Zbl 1155.91349Sung, Shao Chin; Dimitrov, Dinko 12 2005 Questions and inferences. Zbl 1045.03508Wiśniewski, Andrzej 11 2001 Enthymemes, argumentation schemes and topics. Zbl 1179.03011Walton, Douglas; Macagno, Fabrizio 11 2009 Arithmetic and truth in Łukasiewicz’s infinitely valued logic. Zbl 0832.03010Restall, Greg 11 1992 Adaptive logics for question evocation. Zbl 1047.03019Meheus, Joke 10 2001 Quantifiers in many-valued logic. Zbl 0129.00317Rescher, Nicholas 10 1964 Paradoxes solved by simple relevance criteria. Zbl 0622.03007Weingartner, Paul; Schurz, Gerhard 9 1986 Partiality and nonmonotonicity in classical logic. Zbl 0624.03022van Benthem, Johan 9 1986 Grades of modality. Zbl 0221.02008Goble, L. F. 9 1970 Preference semantics for deontic logic. I. Simple models. Zbl 1073.03014Goble, Lou 9 2003 Paraconsistency, paracompleteness, and valuations. Zbl 0549.03023Loparić, Andréa; da Costa, Newton C. A. 9 1984 Deontic logic and the logic of imperatives. Zbl 0129.25801Lemmon, E. J. 8 1965 A regular sequent calculus for quantum logic in which conjunction and disjunction are dual. Zbl 0518.03029Cutland, N. J.; Gibbins, P. F. 8 1982 Blocks. The clue to dynamic aspects of logic. Zbl 0974.03008Batens, Diderik 8 1995 Paraconsistent modal logic. Zbl 1105.03024Goble, Lou 8 2006 What is a non-normal world? Zbl 0834.03002Priest, Graham 8 1992 Natural three-valued logics characterized by natural deduction. Zbl 1430.03046Petrukhin, Yaroslav; Shangin, Vasilyi 8 2018 Socratic proofs for some normal modal propositional logics. Zbl 1078.03016Leszczyńska, Dorota 8 2004 Extending the standard format of adaptive logics to the prioritized case. Zbl 1336.03042Van De Putte, Frederik; Strasser, Christian 8 2012 Mechanical proof methods for Post logics. Zbl 0587.03007Orłowska, Ewa 8 1985 On \(\aleph_0\)-categorical extra-special p-groups. Zbl 0355.02038Felgner, Ulrich 8 1975 Resolution modal logic. Zbl 0631.03007Fariñas-del-Cerro, Luis 7 1985 On causation and a counterfactual in quantum logic: the Sasaki hook. Zbl 1050.81004Smets, Sonja 7 2001 Theory of valuation. (Théorie de la valuation.) Zbl 0973.03012da Costa, Newton C. A.; Béziau, Jean-Yves 7 1994 Grammar logics. Zbl 0728.03025Fariñas del Cerro, Luis; Penttonen, Martti 7 1988 Reflections on epistemic logic. Zbl 0814.03002van Benthem, Johan 7 1991 Tense logic and the logic of change. Zbl 0166.25202Clifford, J. E. 7 1966 Sequents and bivaluations. Zbl 1043.03009Béziau, Jean-Yves 7 2001 Relevant implication and projective geometry. Zbl 0557.03012Urquhart, Alasdair 7 1983 The logic of being informed. Zbl 1124.03003Floridi, Luciano 7 2006 Explanation in metaphysics and Bolzano’s theory of ground and consequence. Zbl 1244.03014Betti, Arianna 7 2010 Dialectical dynamics within formal logics. Zbl 0643.03006Batens, Diderik 6 1986 Canonical models for temporal deontic logic. Zbl 0973.03023Bailhache, Patrice 6 1995 Paraconsistent logic in a historical perspective. Zbl 0974.03029da Costa, Newton C. A.; Béziau, Jean-Yves; Bueno, Otávio 6 1995 Fixed points for consequence relations. Zbl 1380.03061Meadows, Toby 6 2014 Analytic inference and the informational meaning of the logical operators. Zbl 1369.03037D’Agostino, Marcello 6 2014 Truthmaker necessitarianism and maximalism. Zbl 1084.03500Cameron, Ross P. 6 2005 A Fitch-style formulation of conditional logic. Zbl 0228.02016Thomason, Richmond H. 6 1970 Two-phase deontic logic. Zbl 1028.03007van der Torre, Leendert; Tan, Yao-Hua 6 2000 Translations between logical systems: A manifesto. Zbl 0982.03006Carnielli, Walter A.; D’Ottaviano, Itala Maria Loffredo 6 1997 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 result for combinators, BCK logics and BCK algebras. Zbl 0574.03004Bunder, M. W.; Meyer, R. K. 6 1985 Autologic. Zbl 0584.03008Morgan, Charles G. 6 1985 On classical adaptive logics of induction. Zbl 1047.03018Batens, Diderik; Haesaert, Lieven 5 2001 Logical disputes and the a priori. Zbl 1380.03022Priest, Graham 5 2016 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 Ambiguity-adaptive logic. Zbl 0976.03513Vanackere, Guido 5 1997 Sequents for dependence logics. Zbl 0799.03032Fariñas del Cerro, L.; Lugardon, V. 5 1991 Probability of provability and belief functions. Zbl 0799.03029Smets, Philippe 5 1991 Some structural and logical aspects of the notion of supervenience. Zbl 0832.03007Humberstone, Lloyd 5 1992 Non-contingency axioms for S4 and S5. Zbl 0169.30003Montgomery, H.; Routley, R. 5 1968 Entailment and relevant implication. Zbl 0186.00601Meyer, Robert K. 5 1968 Modalities in a sequence of normal non-contingency modal systems. Zbl 0196.00902Montgomery, H.; Routley, R. 5 1969 Logic of norms and logic of normative propositions. Zbl 0197.27601Alchourron, C. E. 5 1969 A graphical deep inference system for intuitionistic logic. Zbl 1457.03026Minghui, Ma; Pietarinen, Ahti-Veikko 5 2019 Strict finitism as a viable alternative in the foundations of mathematics. Zbl 0856.03003Van Bendegem, Jean Paul 5 1994 Inconsistency-adaptive logics and the foundation of non-monotonic logics. Zbl 0856.03020Batens, Diderik 5 1994 Erotetic arguments from inconsistent premises. Zbl 0999.03003Meheus, Joke 5 1999 Tolerating deontic conflicts by adaptively restricting inheritance. Zbl 1288.03018Strasser, Christian; Beirlaen, Mathieu; Meheus, Joke 5 2012 Sur les définitions des algèbres trivalentes de Lukasiewicz données par A. Monteiro. Zbl 0307.02040Becchio, Denise 5 1973 On paraconsistent set theory. Zbl 0633.03016da Costa, Newton C. A. 4 1986 Possible logics for belief. Zbl 0786.03020van der Hoek, W.; Meyer, J.-J. Ch. 4 1989 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 Synthetic tableaux and erotetic search scenarios: Extension and extraction. Zbl 1047.03012Urbański, Mariusz 4 2001 Contradiction, quantum mechanics, and the square of opposition. Zbl 1368.81018Becker Arenhart, Jonas R.; Krause, Décio 4 2016 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 Don’t plan for the unexpected planning based on plausibility models. Zbl 1362.68263Andersen, Mikkel Birkegaard; Bolander, Thomas; Jensen, Martin Holm 4 2015 Topos semantics for higher-order modal logic. Zbl 1364.03092Awodey, Steve; Kishida, Kohei; Kotzsch, Hans-Christoph 4 2014 It isn’t so, but could it be? Zbl 1084.03503Mortensen, Chris 4 2005 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 A simple treatment of Church’s theorem on the decision problem. Zbl 0193.31104Schwartz, Thomas 4 1969 Truth making and entailment. Zbl 1018.03503Heil, John 4 2000 Yet another “choice of primitives” warning: normal modal logics. Zbl 1086.03014Humberstone, Lloyd 4 2004 Proof theories for some prioritized consequence relations. Zbl 1071.03015Verhoeven, Liza 4 2003 Representations of \(j\)-algebras and Segerberg’s logics. Zbl 1029.03011Odintsov, S. P. 4 1999 On BCC-algebras. Zbl 0787.06017Dudek, Wiesław A. 4 1990 On linear existential graphs. Zbl 1508.03015Bellucci, Francesco; Liu, Xinwen; Pietarinen, Ahti-Veikko 1 2020 Decidability and notation. Zbl 1508.03019Lampert, Timm 1 2020 A proof-based framework for several types of grounding. Zbl 1508.03029Poggiolesi, Francesca 1 2020 A graphical deep inference system for intuitionistic logic. Zbl 1457.03026Minghui, Ma; Pietarinen, Ahti-Veikko 5 2019 A proof-theoretic semantics for parametric logical constants. Zbl 1471.03078Francez, Nissim 1 2019 Term negation in first-order logic. Zbl 1486.03017Sedlár, Igor; Šebela, Karel 1 2019 Transparent truth-value predicates in multi-valued logics. Zbl 1435.03046Francez, Nissim; Kaminski, Michael 1 2019 Paradeduction in axiomatic formal systems. Zbl 1451.03022de Souza, Edelcio G.; Costa-Leite, Alexandre; Dias, Diogo H. B. 1 2019 On the nature of discrete space-time. I. The distance formula, relativistic time dilation and length contradiction in discrete space-time. Zbl 1434.83096Crouse, David; Skufca, Joseph 1 2019 Metalogic, metalanguage and logical geometry. Zbl 1482.03004Demey, Lorenz 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 Comparing semantics for temporal STIT logic. Zbl 1436.03121Ciuni, Roberto; Lorini, Emiliano 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 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 Characterizing properties and explanation in mathematics. Zbl 1390.00050Salverda, Josephine 1 2017 A quasi-interventionist theory of mathematical explanation. Zbl 1390.00046Gijsbers, Victor 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 The square of opposition in Catholic hands: a chapter in the history of 20th-century logic. Zbl 1380.03005Jaspers, Dany; Seuren, Pieter A. M. 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 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 4 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 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 Common knowledge: a finitary calculus with a syntactic cut-elimination procedure. Zbl 1373.03019Poggiolesi, Francesca; Hill, Brian 1 2015 Fixed points for consequence relations. Zbl 1380.03061Meadows, Toby 6 2014 Analytic inference and the informational meaning of the logical operators. Zbl 1369.03037D’Agostino, Marcello 6 2014 Topos semantics for higher-order modal logic. Zbl 1364.03092Awodey, Steve; Kishida, Kohei; Kotzsch, Hans-Christoph 4 2014 Formality in logic from logical terms to semantic constraints. Zbl 1369.03074Sagi, Gil 3 2014 Logical indefinites. Zbl 1369.03087Woods, Jack 3 2014 Logical consequence and conditionals from a dialetheic perspective. Zbl 1369.03032Carrara, Massimiliano; Martino, Enrico 3 2014 Verbal disputes in logic against minimalism for logical connectives. Zbl 1369.03048Hjortland, Thomassen Ole 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 Semantic minimalism for logical constants. Zbl 1369.03066Paoli, Francesco 1 2014 Mathematical reasoning and external symbolic systems. Zbl 1283.03017Dutilh Novaes, Catarina 3 2013 The truth-tellers paradox. Zbl 1323.03001Billon, Alexander 2 2013 Modality in mathematics. Zbl 1284.00040Hodges, Wilfrid 1 2013 Extending the standard format of adaptive logics to the prioritized case. Zbl 1336.03042Van De Putte, Frederik; Strasser, Christian 8 2012 Tolerating deontic conflicts by adaptively restricting inheritance. Zbl 1288.03018Strasser, Christian; Beirlaen, Mathieu; Meheus, Joke 5 2012 Transparent quantification into hyperpropositional contexts de re. Zbl 1336.03007Duži, Marie; Jespersen, Bjørn 4 2012 A calculus for Belnap’s logic in which each proof consists of two trees. Zbl 1301.03058Wintein, Stefan; Muskens, Reinhard 4 2012 The consistency of arithmetic, based on a logic of meaning containment. Zbl 1336.03006Brady, Ross T. 4 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 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 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 A new four-valued approach to modal logic. Zbl 1228.03003Béziau, Jean-Yves 13 2011 Modal knowledge and counterfactual knowledge. Zbl 1261.03048Roca-Royes, Sonia 3 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 Belief, correctness and normativity. Zbl 1244.91081Fassio, Davide 1 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 31 2010 Explanation in metaphysics and Bolzano’s theory of ground and consequence. Zbl 1244.03014Betti, Arianna 7 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 2 2010 Enthymemes, argumentation schemes and topics. Zbl 1179.03011Walton, Douglas; Macagno, Fabrizio 11 2009 Leitgeb, “about”, Yablo. Zbl 1189.03010Urbaniak, Rafał 4 2009 The universal generalization problem. Zbl 1170.03311Cellucci, Carlo 3 2009 Evading truth commitments: the problem reanalyzed. Zbl 1180.03005Azzouni, Jody 3 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 Philosophical logic in a framework of propositional logic. Zbl 1211.03007Damböck, Christian 2 2009 (Star-based) four-valued Kripke-style semantics for some neighbors of E, R, T. Zbl 1191.03016Yang, Eunsuk 2 2009 Generalized quantifiers, and beyond. Zbl 1203.03010Ben-Yami, Hanoch 1 2009 Fitch-style natural deduction for modal paralogics. Zbl 1190.03030Lycke, Hans 1 2009 Negation in metacomplete relevant logics. Zbl 1233.03030Brady, Ross T. 3 2008 The axiomatic method in theory and in practice. Zbl 1159.03006Rav, Yehuda 2 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 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 ...and 292 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 996 Authors 17 Robles, Gemma 14 Batens, Diderik 11 Leszczyńska-Jasion, Dorota 10 Béziau, Jean-Yves 10 Fan, Jie 10 Petrukhin, Yaroslav Igorevich 10 Poggiolesi, Francesca 10 Priest, Graham 9 Brady, Ross Thomas 9 Carnielli, Walter Alexandre 9 Humberstone, Lloyd 9 Wiśniewski, Andrzej 8 Avron, Arnon 8 Meyer, Robert Kenneth 8 Verdée, Peter 8 Wansing, Heinrich Theodor 7 Coniglio, Marcelo Esteban 7 Strasser, Christian 6 Akama, Seiki 6 Beirlaen, Mathieu 6 Goranko, Valentin F. 6 Odintsov, Sergei P. 6 Omori, Hitoshi 6 Pliuškevičius, Regimantas 6 Ripley, David 6 Sylvan, Richard 6 Shangin, Vasily 6 Urquhart, Alasdair 6 Wintein, Stefan 6 Xu, Yang 5 Alcantud, José Carlos Rodríguez 5 Barrio, Eduardo Alejandro 5 Başkent, Can 5 Bimbó, Katalin 5 Carrara, Massimiliano 5 Cresswell, Maxwell John 5 Dimitrov, Dinko 5 Dunn, Jon Michael 5 Ferguson, Thomas Macaulay 5 Horsten, Leon 5 Kamide, Norihiro 5 Marcos, João 5 Mares, Edwin D. 5 Rossi, Lorenzo Paolo 5 van Benthem, Johan F. A. K. 5 Van De Putte, Frederik 5 van Ditmarsch, Hans Pieter 4 Allo, Patrick 4 Bueno, Otávio 4 Caleiro, Carlos 4 Chlebowski, Szymon 4 D’Agostino, Marcello 4 de Araujo Feitosa, Hércules 4 D’Ottaviano, Itala M. Loffredo 4 Dubois, Didier 4 French, Rohan 4 Goble, Lou 4 Hazen, Allen P. 4 Kocurek, Alexander W. 4 Konikowska, Beata 4 Li, Yanjun 4 Liu, Jun 4 Muskens, Reinhard A. 4 Parent, Xavier 4 Pelletier, Francis Jeffry 4 Pietarinen, Ahti-Veikko 4 Primiero, Giuseppe 4 Rodrigues, Abilio 4 Rönnedal, Daniel 4 Ruan, Da 4 Standefer, Shawn 4 Tamminga, Allard M. 4 Urbaniak, Rafał 4 Urbański, Mariusz 4 Zadeh, Lotfi Asker 3 Aberdein, Andrew 3 Alonderis, Romas 3 Åqvist, Lennart 3 Arenhart, Jonas Rafael Becker 3 Arieli, Ofer 3 Bacon, Andrew 3 Balbiani, Philippe 3 Baltag, Alexandru 3 Beall, Jc 3 Belardinelli, Francesco 3 Broersen, Jan M. 3 Cho, Wonki Jo 3 Da Ré, Bruno 3 Demey, Lorenz 3 Demri, Stéphane P. 3 Drobyshevich, Sergeĭ Andreevich 3 Duzi, Marie 3 Fariñas del Cerro, Luis 3 Ferenz, Nicholas 3 Field, Hartry H. 3 Fine, Kit 3 Floridi, Luciano 3 Forti, Marco 3 Francez, Nissim 3 Gabbay, Dov M. ...and 896 more Authors all top 5 Cited in 120 Journals 133 Journal of Philosophical Logic 107 Studia Logica 98 Synthese 43 Logica Universalis 42 Notre Dame Journal of Formal Logic 31 Logic and Logical Philosophy 29 Journal of Applied Non-Classical Logics 28 Journal of Applied Logic 25 The Review of Symbolic Logic 19 Theoretical Computer Science 19 Journal of Logic, Language and Information 14 Annals of Pure and Applied Logic 12 Artificial Intelligence 12 Information Sciences 11 Erkenntnis 11 Foundations of Science 10 Mathematical Social Sciences 10 History and Philosophy of Logic 10 International Journal of Approximate Reasoning 10 The Bulletin of Symbolic Logic 9 Journal of Automated Reasoning 9 Mathematical Logic Quarterly (MLQ) 8 International Journal of Theoretical Physics 8 Israel Journal of Mathematics 8 Theory and Decision 8 Bulletin of the Section of Logic 8 Social Choice and Welfare 7 The Journal of Symbolic Logic 7 Topoi 6 Archive for Mathematical Logic 6 Logicheskie Issledovaniya 5 Fuzzy Sets and Systems 5 Linguistics and Philosophy 5 Soft Computing 4 Archiv für Mathematische Logik und Grundlagenforschung 4 Theoria. Segunda Epoca 4 Indagationes Mathematicae. New Series 4 Annals of Mathematics and Artificial Intelligence 4 Abstract and Applied Analysis 4 Journal of Logical and Algebraic Methods in Programming 3 Algebra and Logic 3 Algebra Universalis 3 Transactions of the American Mathematical Society 3 Games and Economic Behavior 3 Foundations of Physics 3 Nôus 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 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 Missouri Journal of Mathematical Sciences 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 dell’Istituto di Matematica dell’Università di Trieste 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 Filomat 1 Arabic Sciences and Philosophy 1 The Journal of Artificial Intelligence Research (JAIR) 1 Nonlinear Dynamics ...and 20 more Journals all top 5 Cited in 46 Fields 900 Mathematical logic and foundations (03-XX) 144 Computer science (68-XX) 54 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 51 History and biography (01-XX) 43 General and overarching topics; collections (00-XX) 29 Order, lattices, ordered algebraic structures (06-XX) 22 Quantum theory (81-XX) 12 Group theory and generalizations (20-XX) 12 Probability theory and stochastic processes (60-XX) 8 Category theory; homological algebra (18-XX) 7 Statistics (62-XX) 6 Combinatorics (05-XX) 6 General algebraic systems (08-XX) 6 General topology (54-XX) 6 Information and communication theory, circuits (94-XX) 5 Number theory (11-XX) 5 Functional analysis (46-XX) 5 Mathematics education (97-XX) 4 Associative rings and algebras (16-XX) 4 Operator theory (47-XX) 4 Relativity and gravitational theory (83-XX) 3 Geometry (51-XX) 2 Field theory and polynomials (12-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Algebraic topology (55-XX) 2 Mechanics of particles and systems (70-XX) 2 Operations research, mathematical programming (90-XX) 2 Systems theory; control (93-XX) 1 Commutative algebra (13-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 Optics, electromagnetic theory (78-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Astronomy and astrophysics (85-XX) Citations by Year