×

Logic and Logical Philosophy

Short Title: Log. Log. Philos.
Publisher: Nicolaus Copernicus University, Faculty of Humanities, Department of Logic, Toruń
ISSN: 1425-3305; 2300-9802/e
Online: http://apcz.pl/czasopisma/index.php/LLP/issue/archive
Comments: This journal is available open access.
Documents Indexed: 472 Publications (since 1993)
References Indexed: 163 Publications with 4,503 References.
all top 5

Authors

10 Pietruszczak, Andrzej
9 Urchs, Max Peter
9 Wansing, Heinrich Theodor
8 Indrzejczak, Andrzej
8 Robles, Gemma
7 Jarmużek, Tomasz
7 Łukowski, Piotr
7 Materna, Pavel
7 Tkaczyk, Marcin
6 Gerla, Giangiacomo
6 Malinowski, Jacek
6 Petrukhin, Yaroslav Igorevich
5 Kamide, Norihiro
5 Łupkowski, Paweł
5 Odintsov, Sergei P.
5 Omori, Hitoshi
5 Shramko, Yaroslav V.
5 Tsai, Hsing-chien
4 Batens, Diderik
4 Bondoni, Davide
4 Brenner, Joseph E.
4 Carrara, Massimiliano
4 Kulicki, Piotr
4 Meheus, Joke
4 Nasieniewski, Marek
4 Paoli, Francesco
4 Perzanowski, Jerzy
4 Raclavský, Jiří
4 Rönnedal, Daniel
4 Sayward, Charles W.
4 Urbański, Mariusz
4 Woleński, Jan
3 Allwein, Gerard
3 Béziau, Jean-Yves
3 Carnielli, Walter Alexandre
3 Chiffi, Daniele
3 Ciuciura, Janusz
3 Estrada-González, Luis
3 Francez, Nissim
3 Giordani, Alessandro
3 Gołosz, Jerzy
3 Gomolińska, Anna
3 Grigor’ev, Oleg
3 Gruszczyński, Rafał
3 Harrison, William L.
3 Klonowski, Mateusz
3 Mormann, Thomas
3 Mruczek-Nasieniewska, Krystyna
3 Pietryga, Anna
3 Scheffler, Uwe
3 Skura, Tomasz F.
3 Szmuc, Damian Enrique
3 Trypuz, Robert
3 Varzi, Achille C.
3 Waragai, Toshiharu
3 Wiśniewski, Andrzej
3 Wójtowicz, Krzysztof
2 Abe, Jair Minoro
2 Asenjo, Florencio Gonzalez
2 Augustynek, Zdzisław
2 Bellin, Gianluigi
2 Bjørdal, Frode Alfson
2 Blanco, José Miguel
2 Bressan, Aldo
2 Coppola, Cristina
2 Da Costa, Newton Carneiro Affonso
2 Degen, Josef Wolfgang
2 Drobyshevich, Sergeĭ Andreevich
2 Epstein, Richard L.
2 Faust, Don H.
2 Frankowski, Szymon
2 Glavaničová, Daniela
2 Jaskowski, Stanislaw
2 Kiczuk, Stanisław
2 Koszowy, Marcin
2 Kovač, Srećko
2 Kürbis, Nils
2 Lenzen, Wolfgang
2 López, Sandra M.
2 Luna, Laureano
2 Łyczak, Marcin
2 Maffezioli, Paolo
2 Malinowski, Grzegorz
2 Menti, Alessandro
2 Moniri, Morteza
2 Muratvitsky, Alexei Y.
2 Murawski, Roman
2 Odrowąż-Sypniewska, Joanna
2 Pascucci, Matteo
2 Paśniczek, Jacek
2 Peliš, Michal
2 Petermann, Uwe
2 Pizzi, Claudio Ercole Antonio
2 Placek, Tomasz
2 Schang, Fabien
2 Segerberg, Krister
2 Silvestre, Ricardo Sousa
2 Slater, Barry Hartley
2 Smets, Sonja J. L.
2 Sochacki, Robert
...and 257 more Authors

Publications by Year

Citations contained in zbMATH Open

213 Publications have been cited 604 times in 437 Documents Cited by Year
Formal inconsistency and evolutionary databases. Zbl 1005.03509
Carnielli, Walter A.; Marcos, João; de Amo, Sandra
33
2000
Logic of classical refutability and class of extensions of minimal logic. Zbl 1034.03027
Odintsov, S. P.
16
2001
A propositional calculus for inconsistent deductive systems. Zbl 1013.03004
Jaśkowski, Stanisław
15
1999
Bochvar’s three-valued logic and literal paralogics: their lattice and functional equivalence. Zbl 1477.03074
Karpenko, Alexander; Tomova, Natalya
14
2017
The lattice of Belnapian modal logics: special extensions and counterparts. Zbl 1396.03034
Odintsov, Sergei P.; Speranski, Stanislav O.
12
2016
Towards the unification of inconsistency handling mechanisms. Zbl 1005.03508
Batens, Diderik
10
2000
The paraconsistent logic Z. A possible solution to Jaśkowski’s problem. Zbl 1134.03018
Béziau, Jean-Yves
9
2006
On the discussive conjunction in the propositional calculus for inconsistent deductive systems. Zbl 1013.03005
Jaśkowski, Stanisław
9
1999
Jaśkowski’s criterion and three-valued paraconsistent logics. Zbl 1001.03029
Karpenko, Alexander S.
9
1999
Paraconsistency and analyticity. Zbl 1001.03031
Oller, Carlos A.
9
1999
Natural deduction for three-valued regular logics. Zbl 1417.03181
Petrukhin, Yaroslav
9
2017
Natural deduction for four-valued both regular and monotonic logics. Zbl 1456.03048
Petrukhin, Yaroslav
8
2018
A system for proper multiple-conclusion entailment. Zbl 1375.03016
Skura, Tomasz; Wiśniewski, Andrzej
8
2015
Hintikka and Cresswell on logical omniscience. Zbl 1134.03006
Jago, Mark
7
2006
Boolean connexive logics: semantics and tableau approach. Zbl 1458.03024
Jarmużek, Tomasz; Malinowski, Jacek
7
2019
Pragmatic and dialogic interpretations of bi-intuitionism. I. Zbl 1364.03018
Bellin, Gianluigi; Carrara, Massimiliano; Chiffi, Daniele; Menti, Alessandro
7
2014
Hypersequent calculi for S5: the methods of cut elimination. Zbl 1372.03037
Bednarska, Kaja; Indrzejczak, Andrzej
7
2015
Pieces of mereology. Zbl 1117.03018
Pietruszczak, Andrzej
6
2005
Continuous lattices and Whiteheadian theory of space. Zbl 0974.03011
Mormann, Thomas
6
1998
Admissibility of cut in congruent modal logics. Zbl 1248.03076
Indrzejczak, Andrzej
6
2011
Supervenience, dependence, disjunction. Zbl 1477.03052
Humberstone, Lloyd
6
2019
Fregean description theory in proof-theoretical setting. Zbl 1477.03238
Indrzejczak, Andrzej
6
2019
Concepts as hyperintensional objects. Zbl 1321.03017
Materna, Pavel
6
2014
Paraconsistency and Sette’s calculus P1. Zbl 1372.03050
Ciuciura, Janusz
6
2015
On logic of strictly-deontic modalities. A semantic and tableau approach. Zbl 1478.03038
Jarmużek, Tomasz; Klonowski, Mateusz
6
2020
The modes of physical properties in the logical foundations of physics. Zbl 1117.00306
Smets, Sonja
5
2005
Decidability of mereological theories. Zbl 1186.03018
Tsai, Hsing-chien
5
2009
An epistemic interpretation of paraconsistent weak Kleene logic. Zbl 1452.03070
Szmuc, Damian E.
5
2019
Connexive logics. An overview and current trends. Zbl 1458.03005
Omori, Hitoshi; Wansing, Heinrich
5
2019
Mereology then and now. Zbl 1369.03046
Gruszczyński, Rafał; Varzi, Achille C.
5
2015
Rational agency from a truth-functional perspective. Zbl 1369.03054
Kubyshkina, Ekaterina; Zaitsev, Dmitry V.
5
2016
The laws of non-bivalent probability. Zbl 1134.03017
Cantwell, John
4
2006
Symmetric and dual paraconsistent logics. Zbl 1227.03034
Kamide, Norihiro; Wansing, Heinrich
4
2010
An adaptive logic framework for conditional obligations and deontic dilemmas. Zbl 1229.03020
Straßer, Christian
4
2010
On the logics related to A. Arruda’s system V1. Zbl 1001.03030
Popov, V. M.
4
1999
The Kuznetsov-Gerčiu and Rieger-Nishimura logics. The boundaries of the finite model property. Zbl 1173.03028
Bezhanishvili, Guram; Bezhanishvili, Nick; de Jongh, Dick
4
2008
From BDI and stit to bdi-stit logic. Zbl 1159.03013
Semmling, Caroline; Wansing, Heinrich
4
2008
Some adaptive logics for diagnosis. Zbl 1117.03327
Batens, Diderik; Meheus, Joke; Provijn, Dagmar; Verhoeven, Liza
4
2003
Completeness of minimal positional calculus. Zbl 1117.03328
Jarmużek, Tomasz; Pietruszczak, Andrzej
4
2004
Abstract logic of oppositions. Zbl 1283.03026
Schang, Fabien
4
2012
Space, points and mereology. On foundations of point-free Euclidean geometry. Zbl 1186.03019
Gruszczyński, Rafał; Pietruszczak, Andrzej
4
2009
A formal approach to exploring the interrogator’s perspective in the Turing test. Zbl 1244.03023
Łupkowski, Paweł
4
2011
A simple Henkin-style completeness proof for Gödel 3-valued logic G3. Zbl 1364.03038
Robles, Gemma
4
2014
Generating cooperative question-responses by means of erotetic search scenarios. Zbl 1407.68472
Łupkowski, Paweł; Leszczyńska-Jasion, Dorota
4
2015
On classical behavior of intuitionistic modalities. Zbl 1375.03022
Drobyshevich, Sergey
4
2015
Classical mereology is not elementarily axiomatizable. Zbl 1369.03068
Pietruszczak, Andrzej
4
2015
Trivial dialetheism and the logic of paradox. Zbl 1384.03017
Beziau, Jean-Yves
4
2016
On Béziau’s logic Z. Zbl 1170.03015
Omori, Hitoshi; Waragai, Toshiharu
3
2008
Modal hybrid logic. Zbl 1145.03009
Indrzejczak, Andrzej
3
2007
A deductive-reductive form of logic: Intuitionistic S4 modalities. Zbl 1028.03012
Łukowski, Piotr
3
2002
A new axiomatization of Jaśkowski’s discussive logic. Zbl 1028.03020
Vasyukov, Vladimir L.
3
2001
How to define a mereological (collective) set. Zbl 1243.03067
Gruszczyński, Rafał; Pietruszczak, Andrzej
3
2010
Preferences as inconsistency-resolvers: The inconsistency-adaptive logic PRL. Zbl 1005.03513
Vanackere, Guido
3
2000
Inferential paraconsistency. Zbl 1005.03031
Malinowski, Grzegorz
3
2000
A systematics of deontic action logics based on Boolean algebra. Zbl 1239.03012
Trypuz, Robert; Kulicki, Piotr
3
2010
Simplified Kripke style semantics for some very weak modal logics. Zbl 1222.03026
Pietruszczak, Andrzej
3
2010
A mind of a non-countable set of ideas. Zbl 1152.03301
Citkin, Alexander
3
2008
Formulas of one propositional variable in intuitionistic logic with the Solovay modality. Zbl 1157.03040
Esakia, Leo; Grigolia, Revaz
3
2008
The Collatz conjecture. A case study in mathematical problem solving. Zbl 1117.00304
Van Bendegem, Jean Paul
3
2005
Reasoning about space: The hole story. Zbl 0983.03008
Varzi, Achille C.
3
1996
Models of possibilism and trivialism. Zbl 1283.03018
Estrada-González, Luis
3
2012
On algorithmic properties of propositional inconsistency-adaptive logics. Zbl 1283.03059
Odintsov, Sergei P.; Speranski, Stanislav O.
3
2012
A compositional semantics for ‘even if’ conditionals. Zbl 1417.03220
Vidal, Mathieu
3
2017
Five theories of reasoning: interconnections and applications to mathematics. Zbl 1244.03028
Pease, Alison; Aberdein, Andrew
3
2011
On axiomatization of Łukasiewicz’s four-valued modal logic. Zbl 1261.03090
Tkaczyk, Marcin
3
2011
More on the decidability of mereological theories. Zbl 1244.03054
Tsai, Hsing-chien
3
2011
On three axiom systems for classical mereology. Zbl 1477.03020
Varzi, Achille C.
3
2019
Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis. Zbl 1446.03055
Petrukhin, Yaroslav; Shangin, Vasilyi
3
2019
Humble connexivity. Zbl 1458.03014
Kapsner, Andreas
3
2019
Negation in weak positional calculi. Zbl 1321.03047
Tkaczyk, Marcin
3
2013
Why topology in the minimalist foundation must be pointfree. Zbl 1341.03097
Maietti, Maria Emilia; Sambin, Giovanni
3
2013
Connecting bilattice theory with multivalued logic. Zbl 1321.03040
Genito, Daniele; Gerla, Giangiacomo
3
2014
Reflections on temporal and modal logic. Zbl 1375.03019
Epstein, Richard L.
3
2015
A meta-logic of inference rules: syntax. Zbl 1375.03015
Citkin, Alex
3
2015
Neighborhood semantics for basic and intuitionistic logic. Zbl 1375.03014
Moniri, Morteza; Shirmohammadzadeh Maleki, Fatemeh
3
2015
Dynamic epistemic logic and logical omniscience. Zbl 1375.03018
Rasmussen, Mattias Skipper
3
2015
Regions-based two dimensional continua: the Euclidean case. Zbl 1372.03026
Hellman, Geoffrey; Shapiro, Stewart
3
2015
Sweet SIXTEEN: automation via embedding into classical higher-order logic. Zbl 1373.03030
Steen, Alexander; Benzmüller, Christoph
3
2016
Algorithmic theories of problems. A constructive and a non-constructive approach. Zbl 1417.03124
Pezlar, Ivo
3
2017
The logical burdens of proof. Assertion and hypothesis. Zbl 1417.03136
Chiffi, Daniele; Schang, Fabien
3
2017
Rejected axioms for the “nonsense-logic” W and the \(k\)-valued logic of Sobociński. Zbl 1170.03329
Sochacki, Robert
2
2008
Anselm and Russell. Zbl 1134.03300
Nowicki, Maciej
2
2006
Structured belief bases. Zbl 1035.03007
Kahle, Reinhard
2
2002
A deductive-reductive form of logic: General theory and intuitionistic case. Zbl 1028.03011
Łukowski, Piotr
2
2002
Seeing to it that an agent forms a belief. Zbl 1035.03008
Wansing, Heinrich
2
2002
Some new results on PCL1 and its related systems. Zbl 1245.03043
Waragai, Toshiharu; Omori, Hitoshi
2
2010
Whitehead’s pointfree geometry and diametric posets. Zbl 1229.06004
Gerla, Giangiacomo; Paolillo, Bonaventura
2
2010
Can concepts be defined in terms of sets? Zbl 1246.03016
Duží, Marie; Materna, Pavel
2
2010
Nelson’s paraconsistent logics. Zbl 1001.03027
Akama, Seiki
2
1999
Vasil’iev: What did he exactly do? Zbl 1004.03501
Suchoń, Wojciech
2
1999
Two new strategies for inconsistency-adaptive logics. Zbl 1005.03510
De Clercq, Kristof
2
2000
Quasi-matrix logic as a paraconsistent logic for dubitable information. Zbl 1005.03511
Ivlev, Yu. V.
2
2000
Theory of quantum computation and philosophy of mathematics. I. Zbl 1213.68270
Wójtowicz, Krzysztof
2
2010
A modal approach to dynamic ontology: modal mereotopology. Zbl 1156.03028
Vakarelov, Dimiter
2
2008
ZF and the axiom of choice in some paraconsistent set theories. Zbl 1117.03346
Libert, Thierry
2
2003
Classical arithmetic is quite unnatural. Zbl 1117.03311
Van Bendegem, Jean Paul
2
2003
On the da Costa, Dubikajtis and Kotas’ system of the discursive logic, \(D_2^*\). Zbl 1117.03325
Ciuciura, Janusz
2
2005
Finitely many-valued paraconsistent systems. Zbl 0985.03016
Tuziak, Roman
2
1997
Logic may be simple. Logic, congruence and algebra. Zbl 0985.03006
Béziau, Jean-Yves
2
1997
Extended pregroup grammars applied to natural languages. Zbl 1283.03060
Kiślak-Malinowska, Aleksandra
2
2012
Definite descriptions in intuitionist positive free logic. Zbl 07437984
Kürbis, Nils
2
2021
Disjoint logics. Zbl 07437980
Pailos, Federico
1
2021
Sequent calculi and interpolation for non-normal modal and deontic logics. Zbl 07437981
Orlandelli, Eugenio
1
2021
Twist-valued models for three-valued paraconsistent set theory. Zbl 07437982
Carnielli, Walter A.; Coniglio, Marcelo E.
1
2021
Dialogue games for minimal logic. Zbl 07437985
Pavlova, Alexandra
1
2021
Peirce’s triadic logic and its (overlooked) connexive expansion. Zbl 07437993
Belikov, Alex
1
2021
History of relating logic. The origin and research directions. Zbl 07499522
Klonowski, Mateusz
1
2021
On logic of strictly-deontic modalities. A semantic and tableau approach. Zbl 1478.03038
Jarmużek, Tomasz; Klonowski, Mateusz
6
2020
Free definite description theory – sequent calculi and cut elimination. Zbl 1478.03077
Indrzejczak, Andrzej
2
2020
A poly-connexive logic. Zbl 1478.03054
Francez, Nissim
1
2020
Beall-ing \(\mathbb{O}\). Zbl 1479.03004
Joaquin, Jeremiah Joven
1
2020
A realistic view on normative conflicts. Zbl 1478.03037
Glavaničová, Daniela; Pascucci, Matteo
1
2020
Kilwardby’s 55\(^{\text{th}}\) lesson. Zbl 1478.03009
Lenzen, Wolfgang
1
2020
Boolean connexive logics: semantics and tableau approach. Zbl 1458.03024
Jarmużek, Tomasz; Malinowski, Jacek
7
2019
Supervenience, dependence, disjunction. Zbl 1477.03052
Humberstone, Lloyd
6
2019
Fregean description theory in proof-theoretical setting. Zbl 1477.03238
Indrzejczak, Andrzej
6
2019
An epistemic interpretation of paraconsistent weak Kleene logic. Zbl 1452.03070
Szmuc, Damian E.
5
2019
Connexive logics. An overview and current trends. Zbl 1458.03005
Omori, Hitoshi; Wansing, Heinrich
5
2019
On three axiom systems for classical mereology. Zbl 1477.03020
Varzi, Achille C.
3
2019
Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis. Zbl 1446.03055
Petrukhin, Yaroslav; Shangin, Vasilyi
3
2019
Humble connexivity. Zbl 1458.03014
Kapsner, Andreas
3
2019
Theory of quantum computation and philosophy of mathematics. II. Zbl 1430.68107
Wójtowicz, Krzysztof
2
2019
Jerzy Łos positional calculus and the origin of temporal logic. Zbl 1443.03010
Tkaczyk, Marcin; Jarmużek, Tomasz
2
2019
Relevant connexive logic. Zbl 1458.03019
Francez, Nissim
2
2019
On definability of connectives and modal logics over FDE. Zbl 1458.03015
Odintsov, Sergei P.; Skurt, Daniel; Wansing, Heinrich
2
2019
On a multilattice analogue of a hypersequent S5 calculus. Zbl 1458.03012
Grigoriev, Oleg; Petrukhin, Yaroslav
2
2019
A “distributive” or a “collective” approach to sentences? Zbl 1443.03003
Łukowski, Piotr
1
2019
Per se modality and natural implication – an account of connexive logic in Robert Kilwardby. Zbl 1458.03004
Johnston, Spencer
1
2019
Bi-classical connexive logic and its modal extension: cut-elimination, completeness and duality. Zbl 1458.03013
Kamide, Norihiro
1
2019
Leibniz’s laws of consistency and the philosophical foundations of connexive logic. Zbl 1458.03009
Lenzen, Wolfgang
1
2019
Towards a bridge over two approaches in connexive logic. Zbl 1458.03016
Omori, Hitoshi
1
2019
Connexive conditional logic. I. Zbl 1458.03017
Wansing, Heinrich; Unterhuber, Matthias
1
2019
Natural deduction for four-valued both regular and monotonic logics. Zbl 1456.03048
Petrukhin, Yaroslav
8
2018
A simulation of natural deduction and Gentzen sequent calculus. Zbl 1456.03084
Kozhemiachenko, Daniil
2
2018
The cumulative force of analogies. Zbl 1436.03023
Botting, David
1
2018
Maximality of the minimal \(\mathcal R\)-logic. Zbl 1456.03053
Karczewska, Anna Maria
1
2018
In defence of dialetheism: a reply to Beziau and Tkaczyk. Zbl 1456.03050
Martin, Ben
1
2018
A generalisation of a refutation-related method in paraconsistent logics. Zbl 1412.03011
Trybus, Adam
1
2018
Existential import and relations of categorical and modal categorical statements. Zbl 1456.03038
Raclavský, Jiří
1
2018
Bochvar’s three-valued logic and literal paralogics: their lattice and functional equivalence. Zbl 1477.03074
Karpenko, Alexander; Tomova, Natalya
14
2017
Natural deduction for three-valued regular logics. Zbl 1417.03181
Petrukhin, Yaroslav
9
2017
A compositional semantics for ‘even if’ conditionals. Zbl 1417.03220
Vidal, Mathieu
3
2017
Algorithmic theories of problems. A constructive and a non-constructive approach. Zbl 1417.03124
Pezlar, Ivo
3
2017
The logical burdens of proof. Assertion and hypothesis. Zbl 1417.03136
Chiffi, Daniele; Schang, Fabien
3
2017
Commentary and illocutionary expressions in linear calculi of natural deduction. Zbl 1417.03129
Cordes, Moritz; Reinmuth, Friedrich
1
2017
Tautology elimination, cut elimination, and S5. Zbl 1417.03284
Indrzejczak, Andrzej
1
2017
Further reflections on sentences saying of themselves strange things. Zbl 1436.03081
Zardini, Elia
1
2017
The lattice of Belnapian modal logics: special extensions and counterparts. Zbl 1396.03034
Odintsov, Sergei P.; Speranski, Stanislav O.
12
2016
Rational agency from a truth-functional perspective. Zbl 1369.03054
Kubyshkina, Ekaterina; Zaitsev, Dmitry V.
5
2016
Trivial dialetheism and the logic of paradox. Zbl 1384.03017
Beziau, Jean-Yves
4
2016
Sweet SIXTEEN: automation via embedding into classical higher-order logic. Zbl 1373.03030
Steen, Alexander; Benzmüller, Christoph
3
2016
The case of dialetheism. Zbl 1384.03077
Tkaczyk, Marcin
2
2016
“The whole is greater than the part.” Mereology in Euclid’s Elements. Zbl 1369.03019
Robering, Klaus
2
2016
Simple cut elimination proof for hybrid logic. Zbl 1377.03051
Indrzejczak, Andrzej
1
2016
Partial and paraconsistent three-valued logics. Zbl 1402.03031
Degauquier, Vincent
1
2016
Relational semantics for the 4-valued relevant logics BN4 and E4. Zbl 1396.03040
Robles, Gemma; Blanco, José M.; López, Sandra M.; Paradela, Jesús R.; Recio, Marcos M.
1
2016
The need for pluralism of causality. Zbl 1369.03094
Weingartner, Paul
1
2016
Interplays of knowledge and non-contingency. Zbl 1396.03016
Costa-Leite, Alexandre
1
2016
A system for proper multiple-conclusion entailment. Zbl 1375.03016
Skura, Tomasz; Wiśniewski, Andrzej
8
2015
Hypersequent calculi for S5: the methods of cut elimination. Zbl 1372.03037
Bednarska, Kaja; Indrzejczak, Andrzej
7
2015
Paraconsistency and Sette’s calculus P1. Zbl 1372.03050
Ciuciura, Janusz
6
2015
Mereology then and now. Zbl 1369.03046
Gruszczyński, Rafał; Varzi, Achille C.
5
2015
Generating cooperative question-responses by means of erotetic search scenarios. Zbl 1407.68472
Łupkowski, Paweł; Leszczyńska-Jasion, Dorota
4
2015
On classical behavior of intuitionistic modalities. Zbl 1375.03022
Drobyshevich, Sergey
4
2015
Classical mereology is not elementarily axiomatizable. Zbl 1369.03068
Pietruszczak, Andrzej
4
2015
Reflections on temporal and modal logic. Zbl 1375.03019
Epstein, Richard L.
3
2015
A meta-logic of inference rules: syntax. Zbl 1375.03015
Citkin, Alex
3
2015
Neighborhood semantics for basic and intuitionistic logic. Zbl 1375.03014
Moniri, Morteza; Shirmohammadzadeh Maleki, Fatemeh
3
2015
Dynamic epistemic logic and logical omniscience. Zbl 1375.03018
Rasmussen, Mattias Skipper
3
2015
Regions-based two dimensional continua: the Euclidean case. Zbl 1372.03026
Hellman, Geoffrey; Shapiro, Stewart
3
2015
Question dependency in terms of compliance and erotetic implication. Zbl 1375.03031
Łupkowski, Paweł
2
2015
Notes on models of first-order mereological theories. Zbl 1369.03080
Tsai, Hsing-Chien
2
2015
Quantified temporal alethic-deontic logic. Zbl 1375.03021
Rönnedal, Daniel
1
2015
In defence of an argument against truthmaker maximalism. Zbl 1369.03043
Gołosz, Jerzy
1
2015
A propositional logic of temporal connectives. Zbl 1375.03020
Epstein, Richard L.; Buitrago-Díaz, Esperanza
1
2015
Better than zilch? Zbl 1369.03033
Casati, Filippo; Fujikawa, Naoya
1
2015
An addendum to: “Notes on models of first-order mereological theories”. Zbl 1369.03081
Tsai, Hsing-Chien
1
2015
Pragmatic and dialogic interpretations of bi-intuitionism. I. Zbl 1364.03018
Bellin, Gianluigi; Carrara, Massimiliano; Chiffi, Daniele; Menti, Alessandro
7
2014
Concepts as hyperintensional objects. Zbl 1321.03017
Materna, Pavel
6
2014
A simple Henkin-style completeness proof for Gödel 3-valued logic G3. Zbl 1364.03038
Robles, Gemma
4
2014
Connecting bilattice theory with multivalued logic. Zbl 1321.03040
Genito, Daniele; Gerla, Giangiacomo
3
2014
A system of the logic of change. Zbl 1321.03045
Kiczuk, Stanisław
2
2014
Simulation logic. Zbl 1321.03029
Allwein, Gerard; Harrison, William L.; Andrews, David
2
2014
On the interaction of semantics and deduction in transparent intensional logic (is Tichý’s logic a logic?). Zbl 1321.03019
Raclavský, Jiři
2
2014
The logical way of being true: truth values and the ontological foundation of logic. Zbl 1321.03021
Shramko, Yaroslav
1
2014
Proof theory of epistemic logic of programs. Zbl 1321.03050
Maffezioli, Paolo; Naibo, Alberto
1
2014
On the proof-theory of a first-order extension of GL. Zbl 1321.03075
Schwartz, Yehuda; Tourlakis, George
1
2014
Is transparent intensional logic a non-classical logic? Zbl 1321.03018
Materna, Pavel
1
2014
Negation in weak positional calculi. Zbl 1321.03047
Tkaczyk, Marcin
3
2013
Why topology in the minimalist foundation must be pointfree. Zbl 1341.03097
Maietti, Maria Emilia; Sambin, Giovanni
3
2013
Decision procedures for some strong hybrid logics. Zbl 1321.03031
Indrzejczak, Andrzej; Zawidzki, Michał
2
2013
Admissibility of Ackermann’s rule \(\delta\) in relevant logics. Zbl 1321.03036
Robles, Gemma
1
2013
On minimal models for pure calculi of names. Zbl 1321.03046
Kulicki, Piotr
1
2013
The abundance of the future. A paraconsistent approach to future contingents. Zbl 1321.03012
Ciuni, Roberto; Proietti, Carlo
1
2013
Presentism, eternalism, and the triviality problem. Zbl 1321.03013
Gołosz, Jerzy
1
2013
Special issue on point-free geometry and topology. An introduction. Zbl 1341.03004
1
2013
On the homogeneous countable Boolean contact algebra. Zbl 1327.06013
Düntsch, Ivo; Li, Sanjiang
1
2013
Dynamic relational mereotopology: logics for stable and unstable relations. Zbl 1344.03013
Nenchev, Vladislav
1
2013
Abstract logic of oppositions. Zbl 1283.03026
Schang, Fabien
4
2012
Models of possibilism and trivialism. Zbl 1283.03018
Estrada-González, Luis
3
2012
...and 113 more Documents
all top 5

Cited by 395 Authors

16 Petrukhin, Yaroslav Igorevich
13 Maksimova, Larisa L’vovna
10 Pietruszczak, Andrzej
10 Robles, Gemma
10 Wansing, Heinrich Theodor
9 Omori, Hitoshi
8 Batens, Diderik
8 Coniglio, Marcelo Esteban
8 Indrzejczak, Andrzej
8 Kamide, Norihiro
8 Odintsov, Sergei P.
7 Béziau, Jean-Yves
7 Shangin, Vasily
7 Yun, Veta Fëdorovna
6 Jarmużek, Tomasz
6 Tsai, Hsing-chien
5 Carnielli, Walter Alexandre
5 Estrada-González, Luis
5 Ferguson, Thomas Macaulay
5 Gerla, Giangiacomo
5 Klonowski, Mateusz
5 Kürbis, Nils
5 Leszczyńska-Jasion, Dorota
5 Łupkowski, Paweł
5 Shramko, Yaroslav V.
5 Strasser, Christian
5 Wiśniewski, Andrzej
4 Avron, Arnon
4 Beirlaen, Mathieu
4 Chiffi, Daniele
4 Gruszczyński, Rafał
4 Nasieniewski, Marek
4 Osorio, Mauricio A.
4 Szmuc, Damian Enrique
4 Vakarelov, Dimiter
4 Zamansky, Anna
3 Arieli, Ofer
3 Baldi, Michele Pra
3 Berto, Francesco
3 Carballido, José Luis
3 Carrara, Massimiliano
3 Citkin, Alex
3 de Ronde, Christian
3 Demey, Lorenz
3 Drobyshevich, Sergeĭ Andreevich
3 Düntsch, Ivo
3 Duzi, Marie
3 Giordani, Alessandro
3 Humberstone, Lloyd
3 Meheus, Joke
3 Paoli, Francesco
3 Sedlár, Igor
3 Smessaert, Hans
3 Speranski, Stanislav O.
3 Standefer, Shawn
3 Varzi, Achille C.
3 Verdée, Peter
3 Weber, Zach
3 Weiss, Yale
3 Wójtowicz, Krzysztof
3 Wybraniec-Skardowska, Urszula
3 Zepeda, Claudia
2 Akama, Seiki
2 Allwein, Gerard
2 Baltag, Alexandru
2 Barbosa, Luís Soares
2 Barrio, Eduardo Alejandro
2 Běhounek, Libor
2 Belikov, Alex
2 Bennett, Brandon
2 Bonzio, Stefano
2 Borja Macías, Verónica
2 Cabalar, Pedro
2 Cantwell, John C.
2 Chakraborty, Mihir Kumar
2 Ciuciura, Janusz
2 Coppola, Cristina
2 Cordes, Moritz
2 Crupi, Vincenzo
2 Da Costa, Newton Carneiro Affonso
2 De Risi, Vincenzo
2 De, Michael
2 Epstein, Richard L.
2 Figallo Orellano, Aldo
2 Grigor’ev, Oleg
2 Harrison, William L.
2 Iacona, Andrea
2 Iemhoff, Rosalie
2 Kahle, Reinhard
2 Kaneiwa, Ken
2 Karczewska, Anna Maria
2 Kulicki, Piotr
2 Łukowski, Piotr
2 Maietti, Maria Emilia
2 Majer, Ondrej
2 Martins, Manuel António
2 Maschio, Samuele
2 Mruczek-Nasieniewska, Krystyna
2 Novák, Vilém
2 Nowak, Marek
...and 295 more Authors
all top 5

Cited in 55 Journals

68 Logic and Logical Philosophy
54 Studia Logica
32 Journal of Philosophical Logic
26 Journal of Applied Non-Classical Logics
24 Logica Universalis
20 Synthese
14 Bulletin of the Section of Logic
12 The Review of Symbolic Logic
11 Journal of Logic, Language and Information
9 Algebra and Logic
9 Journal of Applied Logic
8 Notre Dame Journal of Formal Logic
5 Siberian Mathematical Journal
5 Erkenntnis
5 Foundations of Science
4 Annals of Pure and Applied Logic
3 Artificial Intelligence
3 Fuzzy Sets and Systems
3 Theoretical Computer Science
3 History and Philosophy of Logic
3 Axioms
2 New Generation Computing
2 International Journal of Approximate Reasoning
2 Archive for Mathematical Logic
2 Soft Computing
2 Logical Methods in Computer Science
2 Nôus
2
1 Archive for History of Exact Sciences
1 International Journal of General Systems
1 International Journal of Theoretical Physics
1 Moscow University Mathematics Bulletin
1 International Journal of Mathematics and Mathematical Sciences
1 Journal of Geometry
1 The Journal of Symbolic Logic
1 Science of Computer Programming
1 Order
1 Information and Computation
1 Journal of Automated Reasoning
1 International Journal of Intelligent Systems
1 Formal Aspects of Computing
1 Mathematical Logic Quarterly (MLQ)
1 The Bulletin of Symbolic Logic
1 Annals of Mathematics and Artificial Intelligence
1 Journal of Vibration and Control
1 Theory of Computing Systems
1 International Studies in the Philosophy of Science
1 Central European Journal of Mathematics
1 ACM Transactions on Computational Logic
1 Foundations of Physics
1 Oberwolfach Reports
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Journal of Logic and Analysis
1 European Journal for Philosophy of Science
1 European Journal of Mathematics

Citations by Year