×

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=LEA
http://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

Publications by Year

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.03013
Batens, Diderik
38
1980
On the question “who is a \(J\)?”: a social choice approach. Zbl 0976.91013
Kasher, Asa; Rubinstein, Ariel
35
1997
Algebraic analysis of entailment. I. Zbl 0336.02020
Meyer, Robert K.; Routley, Richard
31
1972
The tableau method for temporal logic: an overview. Zbl 0585.03008
Wolper, Pierre
29
1985
Completeness proofs for the systems RM3 and BN4. Zbl 0498.03012
Brady, Ross T.
29
1982
The lazy model-theoretician’s guide to stability. Zbl 0359.02052
Shelah, Saharon
24
1975
Grounding and truth-functions. Zbl 1253.03028
Correia, Fabrice
24
2010
Contingency and non-contingency bases for normal modal logics. Zbl 0294.02008
Montgomery, H.; Routley, R.
23
1966
A general characterization of adaptive logics. Zbl 1047.03017
Batens, Diderik
21
2001
Physical theories and possible worlds. Zbl 0287.02009
Cresswell, M. J.
19
1973
A rich paraconsistent extension of full positive logic. Zbl 1078.03024
Batens, Diderik; De Clercq, Kristof
16
2004
A system of temporally relative modal and deontic predicate logic and its philosophical applications. Zbl 0549.03004
van Eck, J. A.
14
1982
Notes towards an axiomatization of intuitionistic analysis. Zbl 0187.26307
Myhill, J.
13
1966
Nearly every normal modal logic is paranormal. Zbl 1084.03015
Marcos, João
13
2005
What is a self-referential sentence? Critical remarks on the alleged (non-)circularity of Yablo’s paradox. Zbl 1058.03009
Leitgeb, Hannes
12
2002
A new four-valued approach to modal logic. Zbl 1228.03003
Béziau, Jean-Yves
12
2011
Pushing the search paths in the proofs. A study in proof heuristics. Zbl 1054.03008
Batens, Diderik; Provijn, Dagmar
11
2001
Arithmetic and truth in Łukasiewicz’s infinitely valued logic. Zbl 0832.03010
Restall, Greg
11
1992
Modalities in substructural logics. Zbl 0840.03011
Restall, Greg
11
1993
On the axiomatic characterization of “who is a \(J\)?”. Zbl 1155.91349
Sung, Shao Chin; Dimitrov, Dinko
11
2005
Natural deduction systems for some quantified relevant logics. Zbl 0559.03011
Brady, Ross T.
10
1984
Questions and inferences. Zbl 1045.03508
Wiśniewski, Andrzej
10
2001
Quantifiers in many-valued logic. Zbl 0129.00317
Rescher, Nicholas
10
1964
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
8
1985
Adaptive logics for question evocation. Zbl 1047.03019
Meheus, Joke
8
2001
Blocks. The clue to dynamic aspects of logic. Zbl 0974.03008
Batens, Diderik
8
1995
Preference semantics for deontic logic. I. Simple models. Zbl 1073.03014
Goble, Lou
8
2003
On \(\aleph_0\)-categorical extra-special p-groups. Zbl 0355.02038
Felgner, Ulrich
8
1975
Enthymemes, argumentation schemes and topics. Zbl 1179.03011
Walton, Douglas; Macagno, Fabrizio
8
2009
Deontic logic and the logic of imperatives. Zbl 0129.25801
Lemmon, E. J.
8
1965
Natural three-valued logics characterized by natural deduction. Zbl 1430.03046
Petrukhin, Yaroslav; Shangin, Vasilyi
8
2018
Paraconsistent modal logic. Zbl 1105.03024
Goble, Lou
8
2006
Paradoxes solved by simple relevance criteria. Zbl 0622.03007
Weingartner, Paul; Schurz, Gerhard
8
1986
A regular sequent calculus for quantum logic in which conjunction and disjunction are dual. Zbl 0518.03029
Cutland, N. J.; Gibbins, P. F.
7
1982
What is a non-normal world? Zbl 0834.03002
Priest, Graham
7
1992
The logic of being informed. Zbl 1124.03003
Floridi, Luciano
7
2006
Socratic proofs for some normal modal propositional logics. Zbl 1078.03016
Leszczyńska, Dorota
7
2004
Extending the standard format of adaptive logics to the prioritized case. Zbl 1336.03042
Van De Putte, Frederik; Strasser, Christian
7
2012
Sequents and bivaluations. Zbl 1043.03009
Béziau, Jean-Yves
7
2001
Resolution modal logic. Zbl 0631.03007
Fariñas-del-Cerro, Luis
7
1985
Relevant implication and projective geometry. Zbl 0557.03012
Urquhart, Alasdair
6
1983
Autologic. Zbl 0584.03008
Morgan, Charles G.
6
1985
Paraconsistency, paracompleteness, and valuations. Zbl 0549.03023
Loparić, Andréa; da Costa, Newton C. A.
6
1984
On causation and a counterfactual in quantum logic: the Sasaki hook. Zbl 1050.81004
Smets, Sonja
6
2001
Reflections on epistemic logic. Zbl 0814.03002
van Benthem, Johan
6
1991
Theory of valuation. (Théorie de la valuation.) Zbl 0973.03012
da Costa, Newton C. A.; Béziau, Jean-Yves
6
1994
Canonical models for temporal deontic logic. Zbl 0973.03023
Bailhache, Patrice
6
1995
Can pictures prove? Zbl 1075.00003
Dove, Ian
6
2002
Every sentential logic has a two-valued worlds semantics. Zbl 0347.02016
Routley, Richard; Meyer, Robert K.
6
1976
A resolution principle for a class of many-valued logics. Zbl 0352.02017
Morgan, Charles G.
6
1976
Tense logic and standard logic. Zbl 0392.03019
van Benthem, J. F. A. K.
6
1977
A Fitch-style formulation of conditional logic. Zbl 0228.02016
Thomason, Richmond H.
6
1970
Explanation in metaphysics and Bolzano’s theory of ground and consequence. Zbl 1244.03014
Betti, Arianna
6
2010
Grammar logics. Zbl 0728.03025
Fariñas del Cerro, Luis; Penttonen, Martti
6
1988
Two-phase deontic logic. Zbl 1028.03007
van der Torre, Leendert; Tan, Yao-Hua
6
2000
Analytic inference and the informational meaning of the logical operators. Zbl 1369.03037
D’Agostino, Marcello
6
2014
A result for combinators, BCK logics and BCK algebras. Zbl 0574.03004
Bunder, M. W.; Meyer, R. K.
5
1985
On classical adaptive logics of induction. Zbl 1047.03018
Batens, Diderik; Haesaert, Lieven
5
2001
Probability of provability and belief functions. Zbl 0799.03029
Smets, Philippe
5
1991
Paraconsistent logic in a historical perspective. Zbl 0974.03029
da 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.03507
Priest, Graham
5
1995
The concept of quasi-truth. Zbl 0976.03008
Bueno, Otávio; de Souza, Edelcio G.
5
1996
Translations between logical systems: A manifesto. Zbl 0982.03006
Carnielli, Walter A.; D’Ottaviano, Itala Maria Loffredo
5
1997
Some structural and logical aspects of the notion of supervenience. Zbl 0832.03007
Humberstone, Lloyd
5
1992
Inconsistency-adaptive logics and the foundation of non-monotonic logics. Zbl 0856.03020
Batens, Diderik
5
1994
Logic of norms and logic of normative propositions. Zbl 0197.27601
Alchourron, C. E.
5
1969
Grades of modality. Zbl 0221.02008
Goble, L. F.
5
1970
Sur les définitions des algèbres trivalentes de Lukasiewicz données par A. Monteiro. Zbl 0307.02040
Becchio, Denise
5
1973
Tense logic and the logic of change. Zbl 0166.25202
Clifford, J. E.
5
1966
Erotetic arguments from inconsistent premises. Zbl 0999.03003
Meheus, Joke
5
1999
Truthmaker necessitarianism and maximalism. Zbl 1084.03500
Cameron, Ross P.
5
2005
Logical disputes and the a priori. Zbl 1380.03022
Priest, Graham
5
2016
Hyper-contradictions. Zbl 0554.03016
Priest, 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.03029
Béziau, Jean-Yves
4
1990
A proof system for fork algebras and its applications to reasoning in logics based on intuitionism. Zbl 0974.03031
Frias, Marcelo F.; Orlowska, Ewa
4
1995
Ambiguity-adaptive logic. Zbl 0976.03513
Vanackere, Guido
4
1997
Proof theories for some prioritized consequence relations. Zbl 1071.03015
Verhoeven, 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.03013
Béziau, Jean Yves
4
1993
The deontic branching time: Two related conceptions. Zbl 0839.03009
Bailhache, Patrice
4
1993
Leitgeb, “about”, Yablo. Zbl 1189.03010
Urbaniak, Rafał
4
2009
Information flow and impossible situations. Zbl 1118.03014
Sequoiah-Grayson, Sebastian
4
2006
Non-contingency axioms for S4 and S5. Zbl 0169.30003
Montgomery, H.; Routley, R.
4
1968
Entailment and relevant implication. Zbl 0186.00601
Meyer, Robert K.
4
1968
A simple treatment of Church’s theorem on the decision problem. Zbl 0193.31104
Schwartz, Thomas
4
1969
Modalities in a sequence of normal non-contingency modal systems. Zbl 0196.00902
Montgomery, H.; Routley, R.
4
1969
Yet another “choice of primitives” warning: normal modal logics. Zbl 1086.03014
Humberstone, Lloyd
4
2004
Representations of \(j\)-algebras and Segerberg’s logics. Zbl 1029.03011
Odintsov, S. P.
4
1999
The consistency of arithmetic, based on a logic of meaning containment. Zbl 1336.03006
Brady, Ross T.
4
2012
Tolerating deontic conflicts by adaptively restricting inheritance. Zbl 1288.03018
Strasser, Christian; Beirlaen, Mathieu; Meheus, Joke
4
2012
It isn’t so, but could it be? Zbl 1084.03503
Mortensen, Chris
4
2005
Dialectical dynamics within formal logics. Zbl 0643.03006
Batens, Diderik
4
1986
Fixed points for consequence relations. Zbl 1380.03061
Meadows, Toby
4
2014
Contradiction, quantum mechanics, and the square of opposition. Zbl 1368.81018
Becker Arenhart, Jonas R.; Krause, Décio
4
2016
Six problems in ”translational equivalence”. Zbl 0589.03006
Pelletier, Francis Jeffry
3
1984
Probabilistic semantics for orthologic and quantum logic. Zbl 0591.03044
Morgan, Ch. G.
3
1983
Modal translations and intuitionistic double negation. Zbl 0607.03006
Došen, Kosta
3
1986
Advanced theorem-proving techniques for relevant logics. Zbl 0612.03011
Thistlewaite, P. B.; Meyer, R. K.; McRobbie, M. A.
3
1985
The truth teller paradox. Zbl 0527.03001
Mortensen, Chris; Priest, Graham
3
1981
Some results in intuitionistic modal logic. Zbl 0544.03001
Fariñas del Cerro, Luis; Raggio, Andrés R.
3
1983
A graphical deep inference system for intuitionistic logic. Zbl 1457.03026
Minghui, Ma; Pietarinen, Ahti-Veikko
3
2019
Paradeduction in axiomatic formal systems. Zbl 1451.03022
de Souza, Edelcio G.; Costa-Leite, Alexandre; Dias, Diogo H. B.
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
8
2018
Comparing classical and relativistic kinematics in first-order logic. Zbl 1436.03097
Lefever, Koen; Székely, Gergely
2
2018
On the constructive axiomatic method. Zbl 1436.03314
Rodin, Andrei
1
2018
Ramifications of imposing uniform responsibility on collective action. Zbl 1436.03064
Payette, Gillman
1
2018
Comparing semantics for temporal STIT logic. Zbl 1436.03121
Ciuni, Roberto; Lorini, Emiliano
1
2018
Validity in a dialetheist framework. Zbl 1417.03195
Pailos, Federico; Tajer, Diego
3
2017
On distinguishing proof-theoretic consequence from derivability. Zbl 1417.03279
Francez, Nissim
1
2017
Extending and applying a logic for pragmatics. Zbl 1417.03208
Carrara, Massimiliano; Chiffi, Daniele; De Florio, Ciro
1
2017
Presuppositions and two kinds of negation. Zbl 1417.03212
Duzi, Marie
1
2017
Logical disputes and the a priori. Zbl 1380.03022
Priest, Graham
5
2016
Contradiction, quantum mechanics, and the square of opposition. Zbl 1368.81018
Becker Arenhart, Jonas R.; Krause, Décio
4
2016
A non-classical refinement of the interpolation property for classical propositional logic. Zbl 1396.03047
Milne, Peter
2
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
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.
1
2016
Logical formalization and the formation of logic(s). Zbl 1384.03062
Peregrin, 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 06751874
Sheridan, Flash
1
2016
Don’t plan for the unexpected planning based on plausibility models. Zbl 1362.68263
Andersen, Mikkel Birkegaard; Bolander, Thomas; Jensen, Martin Holm
3
2015
The dynamics of surprise. Zbl 1373.03046
Demey, Lorenz
2
2015
Proof theories for superpositions of adaptive logics. Zbl 1373.03040
Straßer, Christian; Van De Putte, Frederik
2
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
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.03037
D’Agostino, Marcello
6
2014
Fixed points for consequence relations. Zbl 1380.03061
Meadows, Toby
4
2014
Formality in logic from logical terms to semantic constraints. Zbl 1369.03074
Sagi, Gil
3
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
Topos semantics for higher-order modal logic. Zbl 1364.03092
Awodey, Steve; Kishida, Kohei; Kotzsch, Hans-Christoph
3
2014
Logical indefinites. Zbl 1369.03087
Woods, Jack
2
2014
Logical consequence and conditionals from a dialetheic perspective. Zbl 1369.03032
Carrara, Massimiliano; Martino, Enrico
2
2014
Verbal disputes in logic against minimalism for logical connectives. Zbl 1369.03048
Hjortland, Thomassen Ole
2
2014
Semantic minimalism for logical constants. Zbl 1369.03066
Paoli, Francesco
1
2014
The truth-tellers paradox. Zbl 1323.03001
Billon, Alexander
2
2013
Modality in mathematics. Zbl 1284.00040
Hodges, Wilfrid
1
2013
Mathematical reasoning and external symbolic systems. Zbl 1283.03017
Dutilh Novaes, Catarina
1
2013
Extending the standard format of adaptive logics to the prioritized case. Zbl 1336.03042
Van De Putte, Frederik; Strasser, Christian
7
2012
The consistency of arithmetic, based on a logic of meaning containment. Zbl 1336.03006
Brady, Ross T.
4
2012
Tolerating deontic conflicts by adaptively restricting inheritance. Zbl 1288.03018
Strasser, Christian; Beirlaen, Mathieu; Meheus, Joke
4
2012
Transparent quantification into hyperpropositional contexts de re. Zbl 1336.03007
Duži, Marie; Jespersen, Bjørn
3
2012
A calculus for Belnap’s logic in which each proof consists of two trees. Zbl 1301.03058
Wintein, Stefan; Muskens, Reinhard
3
2012
On the importance of being analytic. The paradigmatic case of the logic of proofs. Zbl 1283.03089
Poggiolesi, Francesca
3
2012
Reassurance via translation. Zbl 1283.03056
Crabbé, Marcel
3
2012
Cuts, gluts and gaps. Zbl 1283.03088
Degauquier, Vincent
2
2012
A contextual type theory with judgemental modalities for reasoning from open assumptions. Zbl 1286.03112
Primiero, Giuseppe
1
2012
Object, structure, and form. Zbl 1284.03080
Oliveri, Gianluigi
1
2012
It might have been classical logic. Zbl 1283.03054
Batens, 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.03040
Lambert, D.; Hespel, B.
1
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
The propositional and relational syllogistic. Zbl 1279.03032
van Rooij, Robert
1
2012
Explaining quantifier restriction: reply to Ben-Yami. Zbl 1266.03014
Westerståhl, Dag
1
2012
A new four-valued approach to modal logic. Zbl 1228.03003
Béziau, Jean-Yves
12
2011
Modal knowledge and counterfactual knowledge. Zbl 1261.03048
Roca-Royes, Sonia
2
2011
Constructive discursive logic with strong negation. Zbl 1260.03055
Akama, Seiki; Abe, Jair Minoro; Nakamatsu, Kazumi
2
2011
Hyperreal expected utilities and Pascal’s wager. Zbl 1238.03013
Herzberg, Frederik
2
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
A three-valued modal tense logic for the master argument. Zbl 1244.03012
Akama, Seiki; Murai, Tetsuya; Miyamoto, Sadaaki
1
2011
Grounding and truth-functions. Zbl 1253.03028
Correia, Fabrice
24
2010
Explanation in metaphysics and Bolzano’s theory of ground and consequence. Zbl 1244.03014
Betti, Arianna
6
2010
The modal predicate logic of real time. Zbl 1206.03021
Cresswell, M. J.
2
2010
A certain consequence relation for solving paradoxes of vagueness. Zbl 1210.03013
Misiuna, Krystyna
1
2010
Enthymemes, argumentation schemes and topics. Zbl 1179.03011
Walton, Douglas; Macagno, Fabrizio
8
2009
Leitgeb, “about”, Yablo. Zbl 1189.03010
Urbaniak, Rafał
4
2009
On the transparency of defeasible logics: equivalent premise sets, equivalence of their extensions, and maximality of the lower limit. Zbl 1190.03002
Batens, Diderik; Strasser, Christian; Verdée, Peter
3
2009
The universal generalization problem. Zbl 1170.03311
Cellucci, Carlo
3
2009
Evading truth commitments: the problem reanalyzed. Zbl 1180.03005
Azzouni, Jody
3
2009
Fitch-style natural deduction for modal paralogics. Zbl 1190.03030
Lycke, Hans
1
2009
(Star-based) four-valued Kripke-style semantics for some neighbors of E, R, T. Zbl 1191.03016
Yang, Eunsuk
1
2009
Generalized quantifiers, and beyond. Zbl 1203.03010
Ben-Yami, Hanoch
1
2009
Philosophical logic in a framework of propositional logic. Zbl 1211.03007
Damböck, Christian
1
2009
Negation in metacomplete relevant logics. Zbl 1233.03030
Brady, Ross T.
3
2008
On Kripke’s schema and countable subsets. (Über das Kripke-Schema und abzählbare Teilmengen.) Zbl 1171.03038
Schuster, Peter; Zappe, Júlia
2
2008
The axiomatic method in theory and in practice. Zbl 1159.03006
Rav, 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.03010
Steinberger, Florian
1
2008
Positive abstraction and extensionality revisited. Zbl 1144.03031
Libert, Thierry
1
2008
What is wrong with Cantor’s diagonal argument? Zbl 1150.03009
Brady, Ross; Rush, Penelope
1
2008
A general Cauchy-completion process for arbitrary first-order structures. Zbl 1123.03023
Hinnion, Roland
3
2007
An Euclidean measure of size for mathematical universes. Zbl 1131.03029
Benci, Vieri; Di Nasso, Mauro; Forti, Marco
3
2007
A three-valued temporal logic for future contingents. Zbl 1137.03010
Akama, Seiki; Nagata, Yasunori; Yamada, Chikatoshi
2
2007
Prior’s tense-logical universalism. Zbl 1129.03305
Müller, Thomas
2
2007
An epistemic constructive definition of information. Zbl 1139.03309
Primiero, Giuseppe
2
2007
Implementing mathematical objects in set theory. Zbl 1126.03049
Forster, Thomas
1
2007
Weak independence of quantifiers. (Indépendance faible des quantificateurs.) Zbl 1123.03032
Zuber, Richard
1
2007
The Prior future. Zbl 1129.03002
Cresswell, M. J.
1
2007
A three-step solution to the two-envelope paradox. Zbl 1139.03302
Douven, Igor
1
2007
Paraconsistent modal logic. Zbl 1105.03024
Goble, Lou
8
2006
The logic of being informed. Zbl 1124.03003
Floridi, Luciano
7
2006
Information flow and impossible situations. Zbl 1118.03014
Sequoiah-Grayson, Sebastian
4
2006
...and 270 more Documents
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