# zbMATH — the first resource for mathematics

## Journal of Philosophical Logic

 Short Title: J. Philos. Log. Publisher: Springer Netherlands, Dordrecht ISSN: 0022-3611; 1573-0433/e Online: http://link.springer.com/journal/volumesAndIssues/10992 Comments: Indexed cover-to-cover
 Documents Indexed: 1,316 Publications (since 1972) References Indexed: 1,008 Publications with 24,297 References.
all top 5

#### Latest Issues

 50, No. 3 (2021) 50, No. 2 (2021) 50, No. 1 (2021) 49, No. 6 (2020) 49, No. 5 (2020) 49, No. 4 (2020) 49, No. 3 (2020) 49, No. 2 (2020) 49, No. 1 (2020) 48, No. 6 (2019) 48, No. 5 (2019) 48, No. 4 (2019) 48, No. 3 (2019) 48, No. 2 (2019) 48, No. 1 (2019) 47, No. 6 (2018) 47, No. 5 (2018) 47, No. 4 (2018) 47, No. 3 (2018) 47, No. 2 (2018) 47, No. 1 (2018) 46, No. 6 (2017) 46, No. 5 (2017) 46, No. 4 (2017) 46, No. 3 (2017) 46, No. 2 (2017) 46, No. 1 (2017) 45, No. 6 (2016) 45, No. 5 (2016) 45, No. 4 (2016) 45, No. 3 (2016) 45, No. 2 (2016) 45, No. 1 (2016) 44, No. 6 (2015) 44, No. 5 (2015) 44, No. 4 (2015) 44, No. 3 (2015) 44, No. 2 (2015) 44, No. 1 (2015) 43, No. 6 (2014) 43, No. 5 (2014) 43, No. 4 (2014) 43, No. 2-3 (2014) 43, No. 1 (2014) 42, No. 6 (2013) 42, No. 5 (2013) 42, No. 4 (2013) 42, No. 3 (2013) 42, No. 2 (2013) 42, No. 1 (2013) 41, No. 6 (2012) 41, No. 5 (2012) 41, No. 4 (2012) 41, No. 3 (2012) 41, No. 2 (2012) 41, No. 1 (2012) 40, No. 6 (2011) 40, No. 5 (2011) 40, No. 4 (2011) 40, No. 3 (2011) 40, No. 2 (2011) 40, No. 1 (2011) 39, No. 6 (2010) 39, No. 5 (2010) 39, No. 4 (2010) 39, No. 3 (2010) 39, No. 2 (2010) 39, No. 1 (2010) 38, No. 6 (2009) 38, No. 5 (2009) 38, No. 4 (2009) 38, No. 3 (2009) 38, No. 2 (2009) 38, No. 1 (2009) 37, No. 6 (2008) 37, No. 5 (2008) 37, No. 4 (2008) 37, No. 3 (2008) 37, No. 2 (2008) 37, No. 1 (2008) 36, No. 6 (2007) 36, No. 5 (2007) 36, No. 4 (2007) 36, No. 3 (2007) 36, No. 2 (2007) 36, No. 1 (2007) 35, No. 6 (2006) 35, No. 5 (2006) 35, No. 4 (2006) 35, No. 3 (2006) 35, No. 2 (2006) 35, No. 1 (2006) 34, No. 5-6 (2005) 34, No. 4 (2005) 34, No. 3 (2005) 34, No. 2 (2005) 34, No. 1 (2005) 33, No. 6 (2004) 33, No. 5 (2004) 33, No. 4 (2004) ...and 103 more Volumes
all top 5

#### Authors

 15 Fine, Kit 14 Priest, Graham 12 van Benthem, Johan F. A. K. 11 Hansson, Sven Ove 11 Meyer, Robert Kenneth 10 Humberstone, Lloyd 10 Wansing, Heinrich Theodor 9 Brady, Ross Thomas 9 Kremer, Philip 8 Égré, Paul 8 Leitgeb, Hannes 8 Restall, Greg 8 van Fraassen, Bas C. 7 Cresswell, Maxwell John 7 Dunn, Jon Michael 7 Makinson, David Clement 7 Mares, Edwin D. 7 Paris, Jeffrey Bruce 7 Urquhart, Alasdair 7 Xu, Ming 6 Belnap, Nuel D. jun. 6 Garson, James W. 6 Hazen, Allen P. 6 Horsten, Leon 6 McCarthy, Timothy G. 6 Sylvan, Richard 5 Adams, Ernest Wilcox 5 Åqvist, Lennart 5 Bacon, Andrew 5 Boolos, George S. 5 Fitelson, Branden 5 Fritz, Peter K. 5 Gabbay, Dov M. 5 Gupta, Anil Kumar 5 Hellman, Geoffrey 5 Hodes, Harold T. 5 Meyer, Thomas Andreas 5 Osherson, Daniel N. 5 Ripley, David 5 Röper, Peter 5 Sandu, Gabriel 5 Segerberg, Krister 5 Slaney, John K. 5 Tennant, Neil W. 5 Weinstein, Scott 5 Zalta, Edward N. 4 Bencivenga, Ermanno 4 Bimbó, Katalin 4 Byrd, Michael E. 4 Chihara, Charles S. 4 Correia, Fabrice 4 Francez, Nissim 4 Glymour, Clark 4 Goble, Lou 4 Hawthorne, James 4 Hintikka, Jaakko 4 Kelly, Kevin T. 4 Leblanc, Hugues 4 Lewis, David Kellogg 4 McGee, Vann 4 Morgan, Charles Grady 4 Müller, Thomas 4 Predelli, Stefano 4 Rossi, Lorenzo Paolo 4 Rott, Hans 4 Thomason, Richmond H. 4 Thomason, Steven K. 4 van Rooy, Robert 4 Williamson, Timothy 4 Wintein, Stefan 4 Zanardo, Alberto 3 Aitken, Wayne 3 Antonelli, Gian Aldo 3 Bacon, John B. 3 Barrett, Jeffrey A. 3 Beall, Jc 3 Bendall, Kent 3 Berto, Francesco 3 Blackburn, Patrick 3 Booth, Richard F. 3 Brown, Bryson 3 Chellas, Brian F. 3 Chopra, Samir 3 Ciardelli, Ivano A. 3 Cieśliński, Cezary 3 Cobreros, Pablo 3 Cocchiarella, Nino B. 3 Cross, Charles B. 3 Dalla Chiara, Maria Luisa 3 Daniels, Charles B. 3 Došen, Kosta 3 Ellis, Brian 3 Fermé, Eduardo Leopoldo 3 Ferreira, Fernando 3 Field, Hartry H. 3 Fitting, Melvin Chris 3 Fuhrmann, Andre T. 3 Goldblatt, Robert Ian 3 Goodman, Jeremy 3 Halbach, Volker ...and 881 more Authors
all top 5

#### Fields

 1,287 Mathematical logic and foundations (03-XX) 69 Computer science (68-XX) 40 Probability theory and stochastic processes (60-XX) 37 Quantum theory (81-XX) 33 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 26 General and overarching topics; collections (00-XX) 20 History and biography (01-XX) 19 Order, lattices, ordered algebraic structures (06-XX) 10 Category theory; homological algebra (18-XX) 9 Statistics (62-XX) 7 General topology (54-XX) 5 Functional analysis (46-XX) 5 Operator theory (47-XX) 5 Geometry (51-XX) 4 Mechanics of particles and systems (70-XX) 3 Measure and integration (28-XX) 2 Combinatorics (05-XX) 2 Real functions (26-XX) 2 Relativity and gravitational theory (83-XX) 1 General algebraic systems (08-XX) 1 Associative rings and algebras (16-XX) 1 Nonassociative rings and algebras (17-XX) 1 Group theory and generalizations (20-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX)

#### Citations contained in zbMATH Open

953 Publications have been cited 6,510 times in 3,813 Documents Cited by Year
The logic of paradox. Zbl 0402.03012
Priest, Graham
1979
Two modellings for theory change. Zbl 0639.03025
1988
Modal languages and bounded fragments of predicate logic. Zbl 0919.03013
Andréka, Hajnal; Németi, István; van Benthem, Johan
1998
Counterfactuals and comparative possibility. Zbl 0272.02048
Lewis, David
1973
Proof analysis in modal logic. Zbl 1086.03045
Negri, Sara
2005
Semantic analysis of orthologic. Zbl 0278.02023
Goldblatt, R. I.
1974
Gupta, Anil
1982
Hedges: A study in meaning criteria and the logic of fuzzy concepts. Zbl 0272.02047
Lakoff, George
1973
Defaults in update semantics. Zbl 0860.03025
Veltman, Frank
1996
The semantics of entailment. III. Zbl 0317.02019
Routley, Richard; Meyer, Robert K.
1972
Display logic. Zbl 0509.03008
Belnap, Nuel D. jun.
1982
Notes on naive semantics. Zbl 0513.03003
Herzberger, Hans G.
1982
Merging frameworks for interaction. Zbl 1185.03019
van Benthem, Johan; Gerbrandy, Jelle; Hoshi, Tomohiro; Pacuit, Eric
2009
Modal logic with names. Zbl 0793.03012
Gargov, George; Goranko, Valentin
1993
Basic conditional logic. Zbl 0317.02029
Chellas, Brian F.
1975
Two-dimensional modal logic. Zbl 0259.02013
Segerberg, Krister
1973
Tolerant, classical, strict. Zbl 1243.03038
Cobreros, Pablo; Egré, Paul; Ripley, David; van Rooij, Robert
2012
The semantics of entailment. II. Zbl 0317.02018
Routley, Richard; Meyer, Robert K.
1972
Some useful 16-valued logics: How a computer network should think. Zbl 1094.03012
Shramko, Yaroslav; Wansing, Heinrich
2005
On the status of the postulate of recovery in the logic of theory change. Zbl 0632.03008
Makinson, David
1987
Theory contraction through base contraction. Zbl 0723.03010
Fuhrmann, André
1991
Logical constraints on judgement aggregation. Zbl 1108.03009
Pauly, Marc; van Hees, Martin
2006
Impossible possible worlds vindicated. Zbl 0334.02003
Hintikka, Jaakko
1975
The deliberative stit: A study of action, omission, ability, and obligation. Zbl 0846.03001
Horty, John F.; Belnap, Nuel
1995
Inquisitive logic. Zbl 1214.03019
Ciardelli, Ivano; Roelofsen, Floris
2011
Iterated revision and minimal change of conditional beliefs. Zbl 0858.03030
Boutilier, Craig
1996
Input/output logics. Zbl 0964.03002
Makinson, David; van der Torre, Leendert
2000
Everything else being equal: a modal logic for ceteris paribus preferences. Zbl 1171.03009
van Benthem, Johan; Girard, Patrick; Roy, Olivier
2009
Measuring inconsistency. Zbl 1003.03022
Knight, Kevin
2002
Models for entailment. Zbl 0296.02013
Fine, Kit
1974
What truth depends on. Zbl 1097.03005
Leitgeb, Hannes
2005
What is a syllogism? Zbl 0259.02005
Smiley, T. J.
1973
Modal tableau calculi and interpolation. Zbl 0547.03015
Rautenberg, Wolfgang
1983
Ordering semantics and premise semantics for counterfactuals. Zbl 0473.03015
Lewis, David
1981
Reversing the Levi identity. Zbl 0788.03033
Hansson, Sven Ove
1993
The modal logic of provability. The sequential approach. Zbl 0523.03014
Sambin, Giovanni; Valentini, Silvio
1982
How truthlike can a predicate be? A negative result. Zbl 0583.03002
McGee, Vann
1985
Language in action. Zbl 0743.03018
van Benthem, Johan
1991
Moral dilemmas and nonmonotonic logic. Zbl 0796.03035
Horty, John F.
1994
Four valued semantics and the Liar. Zbl 0546.03007
Visser, Albert
1984
Region-based topology. Zbl 0873.54001
Roeper, Peter
1997
Nothing but the truth. Zbl 1269.03027
Pietz, Andreas; Rivieccio, Umberto
2013
General-elimination harmony and the meaning of the logical constants. Zbl 1207.03015
2010
Constraints for input/output logics. Zbl 0993.03039
Makinson, David; van der Torre, Leendert
2001
Stochastic independence, causal independence, and shieldability. Zbl 0436.60004
Spohn, Wolfgang
1980
Truth-maker semantics for intuitionistic logic. Zbl 1335.03011
Fine, Kit
2014
What is classical mereology? Zbl 1171.03002
Hovda, Paul
2009
The logic of conditional obligation. Comments by Harry Beatty. Zbl 0246.02015
van Fraassen, Bas C.
1972
Bilattices and the theory of truth. Zbl 0678.03028
Fitting, Melvin
1989
Parsons, Charles
1974
Fine-grained opinion, probability, and the logic of full belief. Zbl 0825.03015
van Fraassen, Bas C.
1995
On the logic of demonstratives. Zbl 0415.03004
Kaplan, David
1979
Logic based merging. Zbl 1233.03024
Konieczny, Sébastien; Pino Pérez, Ramón
2011
Two methods of constructing contractions and revisions of knowledge systems. Zbl 0723.03009
Rott, Hans
1991
On extensions of intermediate logics by strong negation. Zbl 0929.03035
Kracht, Marcus
1998
On logics with coimplication. Zbl 0976.03020
Wolter, Frank
1998
A revenge-immune solution to the semantic paradoxes. Zbl 1026.03009
Field, Hartry
2003
Severe withdrawal (and recovery). Zbl 0934.03024
Rott, Hans; Pagnucco, Maurice
1999
Some remarks on extending and interpreting theories with a partial predicate for truth. Zbl 0629.03002
Reinhardt, William N.
1986
On the logic of ability. Zbl 0653.03003
Brown, Mark A.
1988
Grounding, dependence, and paradox. Zbl 0519.03019
Yablo, Steve
1982
Alternative axiomatics and complexity of deliberative STIT theories. Zbl 1151.03008
Balbiani, Philippe; Herzig, Andreas; Troquard, Nicolas
2008
On the logic of nonmonotonic conditionals and conditional probabilities. Zbl 0854.03019
Hawthorne, James
1996
A note on harmony. Zbl 1247.03005
Francez, Nissim; Dyckhoff, Roy
2012
Angellic content. Zbl 1392.03030
Fine, Kit
2016
AGM 25 years. Twenty-five years of research in belief change. Zbl 1227.03002
Fermé, Eduardo; Hansson, Sven Ove
2011
Chunk and permeate, a paraconsistent inference strategy. I: The infinitesimal calculus. Zbl 1067.03032
Brown, Bryson; Priest, Graham
2004
Permission from an input/output perspective. Zbl 1028.03017
Makinson, David; van der Torre, Leendert
2003
Efficient reasoning about rich temporal domains. Zbl 0662.03014
Shoham, Yoav
1988
Relevant restricted quantification. Zbl 1111.03020
Beall, Jc; Brady, Ross T.; Hazen, A. P.; Priest, Graham; Restall, Greg
2006
A finite axiomatization of the set of strongly valid Ockhamist formulas. Zbl 0579.03015
Zanardo, Alberto
1985
Axioms for actuality. Zbl 0538.03015
Hodes, Harold T.
1984
Conditional probability and defeasible inference. Zbl 1082.03023
Arló Costa, Horacio; Parikh, Rohit
2005
From worlds to possibilities. Zbl 0481.03011
Humberstone, I. L.
1981
Harmony and autonomy in classical logic. Zbl 0947.03008
2000
Bi-Heyting algebras, toposes and modalities. Zbl 0851.03022
Reyes, Gonzalo E.; Zolfaghari, Houman
1996
Truth and reflection. Zbl 0588.03002
Yablo, Stephen
1985
On branching quantifiers in English. Zbl 0399.03008
Barwise, Jon
1979
Constructions, proofs and the meaning of logical constants. Zbl 0539.03038
Sundholm, Göran
1983
Expressive completeness in modal language. Zbl 0347.02011
Hazen, Allen
1976
Simplified semantics for basic relevant logics. Zbl 0782.03008
Priest, Graham; Sylvan, Richard
1992
A complete axiom system for polygonal mereotopology of the real plane. Zbl 0921.03009
Pratt, Ian; Schoop, Dominik
1998
On the consistency of the $$\Delta_1^1$$-CA fragment of Frege’s Grundgesetze. Zbl 1012.03059
Ferreira, Fernando; Wehmeier, Kai F.
2002
Interval semantics for tense logic: Some remarks. Zbl 0409.03012
Humberstone, L. L.
1979
The modal logic of provability: cut-elimination. Zbl 0535.03031
Valentini, Silvio
1983
Representational of conditional probabilities. Zbl 0341.60029
van Fraassen, Bas C.
1976
On the logic of high probability. Zbl 0604.03006
1986
Logical consequence and the paradoxes. Zbl 1302.03021
Mares, Edwin; Paoli, Francesco
2014
On the logic of informational independence and its applications. Zbl 0764.03009
Sandu, Gabriel
1993
Socratic proofs. Zbl 1048.03009
Wiśniewski, Andrzej
2004
Modal logic with subjunctive conditionals and dispositional predicates. Zbl 0259.02015
Åqvist, Lennart
1973
Axioms for deliberative stit. Zbl 0917.03007
Xu, Ming
1998
Paraconsistent logics? Zbl 0830.03002
Slater, B. H.
1995
The Gentzenization and decidability of RW. Zbl 0697.03006
1990
Woodruff, Peter W.
1984
Intensional logics without iterative axioms. Zbl 0296.02014
Lewis, David
1974
Qualitative probability as an intensional logic. Zbl 0317.02030
Gärdenfors, Peter
1975
Natural deduction and arbitrary objects. Zbl 0571.03004
Fine, Kit
1985
Naive modus ponens. Zbl 1315.03012
Zardini, Elia
2013
Contradictory information: too much of a good thing. Zbl 1207.03032
Dunn, J. Michael
2010
Routley star and hyperintensionality. Zbl 07345775
Odintsov, Sergei; Wansing, Heinrich
2021
On negation for non-classical set theories. Zbl 07365451
Jockwich Martinez, S.; Venturi, G.
2021
A hierarchy of classical and paraconsistent logics. Zbl 07173013
Barrio, Eduardo Alejandro; Pailos, Federico; Szmuc, Damian
2020
Classical logic and the strict tolerant hierarchy. Zbl 07188094
Scambler, Chris
2020
Forcing and the universe of sets: must we lose insight? Zbl 07239430
Barton, Neil
2020
Truthmaker semantics for relevant logic. Zbl 07239432
Jago, Mark
2020
Intuitionism and the modal logic of vagueness. Zbl 07188090
Bobzien, Susanne; Rumfitt, Ian
2020
Free choice impossibility results. Zbl 07188091
Goldstein, Simon
2020
Indicative conditionals and graded information. Zbl 07218662
Ciardelli, Ivano
2020
The Fmla-Fmla axiomatizations of the exactly true and non-falsity logics and some of their cousins. Zbl 1457.03051
Shramko, Yaroslav; Zaitsev, Dmitry; Belikov, Alexander
2019
HYPE: a system of hyperintensional logic (with an application to semantic paradoxes). Zbl 1457.03057
Leitgeb, Hannes
2019
Negation on the Australian plan. Zbl 1457.03007
Berto, Francesco; Restall, Greg
2019
A dynamic solution to the problem of logical omniscience. Zbl 1457.03008
Bjerring, Jens Christian; Skipper, Mattias
2019
A new game equivalence, its logic and algebra. Zbl 1457.03046
van Benthem, Johan; Bezhanishvili, Nick; Enqvist, Sebastian
2019
Revision without revision sequences: circular definitions. Zbl 1457.03019
Rivello, Edoardo
2019
Instability and contraction. Méditations hégéliennes. I. Zbl 1459.03006
Zardini, Elia
2019
A topological approach to full belief. Zbl 1457.03030
Baltag, Alexandru; Bezhanishvili, Nick; Özgün, Aybüke; Smets, Sonja
2019
Bimodal logics with contingency and accident. Zbl 07066828
Fan, Jie
2019
The modal logic of Bayesian belief revision. Zbl 1457.03039
Brown, William; Gyenis, Zalán; Rédei, Miklós
2019
A calculus of regions respecting both measure and topology. Zbl 1457.28001
Lando, Tamar; Scott, Dana
2019
Symmetric contingency logic with unlimitedly many modalities. Zbl 1457.03040
Fan, Jie
2019
Simplified tableaux for STIT imagination logic. Zbl 1457.03034
Olkhovikov, Grigory K.; Wansing, Heinrich
2019
Basic intuitionistic conditional logic. Zbl 1457.03047
Weiss, Yale
2019
Ungroundedness in Tarskian languages. Zbl 1457.03016
Kripke, Saul A.
2019
On generalization of definitional equivalence to non-disjoint languages. Zbl 1457.03024
Lefever, Koen; Székely, Gergely
2019
Order-dual relational semantics for non-distributive propositional logics: a general framework. Zbl 1436.03168
Hartonas, Chrysafis
2018
There is more to negation than modality. Zbl 1436.03032
De, Michael; Omori, Hitoshi
2018
Combinatorial bitstring semantics for arbitrary logical fragments. Zbl 1436.03110
Demey, Lorenz; Smessaert, Hans
2018
Principles for object-linguistic consequence: from logical to irreflexive. Zbl 1436.03059
Nicolai, Carlo; Rossi, Lorenzo
2018
Contraction, infinitary quantifiers, and omega paradoxes. Zbl 1436.03143
Da Ré, Bruno; Rosenblatt, Lucas
2018
Williamson on counterpossibles. Zbl 1436.03021
Berto, Francesco; French, Rohan; Priest, Graham; Ripley, David
2018
Higher-order contingentism. II: Patterns of indistinguishability. Zbl 1436.03130
Fritz, Peter
2018
Probabilistic opinion pooling with imprecise probabilities. Zbl 1436.62026
Stewart, Rush T.; Quintana, Ignacio Ojea
2018
Axiomatic theories of partial ground. I: The base theory. Zbl 1436.03047
Korbmacher, Johannes
2018
On the costs of nonclassical logic. Zbl 1436.03167
Halbach, Volker; Nicolai, Carlo
2018
An axiomatic system and a tableau calculus for STIT imagination logic. Zbl 1436.03114
Olkhovikov, Grigory K.; Wansing, Heinrich
2018
Bacon, Andrew
2018
Relational semantics and domain semantics for epistemic modals. Zbl 1436.03173
Ninan, Dilip
2018
A rational way of playing: revision theory for strategic interaction. Zbl 1436.91005
Bruni, Riccardo; Sillari, Giacomo
2018
Obligation as optimal goal satisfaction. Zbl 1436.03135
Kowalski, Robert; Satoh, Ken
2018
Emptying a paradox of ground. Zbl 1436.03079
Woods, Jack
2018
Let Us investigate! Dynamic conjecture-making as the formal logic of abduction. Zbl 1457.03033
Ma, Minghui; Pietarinen, Ahti-Veikko
2018
Modus ponens under the restrictor view. Zbl 1459.03005
Schulz, Moritz
2018
Stabilizing quantum disjunction. Zbl 1457.03069
Tranchini, Luca
2018
Approximating Cartesian closed categories in NF-style set theories. Zbl 1436.03269
Thomas, Morgan
2018
Axiomatic theories of partial ground. II: Partial ground and hierarchies of typed truth. Zbl 1436.03048
Korbmacher, Johannes
2018
Proof theory of paraconsistent quantum logic. Zbl 1437.03178
Kamide, Norihiro
2018
Conditionals in theories of truth. Zbl 1417.03067
Gupta, Anil; Standefer, Shawn
2017
Inter-definability of Horn contraction and Horn revision. Zbl 1417.03145
Zhuang, Zhiqiang; Pagnucco, Maurice; Zhang, Yan
2017
A theory of truthmaker content. I: Conjunction, disjunction and negation. Zbl 1417.03061
Fine, Kit
2017
A theory of truthmaker content. II: Subject-matter, common content, remainder and ground. Zbl 1417.03062
Fine, Kit
2017
Message exchange games in strategic contexts. Zbl 1417.03205
Asher, Nicholas; Paul, Soumya; Venant, Antoine
2017
Cut-elimination for quantified conditional logic. Zbl 1417.03282
Benzmüller, Christoph
2017
An impure logic of representational grounding. Zbl 1417.03050
Correia, Fabrice
2017
Completeness and decidability of general first-order logic (with a detour through the guarded fragment). Zbl 1417.03119
Antonelli, Aldo
2017
Relative necessity reformulated. Zbl 1417.03151
Hale, Bob; Leech, Jessica
2017
Hierarchical propositions. Zbl 1417.03107
Whittle, Bruno
2017
The irreducibility of iterated to single revision. Zbl 1417.03135
Booth, Richard; Chandler, Jake
2017
Bridging ranking theory and the stability theory of belief. Zbl 1417.03142
Raidl, Eric; Skovgaard-Olsen, Niels
2017
Angellic content. Zbl 1392.03030
Fine, Kit
2016
Glymour and Quine on theoretical equivalence. Zbl 1392.03024
Barrett, Thomas William; Halvorson, Hans
2016
Higher-order contingentism. I: Closure and generation. Zbl 1417.03150
Fritz, Peter; Goodman, Jeremy
2016
Consequence relations and admissible rules. Zbl 1392.03021
Iemhoff, Rosalie
2016
The application of constraint semantics to the language of subjective uncertainty. Zbl 1392.03043
Swanson, Eric
2016
A Gentzen calculus for nothing but the truth. Zbl 1392.03032
Wintein, Stefan; Muskens, Reinhard
2016
Pure logic of many-many ground. Zbl 1392.03013
Litland, Jon Erling
2016
Iterated descriptor revision and the logic of Ramsey test conditionals. Zbl 1392.03025
Hansson, Sven Ove
2016
Some comments on Ian Rumfitt’s bilateralism. Zbl 1417.03080
Kürbis, Nils
2016
Naive modus ponens and failure of transitivity. Zbl 1336.03010
2016
An interpretation of Łukasiewicz’s 4-valued modal logic. Zbl 1347.03047
Méndez, José M.; Robles, Gemma; Salto, Francisco
2016
A note on typed truth and consistency assertions. Zbl 1436.03304
Nicolai, Carlo
2016
Paths to triviality. Zbl 1392.03038
Øgaard, Tore Fjetland
2016
Predicativity, the Russell-Myhill paradox, and Church’s intensional logic. Zbl 1392.03041
Walsh, Sean
2016
Well founding grounding grounding. Zbl 1392.03015
Rabin, Gabriel Oak; Rabern, Brian
2016
A generalization of inquisitive semantics. Zbl 1415.03036
Punčochář, Vít
2016
Adding a conditional to Kripke’s theory of truth. Zbl 1392.03016
Rossi, Lorenzo
2016
Cut elimination for GLS using the terminability of its regress process. Zbl 1392.03057
Brighton, Jude
2016
The problem of cross-world predication. Zbl 1417.03155
Kocurek, Alexander W.
2016
Term models for abstraction principles. Zbl 1336.03011
Horsten, Leon; Linnebo, Øystein
2016
The mereological foundation of megethology. Zbl 1392.03010
Carrara, Massimiliano; Martino, Enrico
2016
Liar-type paradoxes and the incompleteness phenomena. Zbl 1350.03019
Kikuchi, Makoto; Kurahashi, Taishi
2016
Logics of nonsense and Parry systems. Zbl 1318.03036
Ferguson, Thomas Macaulay
2015
The logics of strict-tolerant logic. Zbl 1350.03007
Barrio, Eduardo; Rosenblatt, Lucas; Tajer, Diego
2015
Pragmatic interpretations of vague expressions: strongest meaning and nonmonotonic consequence. Zbl 1329.03012
Cobreros, Pablo; Egré, Paul; Ripley, Dave; van Rooij, Robert
2015
On rules. Zbl 1336.03037
Iemhoff, Rosalie
2015
You’ve come a long way, Bayesians. Zbl 1426.03020
Weisberg, Jonathan
2015
The complexity of the dependence operator. Zbl 1326.03013
Welch, P. D.
2015
Epistemic closure and epistemic logic. I: Relevant alternatives and subjunctivism. Zbl 1318.03028
Holliday, Wesley H.
2015
Failure of completeness in proof-theoretic semantics. Zbl 1326.03068
Piecha, Thomas; de Campos Sanz, Wagner; Schroeder-Heister, Peter
2015
What should I believe about what would have been the case? Zbl 1318.03012
Huber, Franz
2015
The justification of the basic laws of logic. Zbl 1355.03005
Russell, Gillian
2015
A disquotational theory of truth as strong as $$Z_2^-$$. Zbl 1329.03025
Schindler, Thomas
2015
A generalization of the Routley-Meyer semantic framework. Zbl 1329.03044
Thomas, Morgan
2015
Proof-theoretic semantics, a problem with negation and prospects for modality. Zbl 1426.03009
Kürbis, Nils
2015
The logical structure of truthmaking. Zbl 1329.03010
Angere, Staffan
2015
External curries. Zbl 1329.03089
Wansing, Heinrich; Priest, Graham
2015
Analytic tableaux for all of $$\mathrm{SIXTEEN}_3$$. Zbl 1345.03050
Muskens, Reinhard; Wintein, Stefan
2015
Incomplete symbols – definite descriptions revisited. Zbl 1336.03064
Gratzl, Norbert
2015
Formal epistemology. Zbl 1334.03008
Easwaran, Kenny
2015
One hundred years of semantic paradox. Zbl 1334.03005
Horsten, Leon
2015
...and 853 more Documents
all top 5

#### Cited by 2,626 Authors

 39 Wansing, Heinrich Theodor 38 van Benthem, Johan F. A. K. 29 Hansson, Sven Ove 23 Kamide, Norihiro 22 Paris, Jeffrey Bruce 22 Priest, Graham 21 Humberstone, Lloyd 19 Égré, Paul 19 Gabbay, Dov M. 19 Leitgeb, Hannes 19 Mares, Edwin D. 18 Brady, Ross Thomas 17 Lorini, Emiliano 17 Restall, Greg 17 Ripley, David 17 Smets, Sonja J. L. 17 van Ditmarsch, Hans Pieter 16 Baltag, Alexandru 16 Robles, Gemma 15 Fine, Kit 15 Pacuit, Eric 15 Shramko, Yaroslav V. 14 Avron, Arnon 14 Dietrich, Franz K. 14 Dubois, Didier 14 Dunn, Jon Michael 14 Francez, Nissim 14 Petrukhin, Yaroslav Igorevich 14 Rott, Hans 14 Schurz, Gerhard 13 ten Cate, Balder David 13 Vencovská, Alena 12 Bimbó, Katalin 12 Booth, Richard F. 12 Holliday, Wesley H. 12 Horsten, Leon 12 Negri, Sara 12 Segerberg, Krister 12 Vakarelov, Dimiter 12 van der Torre, Leendert W. N. 12 Wiśniewski, Andrzej 11 Arieli, Ofer 11 Blackburn, Patrick 11 Delgrande, James P. 11 Fermé, Eduardo Leopoldo 11 Halbach, Volker 11 Halpern, Joseph Yehuda 11 Meyer, Robert Kenneth 11 Tennant, Neil W. 11 Visser, Albert 11 Wang, Yanjing 10 Beall, Jc 10 Carrara, Massimiliano 10 Douven, Igor 10 Jago, Mark 10 Kurahashi, Taishi 10 List, Christian 10 Meyer, Thomas Andreas 10 Odintsov, Sergei P. 10 Reis, Maurício D. L. 10 Shapiro, Stewart 10 van Rooy, Robert 10 Weber, Zach 10 Xu, Ming 10 Zalta, Edward N. 9 Antonelli, Gian Aldo 9 Belnap, Nuel D. jun. 9 Bezhanishvili, Nick 9 Bonanno, Giacomo 9 Ciardelli, Ivano A. 9 Cresswell, Maxwell John 9 Falappa, Marcelo Alejandro 9 Ferguson, Thomas Macaulay 9 Fuhrmann, Andre T. 9 Goranko, Valentin F. 9 Goré, Rajeev Prabhakar 9 Grant, John R. 9 Kern-Isberner, Gabriele 9 Leszczyńska-Jasion, Dorota 9 Marx, Maarten 9 Müller, Thomas 9 Németi, István 9 Peppas, Pavlos 9 Prade, Henri M. 9 Sano, Katsuhiko 9 Walsh, Sean 8 Andréka, Hajnal 8 Bacon, Andrew 8 Broersen, Jan M. 8 Dalla Chiara, Maria Luisa 8 Dyckhoff, Roy 8 Ferreira, Fernando 8 French, Rohan 8 Fritz, Peter K. 8 Giuntini, Roberto 8 Godo, Lluís 8 Hazen, Allen P. 8 Herzig, Andreas 8 Hodkinson, Ian Martin 8 Konieczny, Sébastien ...and 2,526 more Authors
all top 5

#### Cited in 181 Journals

 607 Journal of Philosophical Logic 371 Studia Logica 361 Synthese 192 The Review of Symbolic Logic 139 Notre Dame Journal of Formal Logic 128 Artificial Intelligence 126 Journal of Logic, Language and Information 112 Journal of Applied Non-Classical Logics 109 The Journal of Symbolic Logic 86 Erkenntnis 80 Annals of Pure and Applied Logic 78 Journal of Applied Logic 69 History and Philosophy of Logic 65 International Journal of Approximate Reasoning 61 Logica Universalis 44 Annals of Mathematics and Artificial Intelligence 44 Logic and Logical Philosophy 43 Theoretical Computer Science 40 Fuzzy Sets and Systems 38 International Journal of Theoretical Physics 38 The Bulletin of Symbolic Logic 31 Nôus 30 Topoi 21 Archive for Mathematical Logic 21 Mathematical Logic Quarterly (MLQ) 21 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 19 Theory and Decision 18 Information Sciences 17 Social Choice and Welfare 15 Journal of Economic Theory 14 Foundations of Physics 13 Algebra Universalis 13 Mathematical Social Sciences 12 Journal of Mathematical Psychology 11 Bulletin of the Section of Logic 11 Information and Computation 11 Soft Computing 10 Journal of Automated Reasoning 10 Foundations of Science 9 International Journal of General Systems 9 ACM Transactions on Computational Logic 8 Games and Economic Behavior 8 Journal of Logical and Algebraic Methods in Programming 7 Journal of Computer and System Sciences 7 Linguistics and Philosophy 7 Formal Aspects of Computing 7 MSCS. Mathematical Structures in Computer Science 7 Indagationes Mathematicae. New Series 7 Logical Methods in Computer Science 6 Information Processing Letters 6 Journal of Mathematical Physics 6 Algebra and Logic 6 Siberian Mathematical Journal 6 International Journal of Intelligent Systems 6 Historia Mathematica 6 European Journal for Philosophy of Science 5 Computers & Mathematics with Applications 5 Journal of Computational Physics 5 Mathematical Notes 5 Order 5 Theory and Practice of Logic Programming 5 Games 4 Kybernetika 4 Mathematica Slovaca 4 Journal of Symbolic Computation 4 The Journal of Artificial Intelligence Research (JAIR) 4 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 3 Applied Mathematics and Computation 3 Cahiers de Topologie et Géométrie Différentielle Catégoriques 3 Duke Mathematical Journal 3 Kybernetes 3 Semigroup Forum 3 Topology and its Applications 3 Annals of Operations Research 3 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 3 International Studies in the Philosophy of Science 3 Axiomathes 2 Acta Informatica 2 Archive for History of Exact Sciences 2 Archiv für Mathematische Logik und Grundlagenforschung 2 Discrete Applied Mathematics 2 Discrete Mathematics 2 Lithuanian Mathematical Journal 2 Journal of Mathematical Economics 2 The Journal of Mathematical Sociology 2 Journal of Optimization Theory and Applications 2 Journal of Pure and Applied Algebra 2 Publications of the Research Institute for Mathematical Sciences, Kyoto University 2 Advances in Applied Mathematics 2 Science of Computer Programming 2 New Generation Computing 2 European Journal of Operational Research 2 Russian Mathematics 2 Applied Categorical Structures 2 Economic Theory 2 New Journal of Physics 2 The Journal of Logic and Algebraic Programming 2 Quantum Information Processing 2 New Mathematics and Natural Computation 2 Formalized Mathematics ...and 81 more Journals
all top 5

#### Cited in 47 Fields

 3,311 Mathematical logic and foundations (03-XX) 749 Computer science (68-XX) 209 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 140 History and biography (01-XX) 134 Quantum theory (81-XX) 129 Order, lattices, ordered algebraic structures (06-XX) 127 General and overarching topics; collections (00-XX) 87 Probability theory and stochastic processes (60-XX) 43 Statistics (62-XX) 38 Category theory; homological algebra (18-XX) 33 General topology (54-XX) 24 General algebraic systems (08-XX) 24 Relativity and gravitational theory (83-XX) 22 Information and communication theory, circuits (94-XX) 20 Functional analysis (46-XX) 18 Geometry (51-XX) 14 Combinatorics (05-XX) 11 Group theory and generalizations (20-XX) 10 Operator theory (47-XX) 10 Operations research, mathematical programming (90-XX) 9 Measure and integration (28-XX) 8 Real functions (26-XX) 7 Biology and other natural sciences (92-XX) 6 Systems theory; control (93-XX) 5 Number theory (11-XX) 5 Associative rings and algebras (16-XX) 5 Convex and discrete geometry (52-XX) 5 Numerical analysis (65-XX) 5 Mechanics of particles and systems (70-XX) 4 Mathematics education (97-XX) 3 Differential geometry (53-XX) 3 Manifolds and cell complexes (57-XX) 3 Statistical mechanics, structure of matter (82-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Nonassociative rings and algebras (17-XX) 2 Partial differential equations (35-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Fluid mechanics (76-XX) 1 Topological groups, Lie groups (22-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Difference and functional equations (39-XX) 1 Algebraic topology (55-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Optics, electromagnetic theory (78-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Astronomy and astrophysics (85-XX) 1 Geophysics (86-XX)