×

zbMATH — the first resource for mathematics

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,092 Publications (since 1964)
all top 5

Latest Issues

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)
23 (1980)
...and 14 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 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.
2 Balbiani, Philippe
...and 669 more Authors

Publications by Year

Citations contained in zbMATH Open

352 Publications have been cited 1,155 times in 871 Documents Cited by Year
Paraconsistent extensional propositional logics. Zbl 0459.03013
Batens, Diderik
33
1980
On the question “who is a \(J\)?”: a social choice approach. Zbl 0976.91013
Kasher, Asa; Rubinstein, Ariel
33
1997
Algebraic analysis of entailment. I. Zbl 0336.02020
Meyer, Robert K.; Routley, Richard
29
1972
The tableau method for temporal logic: an overview. Zbl 0585.03008
Wolper, Pierre
28
1985
Completeness proofs for the systems RM3 and BN4. Zbl 0498.03012
Brady, Ross T.
24
1982
The lazy model-theoretician’s guide to stability. Zbl 0359.02052
Shelah, Saharon
24
1975
A general characterization of adaptive logics. Zbl 1047.03017
Batens, Diderik
20
2001
Grounding and truth-functions. Zbl 1253.03028
Correia, Fabrice
19
2010
Physical theories and possible worlds. Zbl 0287.02009
Cresswell, M. J.
19
1973
Contingency and non-contingency bases for normal modal logics. Zbl 0294.02008
Montgomery, H.; Routley, R.
18
1966
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
12
2005
Pushing the search paths in the proofs. A study in proof heuristics. Zbl 1054.03008
Batens, Diderik; Provijn, Dagmar
11
2001
On the axiomatic characterization of “who is a \(J\)?”. Zbl 1155.91349
Sung, Shao Chin; Dimitrov, Dinko
10
2005
Arithmetic and truth in Łukasiewicz’s infinitely valued logic. Zbl 0832.03010
Restall, Greg
10
1992
Questions and inferences. Zbl 1045.03508
Wiśniewski, Andrzej
10
2001
What is a self-referential sentence? Critical remarks on the alleged (non-)circularity of Yablo’s paradox. Zbl 1058.03009
Leitgeb, Hannes
10
2002
Quantifiers in many-valued logic. Zbl 0129.00317
Rescher, Nicholas
10
1964
A new four-valued approach to modal logic. Zbl 1228.03003
Béziau, Jean-Yves
10
2011
Modalities in substructural logics. Zbl 0840.03011
Restall, Greg
9
1993
Partiality and nonmonotonicity in classical logic. Zbl 0624.03022
van Benthem, Johan
9
1986
Natural deduction systems for some quantified relevant logics. Zbl 0559.03011
Brady, Ross T.
9
1984
Blocks. The clue to dynamic aspects of logic. Zbl 0974.03008
Batens, Diderik
8
1995
Paradoxes solved by simple relevance criteria. Zbl 0622.03007
Weingartner, Paul; Schurz, Gerhard
8
1986
Mechanical proof methods for Post logics. Zbl 0587.03007
Orłowska, Ewa
8
1985
Deontic logic and the logic of imperatives. Zbl 0129.25801
Lemmon, E. J.
8
1965
Enthymemes, argumentation schemes and topics. Zbl 1179.03011
Walton, Douglas; Macagno, Fabrizio
8
2009
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
Resolution modal logic. Zbl 0631.03007
Fariñas-del-Cerro, Luis
7
1985
Sequents and bivaluations. Zbl 1043.03009
Béziau, Jean-Yves
7
2001
Preference semantics for deontic logic. I. Simple models. Zbl 1073.03014
Goble, Lou
7
2003
Socratic proofs for some normal modal propositional logics. Zbl 1078.03016
Leszczyńska, Dorota
7
2004
Paraconsistent modal logic. Zbl 1105.03024
Goble, Lou
7
2006
On \(\aleph_0\)-categorical extra-special p-groups. Zbl 0355.02038
Felgner, Ulrich
7
1975
Extending the standard format of adaptive logics to the prioritized case. Zbl 1336.03042
Van De Putte, Frederik; Strasser, Christian
7
2012
Natural three-valued logics characterized by natural deduction. Zbl 1430.03046
Petrukhin, Yaroslav; Shangin, Vasilyi
6
2018
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
Reflections on epistemic logic. Zbl 0814.03002
van Benthem, Johan
6
1991
Two-phase deontic logic. Zbl 1028.03007
van der Torre, Leendert; Tan, Yao-Hua
6
2000
Adaptive logics for question evocation. Zbl 1047.03019
Meheus, Joke
6
2001
On causation and a counterfactual in quantum logic: the Sasaki hook. Zbl 1050.81004
Smets, Sonja
6
2001
Can pictures prove? Zbl 1075.00003
Dove, Ian
6
2002
Autologic. Zbl 0584.03008
Morgan, Charles G.
6
1985
A Fitch-style formulation of conditional logic. Zbl 0228.02016
Thomason, Richmond H.
6
1970
The logic of being informed. Zbl 1124.03003
Floridi, Luciano
6
2006
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
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
Translations between logical systems: A manifesto. Zbl 0982.03006
Carnielli, Walter A.; D’Ottaviano, Itala Maria Loffredo
5
1997
Truthmaker necessitarianism and maximalism. Zbl 1084.03500
Cameron, Ross P.
5
2005
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
Probability of provability and belief functions. Zbl 0799.03029
Smets, Philippe
5
1991
On classical adaptive logics of induction. Zbl 1047.03018
Batens, Diderik; Haesaert, Lieven
5
2001
Logical disputes and the a priori. Zbl 1380.03022
Priest, Graham
5
2016
Sur les définitions des algèbres trivalentes de Lukasiewicz données par A. Monteiro. Zbl 0307.02040
Becchio, Denise
5
1973
Analytic inference and the informational meaning of the logical operators. Zbl 1369.03037
D’Agostino, Marcello
5
2014
Paraconsistency, paracompleteness, and valuations. Zbl 0549.03023
Loparić, Andréa; da Costa, Newton C. A.
5
1984
A result for combinators, BCK logics and BCK algebras. Zbl 0574.03004
Bunder, M. W.; Meyer, R. K.
5
1985
Grammar logics. Zbl 0728.03025
Fariñas del Cerro, Luis; Penttonen, Martti
5
1988
Tense logic and the logic of change. Zbl 0166.25202
Clifford, J. E.
5
1966
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
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
The concept of quasi-truth. Zbl 0976.03008
Bueno, Otávio; de Souza, Edelcio G.
4
1996
Ambiguity-adaptive logic. Zbl 0976.03513
Vanackere, Guido
4
1997
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
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
Erotetic arguments from inconsistent premises. Zbl 0999.03003
Meheus, Joke
4
1999
Representations of \(j\)-algebras and Segerberg’s logics. Zbl 1029.03011
Odintsov, S. P.
4
1999
Dialectical dynamics within formal logics. Zbl 0643.03006
Batens, Diderik
4
1986
Contradiction, quantum mechanics, and the square of opposition. Zbl 1368.81018
Becker Arenhart, Jonas R.; Krause, Décio
4
2016
Hyper-contradictions. Zbl 0554.03016
Priest, Graham
4
1984
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
Proof theories for some prioritized consequence relations. Zbl 1071.03015
Verhoeven, Liza
4
2003
Yet another “choice of primitives” warning: normal modal logics. Zbl 1086.03014
Humberstone, Lloyd
4
2004
Information flow and impossible situations. Zbl 1118.03014
Sequoiah-Grayson, Sebastian
4
2006
Leitgeb, “about”, Yablo. Zbl 1189.03010
Urbaniak, Rafał
4
2009
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
On the concept of identity in Zermelo-Fraenkel-like axioms and its relationship with quantum statistics. Zbl 1084.03041
Krause, Décio; Sant’Anna, Adonai S.; Sartorelli, Aurélio
3
2005
It isn’t so, but could it be? Zbl 1084.03503
Mortensen, Chris
3
2005
Strict finitism as a viable alternative in the foundations of mathematics. Zbl 0856.03003
Van Bendegem, Jean Paul
3
1994
Common knowledge: A semantics for modal logic. (La connaissance commune: Une sémantique pour la logique modale.) Zbl 0799.03016
Lismont, Luc; Mongin, Philippe
3
1991
In defence of the Barcan formula. Zbl 0823.03007
Cresswell, M. J.
3
1991
Maximal paraconsistent extension of Johansson logic. Zbl 1008.03017
Odintsov, S. P.
3
1998
Truth making and entailment. Zbl 1018.03503
Heil, John
3
2000
Mathematics and fiction. I: Identification. Zbl 1040.00010
Thomas, Robert S. D.
3
2000
Logic and coherence in the light of competitive games. Zbl 1028.03024
Pietarinen, Ahti
3
2000
Synthetic tableaux and erotetic search scenarios: Extension and extraction. Zbl 1047.03012
Urbański, Mariusz
3
2001
Implicational converses. Zbl 1051.03012
Humberstone, Lloyd
3
2002
Mathematics and fiction. II: Analogy. Zbl 1143.00300
Thomas, Robert
3
2002
A graphical deep inference system for intuitionistic logic. Zbl 1457.03026
Minghui, Ma; Pietarinen, Ahti-Veikko
2
2019
Natural three-valued logics characterized by natural deduction. Zbl 1430.03046
Petrukhin, Yaroslav; Shangin, Vasilyi
6
2018
Comparing classical and relativistic kinematics in first-order logic. Zbl 1436.03097
Lefever, Koen; Székely, Gergely
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
On distinguishing proof-theoretic consequence from derivability. Zbl 1417.03279
Francez, Nissim
1
2017
Validity in a dialetheist framework. Zbl 1417.03195
Pailos, Federico; Tajer, Diego
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 06751851
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
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
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
Don’t plan for the unexpected planning based on plausibility models. Zbl 1362.68263
Andersen, Mikkel Birkegaard; Bolander, Thomas; Jensen, Martin Holm
1
2015
Common knowledge: a finitary calculus with a syntactic cut-elimination procedure. Zbl 1373.03019
Poggiolesi, Francesca; Hill, Brian
1
2015
Analytic inference and the informational meaning of the logical operators. Zbl 1369.03037
D’Agostino, Marcello
5
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
Formality in logic from logical terms to semantic constraints. Zbl 1369.03074
Sagi, Gil
2
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
Fixed points for consequence relations. Zbl 1380.03061
Meadows, Toby
1
2014
Semantic minimalism for logical constants. Zbl 1369.03066
Paoli, Francesco
1
2014
The truth-tellers paradox. Zbl 1323.03001
Billon, Alexander
1
2013
Modality in mathematics. Zbl 1284.00040
Hodges, Wilfrid
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
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
Transparent quantification into hyperpropositional contexts de re. Zbl 1336.03007
Duži, Marie; Jespersen, Bjørn
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
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 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
A new four-valued approach to modal logic. Zbl 1228.03003
Béziau, Jean-Yves
10
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
19
2010
Explanation in metaphysics and Bolzano’s theory of ground and consequence. Zbl 1244.03014
Betti, Arianna
3
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
Evading truth commitments: the problem reanalyzed. Zbl 1180.03005
Azzouni, Jody
3
2009
The universal generalization problem. Zbl 1170.03311
Cellucci, Carlo
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
Tennant on multiple conclusions. Zbl 1152.03010
Steinberger, Florian
1
2008
The axiomatic method in theory and in practice. Zbl 1159.03006
Rav, Yehuda
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
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
An epistemic constructive definition of information. Zbl 1139.03309
Primiero, Giuseppe
1
2007
Paraconsistent modal logic. Zbl 1105.03024
Goble, Lou
7
2006
The logic of being informed. Zbl 1124.03003
Floridi, Luciano
6
2006
Information flow and impossible situations. Zbl 1118.03014
Sequoiah-Grayson, Sebastian
4
2006
Infon logic based on constructive logic. Zbl 1107.03025
Akama, Seiki; Nagata, Yasunori
1
2006
Characterizing negation to face dialetheism. Zbl 1113.03005
Berto, Francesco
1
2006
Imagine the possibilities (information without overload). Zbl 1118.03005
Jago, Mark
1
2006
Relevant logic, probabilistic information, and conditionals. Zbl 1118.03015
Mares, Edwin D.
1
2006
Local information and adaptive consequence. Zbl 1118.03009
Allo, Patrick
1
2006
Nearly every normal modal logic is paranormal. Zbl 1084.03015
Marcos, João
12
2005
On the axiomatic characterization of “who is a \(J\)?”. Zbl 1155.91349
Sung, Shao Chin; Dimitrov, Dinko
10
2005
Truthmaker necessitarianism and maximalism. Zbl 1084.03500
Cameron, Ross P.
5
2005
On the concept of identity in Zermelo-Fraenkel-like axioms and its relationship with quantum statistics. Zbl 1084.03041
Krause, Décio; Sant’Anna, Adonai S.; Sartorelli, Aurélio
3
2005
It isn’t so, but could it be? Zbl 1084.03503
Mortensen, Chris
3
2005
...and 252 more Documents
all top 5

Cited by 854 Authors

14 Robles, Gemma
13 Batens, Diderik
10 Béziau, Jean-Yves
10 Leszczyńska-Jasion, Dorota
9 Brady, Ross Thomas
9 Humberstone, Lloyd
9 Petrukhin, Yaroslav Igorevich
9 Priest, Graham
9 Wiśniewski, Andrzej
8 Avron, Arnon
8 Meyer, Robert Kenneth
8 Verdée, Peter
8 Wansing, Heinrich Theodor
7 Fan, Jie
7 Strasser, Christian
6 Akama, Seiki
6 Beirlaen, Mathieu
6 Carnielli, Walter Alexandre
6 Goranko, Valentin F.
6 Odintsov, Sergei P.
6 Poggiolesi, Francesca
6 Sylvan, Richard
6 Shangin, Vasily
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 Omori, Hitoshi
5 Pliuškevičius, Regimantas
5 Ripley, David
5 Urquhart, Alasdair
5 van Benthem, Johan F. A. K.
5 Van De Putte, Frederik
4 Allo, Patrick
4 Bueno, Otávio
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 Konikowska, Beata
4 Liu, Jun
4 Muskens, Reinhard A.
4 Pelletier, Francis Jeffry
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 Arieli, Ofer
3 Bacon, Andrew
3 Baltag, Alexandru
3 Barrio, Eduardo Alejandro
3 Caleiro, Carlos
3 Cho, Wonki Jo
3 Demri, Stéphane P.
3 Duzi, Marie
3 Fariñas del Cerro, Luis
3 Field, Hartry H.
3 Floridi, Luciano
3 Forti, Marco
3 Goble, Lou
3 Herzig, Andreas
3 Jespersen, Bjørn
3 Ju, Biung-Ghi
3 Kamide, Norihiro
3 Kocurek, Alexander W.
3 Laruelle, Annick
3 Łupkowski, Paweł
3 Montanari, Angelo
3 Mruczek-Nasieniewska, Krystyna
3 Mustafin, Tolende G.
3 Nasieniewski, Marek
3 Parent, Xavier
3 Pavičić, Mladen
3 Picollo, Lavinia María
3 Primiero, Giuseppe
3 Read, Stephen
3 Reynolds, Mark Alexander
3 Rossi, Lorenzo Paolo
3 Rotolo, Antonino
3 Salto, Francisco
3 Shelah, Saharon
3 Shramko, Yaroslav V.
3 Smets, Sonja J. L.
3 Stević, Stevo
...and 754 more Authors
all top 5

Cited in 106 Journals

113 Journal of Philosophical Logic
103 Studia Logica
72 Synthese
39 Notre Dame Journal of Formal Logic
35 Logica Universalis
28 Journal of Applied Logic
25 Journal of Applied Non-Classical Logics
19 Theoretical Computer Science
18 Logic and Logical Philosophy
18 The Review of Symbolic Logic
17 Journal of Logic, Language and Information
13 Annals of Pure and Applied Logic
12 Information Sciences
11 Artificial Intelligence
10 Foundations of Science
9 Mathematical Social Sciences
9 History and Philosophy of Logic
9 Journal of Automated Reasoning
9 International Journal of Approximate Reasoning
9 Mathematical Logic Quarterly (MLQ)
9 Erkenntnis
8 International Journal of Theoretical Physics
8 Israel Journal of Mathematics
8 Social Choice and Welfare
7 Theory and Decision
7 The Bulletin of Symbolic Logic
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
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 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
2 Journal of Logical and Algebraic Methods in Programming
1 Acta Informatica
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 Classification
1 Journal of Symbolic Computation
1 Information and Computation
1 Mathematical and Computer Modelling
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 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 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
1 Missouri Journal of Mathematical Sciences
1 ACM Transactions on Computational Logic
1 Journal of Shanghai Jiaotong University (Science)
1 International Journal of Intelligent Computing and Cybernetics
1 Advances in Mathematical Physics
...and 6 more Journals
all top 5

Cited in 44 Fields

754 Mathematical logic and foundations (03-XX)
123 Computer science (68-XX)
48 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
40 History and biography (01-XX)
37 General and overarching topics; collections (00-XX)
21 Order, lattices, ordered algebraic structures (06-XX)
19 Quantum theory (81-XX)
11 Probability theory and stochastic processes (60-XX)
10 Group theory and generalizations (20-XX)
6 General algebraic systems (08-XX)
5 Combinatorics (05-XX)
5 Number theory (11-XX)
5 Associative rings and algebras (16-XX)
5 Statistics (62-XX)
5 Information and communication theory, circuits (94-XX)
4 Category theory; homological algebra (18-XX)
4 Functional analysis (46-XX)
4 Operator theory (47-XX)
4 General topology (54-XX)
3 Commutative algebra (13-XX)
3 Relativity and gravitational theory (83-XX)
3 Mathematics education (97-XX)
2 Field theory and polynomials (12-XX)
2 Dynamical systems and ergodic theory (37-XX)
2 Geometry (51-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 Algebraic topology (55-XX)
1 Manifolds and cell complexes (57-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