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: https://poj.peeters-leuven.be/content.php?url=journal&journal_code=LEAhttps://www.logiqueetanalyse.be/ Comments: Journal; This journal is available open access. Documents Indexed: 1,164 Publications (since 1964) all top 5 Latest Issues 66, No. 261 (2023) 65, No. 259-260 (2022) 65, No. 258 (2022) 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) ...and 26 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 Méndez, José M. 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 Neil 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 Tanaka, Koji ...and 739 more Authors all top 5 Fields 1,022 Mathematical logic and foundations (03-XX) 101 General and overarching topics; collections (00-XX) 72 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) 8 Probability theory and stochastic processes (60-XX) 7 Category theory; homological algebra (18-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 430 Publications have been cited 1,736 times in 1,269 Documents Cited by ▼ Year ▼ On the question “who is a \(J\)?”: a social choice approach. Zbl 0976.91013 Kasher, Asa; Rubinstein, Ariel 47 1997 Paraconsistent extensional propositional logics. Zbl 0459.03013 Batens, Diderik 43 1980 The tableau method for temporal logic: an overview. Zbl 0585.03008 Wolper, Pierre 40 1985 Grounding and truth-functions. Zbl 1253.03028 Correia, Fabrice 39 2010 Completeness proofs for the systems RM3 and BN4. Zbl 0498.03012 Brady, Ross T. 38 1982 Algebraic analysis of entailment. I. Zbl 0336.02020 Meyer, Robert K.; Routley, Richard 35 1972 The lazy model-theoretician’s guide to stability. Zbl 0359.02052 Shelah, Saharon 31 1975 Contingency and non-contingency bases for normal modal logics. Zbl 0294.02008 Montgomery, H.; Routley, R. 30 1966 Nearly every normal modal logic is paranormal. Zbl 1084.03015 Marcos, João 27 2005 A general characterization of adaptive logics. Zbl 1047.03017 Batens, Diderik 25 2001 A rich paraconsistent extension of full positive logic. Zbl 1078.03024 Batens, Diderik; De Clercq, Kristof 24 2004 Physical theories and possible worlds. Zbl 0287.02009 Cresswell, M. J. 19 1973 Questions and inferences. Zbl 1045.03508 Wiśniewski, Andrzej 18 2001 Natural deduction systems for some quantified relevant logics. Zbl 0559.03011 Brady, Ross T. 17 1984 A new four-valued approach to modal logic. Zbl 1228.03003 Béziau, Jean-Yves 17 2011 On the axiomatic characterization of “who is a \(J\)?”. Zbl 1155.91349 Sung, Shao Chin; Dimitrov, Dinko 16 2005 A system of temporally relative modal and deontic predicate logic and its philosophical applications. Zbl 0549.03004 van Eck, J. A. 16 1982 Notes towards an axiomatization of intuitionistic analysis. Zbl 0187.26307 Myhill, J. 16 1966 Modalities in substructural logics. Zbl 0840.03011 Restall, Greg 13 1993 Grades of modality. Zbl 0221.02008 Goble, L. F. 13 1970 What is a self-referential sentence? Critical remarks on the alleged (non-)circularity of Yablo’s paradox. Zbl 1058.03009 Leitgeb, Hannes 13 2002 Paraconsistency, paracompleteness, and valuations. Zbl 0549.03023 Loparić, Andréa; da Costa, Newton C. A. 12 1984 Preference semantics for deontic logic. I. Simple models. Zbl 1073.03014 Goble, Lou 12 2003 Pushing the search paths in the proofs. A study in proof heuristics. Zbl 1054.03008 Batens, Diderik; Provijn, Dagmar 12 2001 Reflections on epistemic logic. Zbl 0814.03002 van Benthem, Johan 11 1991 Arithmetic and truth in Łukasiewicz’s infinitely valued logic. Zbl 0832.03010 Restall, Greg 11 1992 Socratic proofs for some normal modal propositional logics. Zbl 1078.03016 Leszczyńska, Dorota 11 2004 Logical disputes and the a priori. Zbl 1380.03022 Priest, Graham 11 2016 What is a non-normal world? Zbl 0834.03002 Priest, Graham 10 1992 Translations between logical systems: A manifesto. Zbl 0982.03006 Carnielli, Walter A.; D’Ottaviano, Itala Maria Loffredo 10 1997 On \(\aleph_0\)-categorical extra-special p-groups. Zbl 0355.02038 Felgner, Ulrich 10 1975 Natural three-valued logics characterized by natural deduction. Zbl 1430.03046 Petrukhin, Yaroslav; Shangin, Vasilyi 10 2018 Quantifiers in many-valued logic. Zbl 0129.00317 Rescher, Nicholas 10 1964 Adaptive logics for question evocation. Zbl 1047.03019 Meheus, Joke 10 2001 Sequents and bivaluations. Zbl 1043.03009 Béziau, Jean-Yves 10 2001 Partiality and nonmonotonicity in classical logic. Zbl 0624.03022 van Benthem, Johan 9 1986 Mechanical proof methods for Post logics. Zbl 0587.03007 Orłowska, Ewa 9 1985 Paradoxes solved by simple relevance criteria. Zbl 0622.03007 Weingartner, Paul; Schurz, Gerhard 9 1986 A regular sequent calculus for quantum logic in which conjunction and disjunction are dual. Zbl 0518.03029 Cutland, N. J.; Gibbins, P. F. 9 1982 Enthymemes, argumentation schemes and topics. Zbl 1179.03011 Walton, Douglas; Macagno, Fabrizio 9 2009 Fixed points for consequence relations. Zbl 1380.03061 Meadows, Toby 9 2014 Extending the standard format of adaptive logics to the prioritized case. Zbl 1336.03042 Van De Putte, Frederik; Strasser, Christian 9 2012 Deontic logic and the logic of imperatives. Zbl 0129.25801 Lemmon, E. J. 9 1965 Grammar logics. Zbl 0728.03025 Fariñas del Cerro, Luis; Penttonen, Martti 8 1988 Paraconsistent modal logic. Zbl 1105.03024 Goble, Lou 8 2006 Tense logic and the logic of change. Zbl 0166.25202 Clifford, J. E. 8 1966 Paraconsistent logic in a historical perspective. Zbl 0974.03029 da Costa, Newton C. A.; Béziau, Jean-Yves; Bueno, Otávio 8 1995 Blocks. The clue to dynamic aspects of logic. Zbl 0974.03008 Batens, Diderik 8 1995 The concept of quasi-truth. Zbl 0976.03008 Bueno, Otávio; de Souza, Edelcio G. 8 1996 Theory of valuation. (Théorie de la valuation.) Zbl 0973.03012 da Costa, Newton C. A.; Béziau, Jean-Yves 8 1994 Explanation in metaphysics and Bolzano’s theory of ground and consequence. Zbl 1244.03014 Betti, Arianna 8 2010 Relevant implication and projective geometry. Zbl 0557.03012 Urquhart, Alasdair 7 1983 Resolution modal logic. Zbl 0631.03007 Fariñas-del-Cerro, Luis 7 1985 Dialectical dynamics within formal logics. Zbl 0643.03006 Batens, Diderik 7 1986 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.03029 Béziau, Jean-Yves 7 1990 The logic of being informed. Zbl 1124.03003 Floridi, Luciano 7 2006 The square of opposition in Catholic hands: a chapter in the history of 20th-century logic. Zbl 1380.03005 Jaspers, Dany; Seuren, Pieter A. M. 7 2016 A Fitch-style formulation of conditional logic. Zbl 0228.02016 Thomason, Richmond H. 7 1970 A graphical deep inference system for intuitionistic logic. Zbl 1457.03026 Minghui, Ma; Pietarinen, Ahti-Veikko 7 2019 Sur les définitions des algèbres trivalentes de Lukasiewicz données par A. Monteiro. Zbl 0307.02040 Becchio, Denise 7 1973 Tense logic and standard logic. Zbl 0392.03019 van Benthem, J. F. A. K. 7 1977 Every sentential logic has a two-valued worlds semantics. Zbl 0347.02016 Routley, Richard; Meyer, Robert K. 7 1976 Synthetic tableaux and erotetic search scenarios: Extension and extraction. Zbl 1047.03012 Urbański, Mariusz 7 2001 On causation and a counterfactual in quantum logic: the Sasaki hook. Zbl 1050.81004 Smets, Sonja 7 2001 A result for combinators, BCK logics and BCK algebras. Zbl 0574.03004 Bunder, M. W.; Meyer, R. K. 6 1985 Truthmaker necessitarianism and maximalism. Zbl 1084.03500 Cameron, Ross P. 6 2005 Autologic. Zbl 0584.03008 Morgan, Charles G. 6 1985 Probability of provability and belief functions. Zbl 0799.03029 Smets, Philippe 6 1991 New results and new view on the paraconsistent logic \(C1\). (Nouveaux résultats et nouveau regard sur la logique paraconsistante \(C1\).) Zbl 0843.03013 Béziau, Jean Yves 6 1993 Non-contingency axioms for S4 and S5. Zbl 0169.30003 Montgomery, H.; Routley, R. 6 1968 Gentzen’s Hauptsatz for the system NI and NK. Zbl 0178.31104 Raggio, Andrés R. 6 1965 Modalities in a sequence of normal non-contingency modal systems. Zbl 0196.00902 Montgomery, H.; Routley, R. 6 1969 Topos semantics for higher-order modal logic. Zbl 1364.03092 Awodey, Steve; Kishida, Kohei; Kotzsch, Hans-Christoph 6 2014 A proof system for fork algebras and its applications to reasoning in logics based on intuitionism. Zbl 0974.03031 Frias, Marcelo F.; Orlowska, Ewa 6 1995 Canonical models for temporal deontic logic. Zbl 0973.03023 Bailhache, Patrice 6 1995 Analytic inference and the informational meaning of the logical operators. Zbl 1369.03037 D’Agostino, Marcello 6 2014 Two-phase deontic logic. Zbl 1028.03007 van der Torre, Leendert; Tan, Yao-Hua 6 2000 Contradiction, quantum mechanics, and the square of opposition. Zbl 1368.81018 Becker Arenhart, Jonas R.; Krause, Décio 6 2016 Metalogic, metalanguage and logical geometry. Zbl 1482.03004 Demey, Lorenz 6 2019 Mathematical reasoning and external symbolic systems. Zbl 1283.03017 Dutilh Novaes, Catarina 6 2013 A resolution principle for a class of many-valued logics. Zbl 0352.02017 Morgan, Charles G. 6 1976 Can pictures prove? Zbl 1075.00003 Dove, Ian 6 2002 Hyper-contradictions. Zbl 0554.03016 Priest, Graham 5 1984 Truth-logics. Zbl 0694.03006 von Wright, Georg Henrik 5 1987 Information flow and impossible situations. Zbl 1118.03014 Sequoiah-Grayson, Sebastian 5 2006 Inconsistency-adaptive logics and the foundation of non-monotonic logics. Zbl 0856.03020 Batens, Diderik 5 1994 Sequents for dependence logics. Zbl 0799.03032 Fariñas del Cerro, L.; Lugardon, V. 5 1991 Entailment and relevant implication. Zbl 0186.00601 Meyer, Robert K. 5 1968 Logic of norms and logic of normative propositions. Zbl 0197.27601 Alchourron, C. E. 5 1969 Some structural and logical aspects of the notion of supervenience. Zbl 0832.03007 Humberstone, Lloyd 5 1992 Strict finitism as a viable alternative in the foundations of mathematics. Zbl 0856.03003 Van Bendegem, Jean Paul 5 1994 On BCC-algebras. Zbl 0787.06017 Dudek, Wiesław A. 5 1990 Verbal disputes in logic against minimalism for logical connectives. Zbl 1369.03048 Hjortland, Thomassen Ole 5 2014 Don’t plan for the unexpected planning based on plausibility models. Zbl 1362.68263 Andersen, Mikkel Birkegaard; Bolander, Thomas; Jensen, Martin Holm 5 2015 Paraconsistent probability theory and paraconsistent Bayesianism. Zbl 0978.03021 Mares, Edwin D. 5 1997 Legislative theory of pure negation. (Théorie legislative de la négation pure.) Zbl 0973.03006 Béziau, Jean-Yves 5 1994 Multiple denotation, ambiguity, and the strange case of the missing amoeba. Zbl 0974.03507 Priest, Graham 5 1995 Ambiguity-adaptive logic. Zbl 0976.03513 Vanackere, Guido 5 1997 Transparent quantification into hyperpropositional contexts de re. Zbl 1336.03007 Duži, Marie; Jespersen, Bjørn 5 2012 The truth teller paradox. Zbl 0527.03001 Mortensen, Chris; Priest, Graham 5 1981 On the Aristotelian roots of the modal square of opposition. Zbl 1533.03003 Geudens, Christophe; Demey, Lorenz 2 2021 Lesniewski, Tarski and the geometry of solids. Zbl 1529.03120 Clay, Robert E. 1 2021 Carnap’s conditions of adequacy for explications and conceptual engineering. Zbl 1530.03028 Feldbacher-Escamilla, Christian J. 1 2021 On linear existential graphs. Zbl 1508.03015 Bellucci, Francesco; Liu, Xinwen; Pietarinen, Ahti-Veikko 2 2020 A proof-based framework for several types of grounding. Zbl 1508.03029 Poggiolesi, Francesca 2 2020 Regions of force. Peirce, Frege, Carroll, and bilateral proof trees. Zbl 1508.03014 Beisecker, Dave 1 2020 Channel-theoretic account of reification in representation systems. Zbl 1508.03032 Shimojima, Atsushi; Barker-Plummer, Dave 1 2020 Decidability and notation. Zbl 1508.03019 Lampert, Timm 1 2020 Algebraic relational semantics for basic substructural logics. Zbl 1508.03056 Yang, Eunsuk 1 2020 Selecting the class of all 3-valued implicative expansions of Kleene’s strong logic containing Routley and Meyer’s logic B. Zbl 1508.03059 Robles, Gemma; López, Sandra M. 1 2020 A graphical deep inference system for intuitionistic logic. Zbl 1457.03026 Minghui, Ma; Pietarinen, Ahti-Veikko 7 2019 Metalogic, metalanguage and logical geometry. Zbl 1482.03004 Demey, Lorenz 6 2019 Term negation in first-order logic. Zbl 1486.03017 Sedlár, Igor; Šebela, Karel 2 2019 Genericity and arbitrariness. Zbl 1482.03010 Venturi, Giorgio 2 2019 Transparent truth-value predicates in multi-valued logics. Zbl 1435.03046 Francez, Nissim; Kaminski, Michael 1 2019 Paradeduction in axiomatic formal systems. Zbl 1451.03022 de 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.83096 Crouse, David; Skufca, Joseph 1 2019 A proof-theoretic semantics for parametric logical constants. Zbl 1471.03078 Francez, Nissim 1 2019 Natural three-valued logics characterized by natural deduction. Zbl 1430.03046 Petrukhin, Yaroslav; Shangin, Vasilyi 10 2018 Comparing classical and relativistic kinematics in first-order logic. Zbl 1436.03097 Lefever, Koen; Székely, Gergely 4 2018 Comparing semantics for temporal STIT logic. Zbl 1436.03121 Ciuni, Roberto; Lorini, Emiliano 4 2018 Logical pluralism and logical form. Zbl 1436.03080 Wyatt, Nicole; Payette, Gillman 2 2018 On the constructive axiomatic method. Zbl 1436.03314 Rodin, Andrei 2 2018 Ramifications of imposing uniform responsibility on collective action. Zbl 1436.03064 Payette, Gillman 1 2018 Natural deduction systems for E. Zbl 1436.03145 Standefer, Shawn; Brady, Ross T. 1 2018 Validity in a dialetheist framework. Zbl 1417.03195 Pailos, Federico; Tajer, Diego 4 2017 Presuppositions and two kinds of negation. Zbl 1417.03212 Duzi, Marie 3 2017 On distinguishing proof-theoretic consequence from derivability. Zbl 1417.03279 Francez, Nissim 2 2017 Characterizing properties and explanation in mathematics. Zbl 1390.00050 Salverda, Josephine 1 2017 A quasi-interventionist theory of mathematical explanation. Zbl 1390.00046 Gijsbers, Victor 1 2017 Extending and applying a logic for pragmatics. Zbl 1417.03208 Carrara, Massimiliano; Chiffi, Daniele; De Florio, Ciro 1 2017 Bilateralist detours: from intuitionist to classical logic and back. Zbl 1417.03081 Kürbis, Nils 1 2017 Epistemic pluralism. Zbl 1417.03143 Schang, Fabien 1 2017 A logic for weak essence and strong accident. Zbl 1403.03034 Pan, Tianqun; Yang, Chungui 1 2017 The logical and pragmatic structure of arguments from analogy. Zbl 1384.03055 Macagno, Fabrizio 1 2017 Logical disputes and the a priori. Zbl 1380.03022 Priest, Graham 11 2016 The square of opposition in Catholic hands: a chapter in the history of 20th-century logic. Zbl 1380.03005 Jaspers, Dany; Seuren, Pieter A. M. 7 2016 Contradiction, quantum mechanics, and the square of opposition. Zbl 1368.81018 Becker Arenhart, Jonas R.; Krause, Décio 6 2016 Logical formalization and the formation of logic(s). Zbl 1384.03062 Peregrin, Jaroslav; Svoboda, Vladimír 2 2016 A non-classical refinement of the interpolation property for classical propositional logic. Zbl 1396.03047 Milne, Peter 2 2016 A variant of Church’s set theory with a universal set in which the singleton function is a set. Zbl 1521.03210 Sheridan, Flash 1 2016 Yablo’s paradox as a theorem of modal logic. Zbl 1396.03031 Forster, Thomas; Goré, Rajeev 1 2016 Through full blooded Platonism, and what paraconsistentists could find there. Zbl 1380.03013 Estrada-González, Luis 1 2016 From linguistics to deontic logic via category theory. Zbl 1396.03036 Peterson, Clayton 1 2016 Arithmetic with fusions. Zbl 1478.03080 Ketland, Jeffrey; Schindler, Thomas 1 2016 Formal philosophy and legal reasoning the validity of legal inferences. Zbl 1384.03064 Peterson, Clayton; Marquis, Jean-Pierre 1 2016 The supertask of an infinite lottery. Zbl 1381.60009 Kerkvliet, Timber 1 2016 Don’t plan for the unexpected planning based on plausibility models. Zbl 1362.68263 Andersen, Mikkel Birkegaard; Bolander, Thomas; Jensen, Martin Holm 5 2015 A logic of change with modalities. Zbl 1371.03021 Świętorzecka, Kordula; Czermak, Johannes 3 2015 Proof theories for superpositions of adaptive logics. Zbl 1373.03040 Straßer, Christian; Van De Putte, Frederik 2 2015 On mereological counterparts of some principle for sets. Zbl 1373.03111 Gruszczyński, Rafał 2 2015 The dynamics of surprise. Zbl 1373.03046 Demey, Lorenz 1 2015 Common knowledge: a finitary calculus with a syntactic cut-elimination procedure. Zbl 1373.03019 Poggiolesi, Francesca; Hill, Brian 1 2015 Ockhamism and quantified modal logic. Zbl 1372.03034 Iacona, Andrea 1 2015 Actuality, quantifiers, and actuality quantifiers. Zbl 1371.03024 Gilbert, David R. 1 2015 Fixed points for consequence relations. Zbl 1380.03061 Meadows, Toby 9 2014 Topos semantics for higher-order modal logic. Zbl 1364.03092 Awodey, Steve; Kishida, Kohei; Kotzsch, Hans-Christoph 6 2014 Analytic inference and the informational meaning of the logical operators. Zbl 1369.03037 D’Agostino, Marcello 6 2014 Verbal disputes in logic against minimalism for logical connectives. Zbl 1369.03048 Hjortland, Thomassen Ole 5 2014 Formality in logic from logical terms to semantic constraints. Zbl 1369.03074 Sagi, Gil 4 2014 Logical indefinites. Zbl 1369.03087 Woods, Jack 4 2014 Invariance principles in polyadic inductive logic. Zbl 1373.03028 Ronel, Tahel; Vencovská, Alena 3 2014 Probabilistic merging operators. Zbl 1372.03044 Adamčík, Martin; Wilmers, George 3 2014 Logical consequence and conditionals from a dialetheic perspective. Zbl 1369.03032 Carrara, Massimiliano; Martino, Enrico 3 2014 Semantic minimalism for logical constants. Zbl 1369.03066 Paoli, Francesco 2 2014 Inquiry in conversation towards a modelling in inquisitive pragmatics. Zbl 1372.03053 Hamami, Yacin 1 2014 Taking stock: arguments for the veridicality thesis. Zbl 1310.03016 Demir, Hilmi 1 2014 Mathematical reasoning and external symbolic systems. Zbl 1283.03017 Dutilh Novaes, Catarina 6 2013 Modality in mathematics. Zbl 1284.00040 Hodges, Wilfrid 3 2013 The truth-tellers paradox. Zbl 1323.03001 Billon, Alexander 2 2013 Writing reason. Zbl 1283.03023 Macbeth, Danielle 1 2013 Extending the standard format of adaptive logics to the prioritized case. Zbl 1336.03042 Van De Putte, Frederik; Strasser, Christian 9 2012 Transparent quantification into hyperpropositional contexts de re. Zbl 1336.03007 Duži, Marie; Jespersen, Bjørn 5 2012 Tolerating deontic conflicts by adaptively restricting inheritance. Zbl 1288.03018 Strasser, Christian; Beirlaen, Mathieu; Meheus, Joke 5 2012 A calculus for Belnap’s logic in which each proof consists of two trees. Zbl 1301.03058 Wintein, Stefan; Muskens, Reinhard 4 2012 The consistency of arithmetic, based on a logic of meaning containment. Zbl 1336.03006 Brady, Ross T. 4 2012 On the importance of being analytic. The paradigmatic case of the logic of proofs. Zbl 1283.03089 Poggiolesi, Francesca 4 2012 Reassurance via translation. Zbl 1283.03056 Crabbé, Marcel 3 2012 The propositional and relational syllogistic. Zbl 1279.03032 van Rooij, Robert 2 2012 Cuts, gluts and gaps. Zbl 1283.03088 Degauquier, Vincent 2 2012 Paraconsistency on the rocks of dialetheism. Zbl 1266.03003 Asmus, Conrad 1 2012 A formal approach to Lakatosian heuristics. Zbl 1266.03004 Başkent, Can 1 2012 Response to Westerståhl. Zbl 1266.03005 Ben-Yami, Hanoch 1 2012 Explaining quantifier restriction: reply to Ben-Yami. Zbl 1266.03014 Westerståhl, Dag 1 2012 A contextual type theory with judgemental modalities for reasoning from open assumptions. Zbl 1286.03112 Primiero, Giuseppe 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.03040 Lambert, D.; Hespel, B. 1 2012 Object, structure, and form. Zbl 1284.03080 Oliveri, Gianluigi 1 2012 The formalisation of Hegel’s dialectics. A review of some attempts. (La formalisation de la dialectique de Hegel. Bilan de quelques tentatives.) Zbl 1283.03016 Counet, Jean Michel 1 2012 It might have been classical logic. Zbl 1283.03054 Batens, Diderik 1 2012 A new four-valued approach to modal logic. Zbl 1228.03003 Béziau, Jean-Yves 17 2011 Modal knowledge and counterfactual knowledge. Zbl 1261.03048 Roca-Royes, Sonia 4 2011 Hyperreal expected utilities and Pascal’s wager. Zbl 1238.03013 Herzberg, Frederik 3 2011 Constructive discursive logic with strong negation. Zbl 1260.03055 Akama, Seiki; Abe, Jair Minoro; Nakamatsu, Kazumi 3 2011 A three-valued modal tense logic for the master argument. Zbl 1244.03012 Akama, Seiki; Murai, Tetsuya; Miyamoto, Sadaaki 1 2011 Hilbert programme and applied proof theory. Zbl 1231.03049 Gauthier, Yvon 1 2011 Belief, correctness and normativity. Zbl 1244.91081 Fassio, Davide 1 2011 On languages that contain their own ungroundedness predicate. Zbl 1270.03025 Wintein, Stefan 1 2011 Deontic reasoning with incomplete trust. Zbl 1258.03023 Bentzen, Martin Mose 1 2011 Grounding and truth-functions. Zbl 1253.03028 Correia, Fabrice 39 2010 Explanation in metaphysics and Bolzano’s theory of ground and consequence. Zbl 1244.03014 Betti, Arianna 8 2010 ...and 330 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,168 Authors 20 Robles, Gemma 16 Batens, Diderik 16 Méndez, José M. 15 Béziau, Jean-Yves 13 Fan, Jie 13 Petrukhin, Yaroslav Igorevich 12 Priest, Graham 11 Leszczyńska-Jasion, Dorota 11 Poggiolesi, Francesca 10 Brady, Ross Thomas 10 Carnielli, Walter Alexandre 10 Wansing, Heinrich Theodor 9 Avron, Arnon 9 Humberstone, Lloyd 9 Verdée, Peter 9 Wiśniewski, Andrzej 8 Coniglio, Marcelo Esteban 8 Demey, Lorenz 8 Meyer, Robert Kenneth 8 Omori, Hitoshi 7 Barrio, Eduardo Alejandro 7 Dubois, Didier 7 Parent, Xavier 7 Pietarinen, Ahti-Veikko 7 Pliuškevičius, Regimantas 7 Shangin, Vasily 7 Standefer, Shawn 7 Strasser, Christian 6 Akama, Seiki 6 Beirlaen, Mathieu 6 Carrara, Massimiliano 6 Goranko, Valentin F. 6 Kamide, Norihiro 6 Kocurek, Alexander W. 6 Mares, Edwin D. 6 Odintsov, Sergei P. 6 Ripley, David 6 Rodrigues, Abilio 6 Rossi, Lorenzo Paolo 6 Sylvan, Richard 6 Urquhart, Alasdair 6 van Benthem, Johan F. A. K. 6 van Ditmarsch, Hans Pieter 6 Wintein, Stefan 6 Xu, Yang 5 Alcantud, José Carlos Rodríguez 5 Allo, Patrick 5 Alonderis, Romas 5 Başkent, Can 5 Bimbó, Katalin 5 Caleiro, Carlos 5 Cresswell, Maxwell John 5 Dimitrov, Dinko 5 Dunn, Jon Michael 5 Estrada-González, Luis 5 Ferguson, Thomas Macaulay 5 Herzig, Andreas 5 Horsten, Leon 5 Konikowska, Beata 5 Łupkowski, Paweł 5 Marcos, João 5 Pailos, Federico Matias 5 Paoli, Francesco 5 Primiero, Giuseppe 5 Pulcini, Gabriele 5 Shelah, Saharon 5 Tanaka, Koji 5 Urbański, Mariusz 5 Van De Putte, Frederik 5 Venturi, Giorgio 4 Arenhart, Jonas Rafael Becker 4 Baltag, Alexandru 4 Bueno, Otávio 4 Chlebowski, Szymon 4 Correia, Fabrice 4 de Araujo Feitosa, Hércules 4 D’Ottaviano, Itala M. Loffredo 4 Duzi, Marie 4 Ferenz, Nicholas 4 French, Rohan 4 Goble, Lou 4 Hazen, Allen P. 4 Indrzejczak, Andrzej 4 Jespersen, Bjørn 4 Ju, Biung-Ghi 4 Li, Yanjun 4 Liu, Jun 4 López, Sandra M. 4 Ma, Minghui 4 Montanari, Angelo 4 Mruczek-Nasieniewska, Krystyna 4 Muskens, Reinhard A. 4 Pelletier, Francis Jeffry 4 Prade, Henri M. 4 Rönnedal, Daniel 4 Ruan, Da 4 Schang, Fabien 4 Shramko, Yaroslav V. 4 Szmuc, Damian Enrique 4 Tamminga, Allard M. ...and 1,068 more Authors all top 5 Cited in 134 Journals 142 Synthese 141 Journal of Philosophical Logic 115 Studia Logica 50 Logica Universalis 44 Logic and Logical Philosophy 43 Notre Dame Journal of Formal Logic 37 Journal of Applied Non-Classical Logics 36 The Review of Symbolic Logic 28 Journal of Applied Logic 23 Journal of Logic, Language and Information 19 Theoretical Computer Science 16 Annals of Pure and Applied Logic 14 Bulletin of the Section of Logic 13 Artificial Intelligence 13 History and Philosophy of Logic 12 Information Sciences 12 Mathematical Social Sciences 12 International Journal of Approximate Reasoning 11 Israel Journal of Mathematics 11 Journal of Automated Reasoning 11 The Bulletin of Symbolic Logic 11 Erkenntnis 11 Foundations of Science 10 Mathematical Logic Quarterly (MLQ) 10 Logicheskie Issledovaniya 9 The Journal of Symbolic Logic 8 International Journal of Theoretical Physics 8 Theory and Decision 8 Social Choice and Welfare 8 Archive for Mathematical Logic 7 Topoi 7 Nôus 6 Fuzzy Sets and Systems 5 Linguistics and Philosophy 5 Soft Computing 4 Archiv für Mathematische Logik und Grundlagenforschung 4 Algebra Universalis 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 Computers & Mathematics with Applications 3 Algebra and Logic 3 Transactions of the American Mathematical Society 3 Games and Economic Behavior 3 Foundations of Physics 3 Lietuvos Matematikos Rinkinys. Proceedings of the Lithuanian Mathematical Society. Series A 2 Information Processing Letters 2 Journal of Algebra 2 Journal of Economic Theory 2 Journal of Mathematical Economics 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 Economic Theory 2 Missouri Journal of Mathematical Sciences 2 ACM Transactions on Computational Logic 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 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 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 Economics Letters 1 Mathematical Structures in Computer Science 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 International Journal of Modern Physics D 1 Filomat ...and 34 more Journals all top 5 Cited in 46 Fields 1,107 Mathematical logic and foundations (03-XX) 172 Computer science (68-XX) 67 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 65 History and biography (01-XX) 59 General and overarching topics; collections (00-XX) 34 Order, lattices, ordered algebraic structures (06-XX) 26 Quantum theory (81-XX) 14 Probability theory and stochastic processes (60-XX) 13 Group theory and generalizations (20-XX) 12 Category theory; homological algebra (18-XX) 9 Number theory (11-XX) 8 Combinatorics (05-XX) 8 Statistics (62-XX) 7 General algebraic systems (08-XX) 7 General topology (54-XX) 7 Mathematics education (97-XX) 6 Information and communication theory, circuits (94-XX) 5 Associative rings and algebras (16-XX) 5 Functional analysis (46-XX) 5 Geometry (51-XX) 5 Relativity and gravitational theory (83-XX) 4 Operator theory (47-XX) 3 Algebraic topology (55-XX) 2 Field theory and polynomials (12-XX) 2 Topological groups, Lie groups (22-XX) 2 Measure and integration (28-XX) 2 Dynamical systems and ergodic theory (37-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 Real functions (26-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 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) 1 Biology and other natural sciences (92-XX) Citations by Year