×

zbMATH — the first resource for mathematics

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
http://www.logika.umk.pl/llp/pi.html
Comments: This journal is available open access.
Documents Indexed: 414 Publications (since 1993)
References Indexed: 105 Publications with 2,932 References.
all top 5

Authors

10 Pietruszczak, Andrzej
9 Urchs, Max Peter
9 Wansing, Heinrich Theodor
8 Robles, Gemma
7 Indrzejczak, Andrzej
7 Materna, Pavel
7 Tkaczyk, Marcin
6 Łukowski, Piotr
5 Gerla, Giangiacomo
5 Kamide, Norihiro
5 Łupkowski, Paweł
5 Malinowski, Jacek
5 Odintsov, Sergei P.
5 Omori, Hitoshi
5 Tsai, Hsing-chien
4 Batens, Diderik
4 Bondoni, Davide
4 Brenner, Joseph E.
4 Jarmużek, Tomasz
4 Kulicki, Piotr
4 Meheus, Joke
4 Nasieniewski, Marek
4 Perzanowski, Jerzy
4 Petrukhin, Yaroslav Igorevich
4 Rönnedal, Daniel
4 Sayward, Charles W.
4 Shramko, Yaroslav V.
4 Urbański, Mariusz
4 Woleński, Jan
3 Allwein, Gerard
3 Béziau, Jean-Yves
3 Chiffi, Daniele
3 Gołosz, Jerzy
3 Gomolińska, Anna
3 Gruszczyński, Rafał
3 Harrison, William L.
3 Mormann, Thomas
3 Mruczek-Nasieniewska, Krystyna
3 Pietryga, Anna
3 Raclavský, Jiří
3 Scheffler, Uwe
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 Bressan, Aldo
2 Carnielli, Walter Alexandre
2 Carrara, Massimiliano
2 Ciuciura, Janusz
2 Coppola, Cristina
2 Da Costa, Newton Carneiro Affonso
2 Degen, Josef Wolfgang
2 Drobyshevich, Sergeĭ Andreevich
2 Epstein, Richard L.
2 Estrada-González, Luis
2 Faust, Don H.
2 Francez, Nissim
2 Frankowski, Szymon
2 Grigor’ev, Oleg
2 Jaskowski, Stanislaw
2 Kiczuk, Stanisław
2 Koszowy, Marcin
2 Kovač, Srećko
2 Luna, Laureano
2 Maffezioli, Paolo
2 Malinowski, Grzegorz
2 Menti, Alessandro
2 Moniri, Morteza
2 Muratvitsky, Alexei Y.
2 Murawski, Roman
2 Odrowąż-Sypniewska, Joanna
2 Paoli, Francesco
2 Paśniczek, Jacek
2 Peliš, Michal
2 Petermann, Uwe
2 Placek, Tomasz
2 Schang, Fabien
2 Segerberg, Krister
2 Silvestre, Ricardo Sousa
2 Skura, Tomasz F.
2 Slater, Barry Hartley
2 Smets, Sonja J. L.
2 Sochacki, Robert
2 Speranski, Stanislav O.
2 Tsohatzidis, Savas L.
2 Uckelman, Sara L.
2 Van Bendegem, Jean Paul
2 van Lambalgen, Michiel Marian Michiel
2 Vanackere, Guido
2 Verhoeven, Liza
2 Wu, Kun
1 Aberdein, Andrew
1 Akama, Seiki
1 Alizadeh, Majid
...and 209 more Authors

Publications by Year

Citations contained in zbMATH Open

172 Publications have been cited 465 times in 345 Documents Cited by Year
Formal inconsistency and evolutionary databases. Zbl 1005.03509
Carnielli, Walter A.; Marcos, João; de Amo, Sandra
28
2000
Logic of classical refutability and class of extensions of minimal logic. Zbl 1034.03027
Odintsov, S. P.
16
2001
Bochvar’s three-valued logic and literal paralogics: their lattice and functional equivalence. Zbl 06940664
Karpenko, Alexander; Tomova, Natalya
11
2017
A propositional calculus for inconsistent deductive systems. Zbl 1013.03004
Jaśkowski, Stanisław
11
1999
Towards the unification of inconsistency handling mechanisms. Zbl 1005.03508
Batens, Diderik
10
2000
Natural deduction for three-valued regular logics. Zbl 1417.03181
Petrukhin, Yaroslav
9
2017
Paraconsistency and analyticity. Zbl 1001.03031
Oller, Carlos A.
9
1999
The paraconsistent logic Z. A possible solution to Jaśkowski’s problem. Zbl 1134.03018
Béziau, Jean-Yves
9
2006
The lattice of Belnapian modal logics: special extensions and counterparts. Zbl 1396.03034
Odintsov, Sergei P.; Speranski, Stanislav O.
8
2016
Natural deduction for four-valued both regular and monotonic logics. Zbl 1456.03048
Petrukhin, Yaroslav
7
2018
Jaśkowski’s criterion and three-valued paraconsistent logics. Zbl 1001.03029
Karpenko, Alexander S.
7
1999
A system for proper multiple-conclusion entailment. Zbl 1375.03016
Skura, Tomasz; Wiśniewski, Andrzej
7
2015
Continuous lattices and Whiteheadian theory of space. Zbl 0974.03011
Mormann, Thomas
6
1998
On the discussive conjunction in the propositional calculus for inconsistent deductive systems. Zbl 1013.03005
Jaśkowski, Stanisław
6
1999
Pragmatic and dialogic interpretations of bi-intuitionism. I. Zbl 1364.03018
Bellin, Gianluigi; Carrara, Massimiliano; Chiffi, Daniele; Menti, Alessandro
6
2014
Hypersequent calculi for S5: the methods of cut elimination. Zbl 1372.03037
Bednarska, Kaja; Indrzejczak, Andrzej
6
2015
Pieces of mereology. Zbl 1117.03018
Pietruszczak, Andrzej
6
2005
Paraconsistency and Sette’s calculus P1. Zbl 1372.03050
Ciuciura, Janusz
5
2015
Rational agency from a truth-functional perspective. Zbl 1369.03054
Kubyshkina, Ekaterina; Zaitsev, Dmitry V.
5
2016
Concepts as hyperintensional objects. Zbl 1321.03017
Materna, Pavel
5
2014
Decidability of mereological theories. Zbl 1186.03018
Tsai, Hsing-chien
5
2009
Hintikka and Cresswell on logical omniscience. Zbl 1134.03006
Jago, Mark
5
2006
On the logics related to A. Arruda’s system V1. Zbl 1001.03030
Popov, V. M.
4
1999
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
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
Space, points and mereology. On foundations of point-free Euclidean geometry. Zbl 1186.03019
Gruszczyński, Rafał; Pietruszczak, Andrzej
4
2009
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
Some adaptive logics for diagnosis. Zbl 1117.03327
Batens, Diderik; Meheus, Joke; Provijn, Dagmar; Verhoeven, Liza
4
2003
The modes of physical properties in the logical foundations of physics. Zbl 1117.00306
Smets, Sonja
4
2005
The laws of non-bivalent probability. Zbl 1134.03017
Cantwell, John
4
2006
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
Abstract logic of oppositions. Zbl 1283.03026
Schang, Fabien
4
2012
An epistemic interpretation of paraconsistent weak Kleene logic. Zbl 1452.03070
Szmuc, Damian E.
3
2019
Reasoning about space: The hole story. Zbl 0983.03008
Varzi, Achille C.
3
1996
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 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
Five theories of reasoning: interconnections and applications to mathematics. Zbl 1244.03028
Pease, Alison; Aberdein, Andrew
3
2011
Admissibility of cut in congruent modal logics. Zbl 1248.03076
Indrzejczak, Andrzej
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
Generating cooperative question-responses by means of erotetic search scenarios. Zbl 1407.68472
Łupkowski, Paweł; Leszczyńska-Jasion, Dorota
3
2015
On classical behavior of intuitionistic modalities. Zbl 1375.03022
Drobyshevich, Sergey
3
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
Mereology then and now. Zbl 1369.03046
Gruszczyński, Rafał; Varzi, Achille C.
3
2015
Regions-based two dimensional continua: the Euclidean case. Zbl 1372.03026
Hellman, Geoffrey; Shapiro, Stewart
3
2015
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
Completeness of minimal positional calculus. Zbl 1117.03328
Jarmużek, Tomasz; Pietruszczak, Andrzej
3
2004
Modal hybrid logic. Zbl 1145.03009
Indrzejczak, Andrzej
3
2007
How to define a mereological (collective) set. Zbl 1243.03067
Gruszczyński, Rafał; Pietruszczak, Andrzej
3
2010
A systematics of deontic action logics based on Boolean algebra. Zbl 1239.03012
Trypuz, Robert; Kulicki, Piotr
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
On Béziau’s logic Z. Zbl 1170.03015
Omori, Hitoshi; Waragai, Toshiharu
3
2008
On algorithmic properties of propositional inconsistency-adaptive logics. Zbl 1283.03059
Odintsov, Sergei P.; Speranski, Stanislav O.
3
2012
Supervenience, dependence, disjunction. Zbl 07166049
Humberstone, Lloyd
2
2019
Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis. Zbl 1446.03055
Petrukhin, Yaroslav; Shangin, Vasilyi
2
2019
A compositional semantics for ‘even if’ conditionals. Zbl 1417.03220
Vidal, Mathieu
2
2017
A simulation of natural deduction and Gentzen sequent calculus. Zbl 1456.03084
Kozhemiachenko, Daniil
2
2018
The logical burdens of proof. Assertion and hypothesis. Zbl 1417.03136
Chiffi, Daniele; Schang, Fabien
2
2017
Trope sheaves. A topological ontology of tropes. Zbl 0969.03505
Mormann, Thomas
2
1995
Compositionality is not the problem. Zbl 0978.03024
Hodges, Wilfrid
2
1998
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
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
Seeing to it that an agent forms a belief. Zbl 1035.03008
Wansing, Heinrich
2
2002
Question dependency in terms of compliance and erotetic implication. Zbl 1375.03031
Łupkowski, Paweł
2
2015
Dynamic epistemic logic and logical omniscience. Zbl 1375.03018
Rasmussen, Mattias Skipper
2
2015
Notes on models of first-order mereological theories. Zbl 1369.03080
Tsai, Hsing-Chien
2
2015
The case of dialetheism. Zbl 1384.03077
Tkaczyk, Marcin
2
2016
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
Some new results on PCL1 and its related systems. Zbl 1245.03043
Waragai, Toshiharu; Omori, Hitoshi
2
2010
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
The Collatz conjecture. A case study in mathematical problem solving. Zbl 1117.00304
Van Bendegem, Jean Paul
2
2005
On the da Costa, Dubikajtis and Kotas’ system of the discursive logic, \(D_2^*\). Zbl 1117.03325
Ciuciura, Janusz
2
2005
Anselm and Russell. Zbl 1134.03300
Nowicki, Maciej
2
2006
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
Simplified Kripke style semantics for some very weak modal logics. Zbl 1222.03026
Pietruszczak, Andrzej
2
2010
A modal approach to dynamic ontology: modal mereotopology. Zbl 1156.03028
Vakarelov, Dimiter
2
2008
Rejected axioms for the “nonsense-logic” W and the \(k\)-valued logic of Sobociński. Zbl 1170.03329
Sochacki, Robert
2
2008
Justification logic, inference tracking, and data privacy. Zbl 1283.03037
Studer, Thomas
2
2011
Models of possibilism and trivialism. Zbl 1283.03018
Estrada-González, Luis
2
2012
Extended pregroup grammars applied to natural languages. Zbl 1283.03060
Kiślak-Malinowska, Aleksandra
2
2012
Fregean description theory in proof-theoretical setting. Zbl 07166050
Indrzejczak, Andrzej
1
2019
Theory of quantum computation and philosophy of mathematics. II. Zbl 1430.68107
Wójtowicz, Krzysztof
1
2019
On three axiom systems for classical mereology. Zbl 07166054
Varzi, Achille C.
1
2019
Connexive logics. An overview and current trends. Zbl 1458.03005
Omori, Hitoshi; Wansing, Heinrich
1
2019
An epistemic interpretation of paraconsistent weak Kleene logic. Zbl 1452.03070
Szmuc, Damian E.
3
2019
Supervenience, dependence, disjunction. Zbl 07166049
Humberstone, Lloyd
2
2019
Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis. Zbl 1446.03055
Petrukhin, Yaroslav; Shangin, Vasilyi
2
2019
Fregean description theory in proof-theoretical setting. Zbl 07166050
Indrzejczak, Andrzej
1
2019
Theory of quantum computation and philosophy of mathematics. II. Zbl 1430.68107
Wójtowicz, Krzysztof
1
2019
On three axiom systems for classical mereology. Zbl 07166054
Varzi, Achille C.
1
2019
Connexive logics. An overview and current trends. Zbl 1458.03005
Omori, Hitoshi; Wansing, Heinrich
1
2019
Humble connexivity. Zbl 1458.03014
Kapsner, Andreas
1
2019
Natural deduction for four-valued both regular and monotonic logics. Zbl 1456.03048
Petrukhin, Yaroslav
7
2018
A simulation of natural deduction and Gentzen sequent calculus. Zbl 1456.03084
Kozhemiachenko, Daniil
2
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
Bochvar’s three-valued logic and literal paralogics: their lattice and functional equivalence. Zbl 06940664
Karpenko, Alexander; Tomova, Natalya
11
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
2
2017
The logical burdens of proof. Assertion and hypothesis. Zbl 1417.03136
Chiffi, Daniele; Schang, Fabien
2
2017
Algorithmic theories of problems. A constructive and a non-constructive approach. Zbl 1417.03124
Pezlar, Ivo
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.
8
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
The case of dialetheism. Zbl 1384.03077
Tkaczyk, Marcin
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
Sweet SIXTEEN: automation via embedding into classical higher-order logic. Zbl 1373.03030
Steen, Alexander; Benzmüller, Christoph
1
2016
A system for proper multiple-conclusion entailment. Zbl 1375.03016
Skura, Tomasz; Wiśniewski, Andrzej
7
2015
Hypersequent calculi for S5: the methods of cut elimination. Zbl 1372.03037
Bednarska, Kaja; Indrzejczak, Andrzej
6
2015
Paraconsistency and Sette’s calculus P1. Zbl 1372.03050
Ciuciura, Janusz
5
2015
Classical mereology is not elementarily axiomatizable. Zbl 1369.03068
Pietruszczak, Andrzej
4
2015
Generating cooperative question-responses by means of erotetic search scenarios. Zbl 1407.68472
Łupkowski, Paweł; Leszczyńska-Jasion, Dorota
3
2015
On classical behavior of intuitionistic modalities. Zbl 1375.03022
Drobyshevich, Sergey
3
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
Mereology then and now. Zbl 1369.03046
Gruszczyński, Rafał; Varzi, Achille C.
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
Dynamic epistemic logic and logical omniscience. Zbl 1375.03018
Rasmussen, Mattias Skipper
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
Neighborhood semantics for basic and intuitionistic logic. Zbl 1375.03014
Moniri, Morteza; Shirmohammadzadeh Maleki, Fatemeh
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
6
2014
Concepts as hyperintensional objects. Zbl 1321.03017
Materna, Pavel
5
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
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
On the interaction of semantics and deduction in transparent intensional logic (is Tichý’s logic a logic?). Zbl 1321.03019
Raclavský, Jiři
1
2014
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ł
1
2013
On minimal models for pure calculi of names. Zbl 1321.03046
Kulicki, Piotr
1
2013
Negation in weak positional calculi. Zbl 1321.03047
Tkaczyk, Marcin
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
Coppola, Cristina; Gerla, Giangiacomo
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
On algorithmic properties of propositional inconsistency-adaptive logics. Zbl 1283.03059
Odintsov, Sergei P.; Speranski, Stanislav O.
3
2012
Models of possibilism and trivialism. Zbl 1283.03018
Estrada-González, Luis
2
2012
Extended pregroup grammars applied to natural languages. Zbl 1283.03060
Kiślak-Malinowska, Aleksandra
2
2012
Librationist closures of the paradoxes. Zbl 1301.03010
Bjørdal, Frode
1
2012
The theory of form logic. Zbl 1283.03057
Freitag, Wolfgang; Zinke, Alexandra
1
2012
Structural features in Ernst Schröder’s work. II. Zbl 1300.03001
Bondoni, Davide
1
2012
A formal approach to exploring the interrogator’s perspective in the Turing test. Zbl 1244.03023
Łupkowski, Paweł
4
2011
Five theories of reasoning: interconnections and applications to mathematics. Zbl 1244.03028
Pease, Alison; Aberdein, Andrew
3
2011
Admissibility of cut in congruent modal logics. Zbl 1248.03076
Indrzejczak, Andrzej
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
Justification logic, inference tracking, and data privacy. Zbl 1283.03037
Studer, Thomas
2
2011
A norm-giver meets deontic action logic. Zbl 1244.03075
Trypuz, Robert; Kulicki, Piotr
1
2011
Conceptual and derivation systems. Zbl 1244.03030
Raclavský, Jiří; Kuchyňka, Petr
1
2011
Refutation systems for a system of nonsense-logic. Zbl 1244.03101
Sochacki, Robert
1
2011
Back to Aristotle! Zbl 1284.03101
Slater, Hartley
1
2011
Structural features in Ernst Schröder’s work. I. Zbl 1267.03001
Bondoni, Davide
1
2011
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
How to define a mereological (collective) set. Zbl 1243.03067
Gruszczyński, Rafał; Pietruszczak, Andrzej
3
2010
A systematics of deontic action logics based on Boolean algebra. Zbl 1239.03012
Trypuz, Robert; Kulicki, Piotr
3
2010
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
Simplified Kripke style semantics for some very weak modal logics. Zbl 1222.03026
Pietruszczak, Andrzej
2
2010
Inconsistency-adaptive modal logics. On how to cope with modal inconsistency. Zbl 1244.03094
Lycke, Hans
1
2010
The critics of paraconsistency and of many-valuedness and the geometry of oppositions. Zbl 1243.03037
Moretti, Alessio
1
2010
Relevant generalization starts here (and here \(= 2\)). Zbl 1244.03081
Zaitsev, Dmitry; Grigoriev, Oleg
1
2010
A Routley-Meyer semantics for Ackermann’s logics of “strenge Implikation”. Zbl 1220.03009
Méndez, José M.
1
2010
Dyadic deontic logic and semantic tableaux. Zbl 1239.03011
Rönnedal, Daniel
1
2010
The ontological argument and Russell’s antinomy. Zbl 1213.03012
Uckelman, Sara L.
1
2010
Theory of quantum computation and philosophy of mathematics. I. Zbl 1213.68270
Wójtowicz, Krzysztof
1
2010
Decidability of mereological theories. Zbl 1186.03018
Tsai, Hsing-chien
5
2009
Space, points and mereology. On foundations of point-free Euclidean geometry. Zbl 1186.03019
Gruszczyński, Rafał; Pietruszczak, Andrzej
4
2009
On univocal connectives. Zbl 1188.03019
Ertola, Rodolfo
1
2009
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
...and 72 more Documents
all top 5

Cited by 325 Authors

14 Petrukhin, Yaroslav Igorevich
13 Maksimova, Larisa L’vovna
10 Pietruszczak, Andrzej
9 Wansing, Heinrich Theodor
8 Batens, Diderik
7 Béziau, Jean-Yves
7 Omori, Hitoshi
7 Robles, Gemma
7 Shangin, Vasily
7 Yun, Veta Fëdorovna
6 Indrzejczak, Andrzej
6 Kamide, Norihiro
6 Odintsov, Sergei P.
6 Tsai, Hsing-chien
5 Leszczyńska-Jasion, Dorota
5 Łupkowski, Paweł
5 Strasser, Christian
5 Wiśniewski, Andrzej
4 Avron, Arnon
4 Beirlaen, Mathieu
4 Ferguson, Thomas Macaulay
4 Gerla, Giangiacomo
4 Gruszczyński, Rafał
4 Nasieniewski, Marek
4 Osorio, Mauricio A.
4 Shramko, Yaroslav V.
4 Zamansky, Anna
3 Arieli, Ofer
3 Carballido, José Luis
3 Carrara, Massimiliano
3 Chiffi, Daniele
3 Citkin, Alex
3 Coniglio, Marcelo Esteban
3 Demey, Lorenz
3 Düntsch, Ivo
3 Jarmużek, Tomasz
3 Meheus, Joke
3 Smessaert, Hans
3 Szmuc, Damian Enrique
3 Vakarelov, Dimiter
3 Varzi, Achille C.
3 Verdée, Peter
3 Wybraniec-Skardowska, Urszula
3 Zepeda, Claudia
2 Akama, Seiki
2 Allwein, Gerard
2 Baldi, Michele Pra
2 Barbosa, Luís Soares
2 Běhounek, Libor
2 Bennett, Brandon
2 Berto, Francesco
2 Cabalar, Pedro
2 Cantwell, John C.
2 Chakraborty, Mihir Kumar
2 Coppola, Cristina
2 Da Costa, Newton Carneiro Affonso
2 de Ronde, Christian
2 De, Michael
2 Drobyshevich, Sergeĭ Andreevich
2 Duzi, Marie
2 Epstein, Richard L.
2 Estrada-González, Luis
2 Figallo Orellano, Aldo
2 Harrison, William L.
2 Humberstone, Lloyd
2 Kaneiwa, Ken
2 Kulicki, 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
2 Paoli, Francesco
2 Pease, Alison
2 Read, Stephen
2 Rönnedal, Daniel
2 Sano, Katsuhiko
2 Santos, Paulo Eduardo
2 Sassoli de Bianchi, Massimiliano
2 Schang, Fabien
2 Sedlár, Igor
2 Speranski, Stanislav O.
2 Szałas, Andrzej
2 Tkaczyk, Marcin
2 Tomova, Natal’ya Evgen’evna
2 Trafford, James
2 Trybus, Adam
2 Trypuz, Robert
2 Urbański, Mariusz
2 Weber, Zach
2 Weiss, Yale
2 Wójtowicz, Krzysztof
2 Zardini, Elia
1 Aberdein, Andrew
1 Agudelo-Agudelo, Juan C.
1 Agudelo-González, Carlos A.
1 Alama, Jesse
1 Anellis, Irving H.
...and 225 more Authors
all top 5

Cited in 50 Journals

44 Studia Logica
44 Logic and Logical Philosophy
23 Journal of Applied Non-Classical Logics
21 Journal of Philosophical Logic
21 Logica Universalis
15 Synthese
14 Bulletin of the Section of Logic
9 Journal of Logic, Language and Information
9 Journal of Applied Logic
8 Algebra and Logic
8 The Review of Symbolic Logic
6 Notre Dame Journal of Formal Logic
5 Siberian Mathematical Journal
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 Erkenntnis
3 Foundations of Science
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 International Journal of General Systems
1 International Journal of Theoretical Physics
1 Moscow University Mathematics Bulletin
1 Journal of Geometry
1 The Journal of Symbolic Logic
1 Science of Computer Programming
1 Order
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 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