# 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/archivehttp://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

#### Latest Issues

 28, No. 4 (2019) 28, No. 3 (2019) 28, No. 2 (2019) 28, No. 1 (2019) 27, No. 4 (2018) 27, No. 3 (2018) 27, No. 2 (2018) 27, No. 1 (2018) 26, No. 4 (2017) 26, No. 3 (2017) 26, No. 2 (2017) 26, No. 1 (2017) 25, No. 4 (2016) 25, No. 3 (2016) 25, No. 2 (2016) 25, No. 1 (2016) 24, No. 4 (2015) 24, No. 3 (2015) 24, No. 2 (2015) 24, No. 1 (2015) 23, No. 4 (2014) 23, No. 3 (2014) 23, No. 2 (2014) 23, No. 1 (2014) 22, No. 4 (2013) 22, No. 3 (2013) 22, No. 2 (2013) 22, No. 1 (2013) 21, No. 4 (2012) 21, No. 3 (2012) 21, No. 2 (2012) 21, No. 1 (2012) 20, No. 4 (2011) 20, No. 3 (2011) 20, No. 1-2 (2011) 19, No. 4 (2010) 19, No. 3 (2010) 19, No. 1-2 (2010) 18, No. 3-4 (2010) 18, No. 2 (2009) 18, No. 1 (2009) 17, No. 4 (2008) 17, No. 3 (2008) 17, No. 1-2 (2008) 16, No. 4 (2007) 16, No. 2-3 (2007) 16, No. 1 (2007) 15, No. 4 (2006) 15, No. 3 (2006) 15, No. 2 (2006) 15, No. 1 (2006) 14, No. 2 (2005) 14, No. 1 (2005) 13 (2004) 11-12 (2003) 10 (2002) 9 (2001) 8 (2000) 7 (1999) 6 (1998) 5 (1997) 4 (1996) 3 (1995) 2 (1994) 1 (1993)
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
all top 5

#### Fields

 403 Mathematical logic and foundations (03-XX) 37 General and overarching topics; collections (00-XX) 26 History and biography (01-XX) 23 Computer science (68-XX) 12 Order, lattices, ordered algebraic structures (06-XX) 10 Geometry (51-XX) 8 General topology (54-XX) 7 Quantum theory (81-XX) 5 General algebraic systems (08-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Category theory; homological algebra (18-XX) 4 Group theory and generalizations (20-XX) 4 Relativity and gravitational theory (83-XX) 1 Number theory (11-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Information and communication theory, circuits (94-XX)

#### 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
2000
Logic of classical refutability and class of extensions of minimal logic. Zbl 1034.03027
Odintsov, S. P.
2001
Bochvar’s three-valued logic and literal paralogics: their lattice and functional equivalence. Zbl 06940664
Karpenko, Alexander; Tomova, Natalya
2017
A propositional calculus for inconsistent deductive systems. Zbl 1013.03004
Jaśkowski, Stanisław
1999
Towards the unification of inconsistency handling mechanisms. Zbl 1005.03508
Batens, Diderik
2000
Natural deduction for three-valued regular logics. Zbl 1417.03181
Petrukhin, Yaroslav
2017
Paraconsistency and analyticity. Zbl 1001.03031
Oller, Carlos A.
1999
The paraconsistent logic Z. A possible solution to Jaśkowski’s problem. Zbl 1134.03018
Béziau, Jean-Yves
2006
The lattice of Belnapian modal logics: special extensions and counterparts. Zbl 1396.03034
Odintsov, Sergei P.; Speranski, Stanislav O.
2016
Natural deduction for four-valued both regular and monotonic logics. Zbl 1456.03048
Petrukhin, Yaroslav
2018
Jaśkowski’s criterion and three-valued paraconsistent logics. Zbl 1001.03029
Karpenko, Alexander S.
1999
A system for proper multiple-conclusion entailment. Zbl 1375.03016
Skura, Tomasz; Wiśniewski, Andrzej
2015
Continuous lattices and Whiteheadian theory of space. Zbl 0974.03011
Mormann, Thomas
1998
On the discussive conjunction in the propositional calculus for inconsistent deductive systems. Zbl 1013.03005
Jaśkowski, Stanisław
1999
Pragmatic and dialogic interpretations of bi-intuitionism. I. Zbl 1364.03018
Bellin, Gianluigi; Carrara, Massimiliano; Chiffi, Daniele; Menti, Alessandro
2014
Hypersequent calculi for S5: the methods of cut elimination. Zbl 1372.03037
Bednarska, Kaja; Indrzejczak, Andrzej
2015
Pieces of mereology. Zbl 1117.03018
Pietruszczak, Andrzej
2005
Paraconsistency and Sette’s calculus P1. Zbl 1372.03050
Ciuciura, Janusz
2015
Rational agency from a truth-functional perspective. Zbl 1369.03054
Kubyshkina, Ekaterina; Zaitsev, Dmitry V.
2016
Concepts as hyperintensional objects. Zbl 1321.03017
Materna, Pavel
2014
Decidability of mereological theories. Zbl 1186.03018
Tsai, Hsing-chien
2009
Hintikka and Cresswell on logical omniscience. Zbl 1134.03006
Jago, Mark
2006
On the logics related to A. Arruda’s system V1. Zbl 1001.03030
Popov, V. M.
1999
A formal approach to exploring the interrogator’s perspective in the Turing test. Zbl 1244.03023
Łupkowski, Paweł
2011
A simple Henkin-style completeness proof for Gödel 3-valued logic G3. Zbl 1364.03038
Robles, Gemma
2014
Classical mereology is not elementarily axiomatizable. Zbl 1369.03068
Pietruszczak, Andrzej
2015
Trivial dialetheism and the logic of paradox. Zbl 1384.03017
Beziau, Jean-Yves
2016
Space, points and mereology. On foundations of point-free Euclidean geometry. Zbl 1186.03019
Gruszczyński, Rafał; Pietruszczak, Andrzej
2009
Symmetric and dual paraconsistent logics. Zbl 1227.03034
Kamide, Norihiro; Wansing, Heinrich
2010
An adaptive logic framework for conditional obligations and deontic dilemmas. Zbl 1229.03020
Straßer, Christian
2010
Some adaptive logics for diagnosis. Zbl 1117.03327
Batens, Diderik; Meheus, Joke; Provijn, Dagmar; Verhoeven, Liza
2003
The modes of physical properties in the logical foundations of physics. Zbl 1117.00306
Smets, Sonja
2005
The laws of non-bivalent probability. Zbl 1134.03017
Cantwell, John
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
2008
From BDI and stit to bdi-stit logic. Zbl 1159.03013
Semmling, Caroline; Wansing, Heinrich
2008
Abstract logic of oppositions. Zbl 1283.03026
Schang, Fabien
2012
An epistemic interpretation of paraconsistent weak Kleene logic. Zbl 1452.03070
Szmuc, Damian E.
2019
Reasoning about space: The hole story. Zbl 0983.03008
Varzi, Achille C.
1996
Preferences as inconsistency-resolvers: The inconsistency-adaptive logic PRL. Zbl 1005.03513
Vanackere, Guido
2000
Inferential paraconsistency. Zbl 1005.03031
Malinowski, Grzegorz
2000
A deductive-reductive form of logic: Intuitionistic S4 modalities. Zbl 1028.03012
Łukowski, Piotr
2002
A new axiomatization of Jaśkowski’s discussive logic. Zbl 1028.03020
Vasyukov, Vladimir L.
2001
Five theories of reasoning: interconnections and applications to mathematics. Zbl 1244.03028
Pease, Alison; Aberdein, Andrew
2011
Admissibility of cut in congruent modal logics. Zbl 1248.03076
Indrzejczak, Andrzej
2011
On axiomatization of Łukasiewicz’s four-valued modal logic. Zbl 1261.03090
Tkaczyk, Marcin
2011
More on the decidability of mereological theories. Zbl 1244.03054
Tsai, Hsing-chien
2011
Generating cooperative question-responses by means of erotetic search scenarios. Zbl 1407.68472
Łupkowski, Paweł; Leszczyńska-Jasion, Dorota
2015
On classical behavior of intuitionistic modalities. Zbl 1375.03022
Drobyshevich, Sergey
2015
Reflections on temporal and modal logic. Zbl 1375.03019
Epstein, Richard L.
2015
A meta-logic of inference rules: syntax. Zbl 1375.03015
Citkin, Alex
2015
Mereology then and now. Zbl 1369.03046
Gruszczyński, Rafał; Varzi, Achille C.
2015
Regions-based two dimensional continua: the Euclidean case. Zbl 1372.03026
Hellman, Geoffrey; Shapiro, Stewart
2015
Why topology in the minimalist foundation must be pointfree. Zbl 1341.03097
Maietti, Maria Emilia; Sambin, Giovanni
2013
Connecting bilattice theory with multivalued logic. Zbl 1321.03040
Genito, Daniele; Gerla, Giangiacomo
2014
Completeness of minimal positional calculus. Zbl 1117.03328
Jarmużek, Tomasz; Pietruszczak, Andrzej
2004
Modal hybrid logic. Zbl 1145.03009
Indrzejczak, Andrzej
2007
How to define a mereological (collective) set. Zbl 1243.03067
Gruszczyński, Rafał; Pietruszczak, Andrzej
2010
A systematics of deontic action logics based on Boolean algebra. Zbl 1239.03012
Trypuz, Robert; Kulicki, Piotr
2010
A mind of a non-countable set of ideas. Zbl 1152.03301
Citkin, Alexander
2008
Formulas of one propositional variable in intuitionistic logic with the Solovay modality. Zbl 1157.03040
Esakia, Leo; Grigolia, Revaz
2008
On Béziau’s logic Z. Zbl 1170.03015
Omori, Hitoshi; Waragai, Toshiharu
2008
On algorithmic properties of propositional inconsistency-adaptive logics. Zbl 1283.03059
Odintsov, Sergei P.; Speranski, Stanislav O.
2012
Supervenience, dependence, disjunction. Zbl 07166049
Humberstone, Lloyd
2019
Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis. Zbl 1446.03055
Petrukhin, Yaroslav; Shangin, Vasilyi
2019
A compositional semantics for ‘even if’ conditionals. Zbl 1417.03220
Vidal, Mathieu
2017
A simulation of natural deduction and Gentzen sequent calculus. Zbl 1456.03084
Kozhemiachenko, Daniil
2018
The logical burdens of proof. Assertion and hypothesis. Zbl 1417.03136
Chiffi, Daniele; Schang, Fabien
2017
Trope sheaves. A topological ontology of tropes. Zbl 0969.03505
Mormann, Thomas
1995
Compositionality is not the problem. Zbl 0978.03024
Hodges, Wilfrid
1998
Finitely many-valued paraconsistent systems. Zbl 0985.03016
Tuziak, Roman
1997
Logic may be simple. Logic, congruence and algebra. Zbl 0985.03006
Béziau, Jean-Yves
1997
Nelson’s paraconsistent logics. Zbl 1001.03027
Akama, Seiki
1999
Vasil’iev: What did he exactly do? Zbl 1004.03501
Suchoń, Wojciech
1999
Two new strategies for inconsistency-adaptive logics. Zbl 1005.03510
De Clercq, Kristof
2000
Quasi-matrix logic as a paraconsistent logic for dubitable information. Zbl 1005.03511
Ivlev, Yu. V.
2000
Seeing to it that an agent forms a belief. Zbl 1035.03008
Wansing, Heinrich
2002
Question dependency in terms of compliance and erotetic implication. Zbl 1375.03031
Łupkowski, Paweł
2015
Dynamic epistemic logic and logical omniscience. Zbl 1375.03018
Rasmussen, Mattias Skipper
2015
Notes on models of first-order mereological theories. Zbl 1369.03080
Tsai, Hsing-Chien
2015
The case of dialetheism. Zbl 1384.03077
Tkaczyk, Marcin
2016
A system of the logic of change. Zbl 1321.03045
Kiczuk, Stanisław
2014
Simulation logic. Zbl 1321.03029
Allwein, Gerard; Harrison, William L.; Andrews, David
2014
Some new results on PCL1 and its related systems. Zbl 1245.03043
Waragai, Toshiharu; Omori, Hitoshi
2010
ZF and the axiom of choice in some paraconsistent set theories. Zbl 1117.03346
Libert, Thierry
2003
Classical arithmetic is quite unnatural. Zbl 1117.03311
Van Bendegem, Jean Paul
2003
The Collatz conjecture. A case study in mathematical problem solving. Zbl 1117.00304
Van Bendegem, Jean Paul
2005
On the da Costa, Dubikajtis and Kotas’ system of the discursive logic, $$D_2^*$$. Zbl 1117.03325
Ciuciura, Janusz
2005
Anselm and Russell. Zbl 1134.03300
Nowicki, Maciej
2006
Whitehead’s pointfree geometry and diametric posets. Zbl 1229.06004
Gerla, Giangiacomo; Paolillo, Bonaventura
2010
Can concepts be defined in terms of sets? Zbl 1246.03016
Duží, Marie; Materna, Pavel
2010
Simplified Kripke style semantics for some very weak modal logics. Zbl 1222.03026
Pietruszczak, Andrzej
2010
A modal approach to dynamic ontology: modal mereotopology. Zbl 1156.03028
Vakarelov, Dimiter
2008
Rejected axioms for the “nonsense-logic” W and the $$k$$-valued logic of Sobociński. Zbl 1170.03329
Sochacki, Robert
2008
Justification logic, inference tracking, and data privacy. Zbl 1283.03037
Studer, Thomas
2011
Models of possibilism and trivialism. Zbl 1283.03018
Estrada-González, Luis
2012
Extended pregroup grammars applied to natural languages. Zbl 1283.03060
Kiślak-Malinowska, Aleksandra
2012
Fregean description theory in proof-theoretical setting. Zbl 07166050
Indrzejczak, Andrzej
2019
Theory of quantum computation and philosophy of mathematics. II. Zbl 1430.68107
Wójtowicz, Krzysztof
2019
On three axiom systems for classical mereology. Zbl 07166054
Varzi, Achille C.
2019
Connexive logics. An overview and current trends. Zbl 1458.03005
Omori, Hitoshi; Wansing, Heinrich
2019
An epistemic interpretation of paraconsistent weak Kleene logic. Zbl 1452.03070
Szmuc, Damian E.
2019
Supervenience, dependence, disjunction. Zbl 07166049
Humberstone, Lloyd
2019
Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis. Zbl 1446.03055
Petrukhin, Yaroslav; Shangin, Vasilyi
2019
Fregean description theory in proof-theoretical setting. Zbl 07166050
Indrzejczak, Andrzej
2019
Theory of quantum computation and philosophy of mathematics. II. Zbl 1430.68107
Wójtowicz, Krzysztof
2019
On three axiom systems for classical mereology. Zbl 07166054
Varzi, Achille C.
2019
Connexive logics. An overview and current trends. Zbl 1458.03005
Omori, Hitoshi; Wansing, Heinrich
2019
Humble connexivity. Zbl 1458.03014
Kapsner, Andreas
2019
Natural deduction for four-valued both regular and monotonic logics. Zbl 1456.03048
Petrukhin, Yaroslav
2018
A simulation of natural deduction and Gentzen sequent calculus. Zbl 1456.03084
Kozhemiachenko, Daniil
2018
In defence of dialetheism: a reply to Beziau and Tkaczyk. Zbl 1456.03050
Martin, Ben
2018
A generalisation of a refutation-related method in paraconsistent logics. Zbl 1412.03011
Trybus, Adam
2018
Bochvar’s three-valued logic and literal paralogics: their lattice and functional equivalence. Zbl 06940664
Karpenko, Alexander; Tomova, Natalya
2017
Natural deduction for three-valued regular logics. Zbl 1417.03181
Petrukhin, Yaroslav
2017
A compositional semantics for ‘even if’ conditionals. Zbl 1417.03220
Vidal, Mathieu
2017
The logical burdens of proof. Assertion and hypothesis. Zbl 1417.03136
Chiffi, Daniele; Schang, Fabien
2017
Algorithmic theories of problems. A constructive and a non-constructive approach. Zbl 1417.03124
Pezlar, Ivo
2017
Further reflections on sentences saying of themselves strange things. Zbl 1436.03081
Zardini, Elia
2017
The lattice of Belnapian modal logics: special extensions and counterparts. Zbl 1396.03034
Odintsov, Sergei P.; Speranski, Stanislav O.
2016
Rational agency from a truth-functional perspective. Zbl 1369.03054
Kubyshkina, Ekaterina; Zaitsev, Dmitry V.
2016
Trivial dialetheism and the logic of paradox. Zbl 1384.03017
Beziau, Jean-Yves
2016
The case of dialetheism. Zbl 1384.03077
Tkaczyk, Marcin
2016
Simple cut elimination proof for hybrid logic. Zbl 1377.03051
Indrzejczak, Andrzej
2016
Partial and paraconsistent three-valued logics. Zbl 1402.03031
Degauquier, Vincent
2016
Sweet SIXTEEN: automation via embedding into classical higher-order logic. Zbl 1373.03030
Steen, Alexander; Benzmüller, Christoph
2016
A system for proper multiple-conclusion entailment. Zbl 1375.03016
Skura, Tomasz; Wiśniewski, Andrzej
2015
Hypersequent calculi for S5: the methods of cut elimination. Zbl 1372.03037
Bednarska, Kaja; Indrzejczak, Andrzej
2015
Paraconsistency and Sette’s calculus P1. Zbl 1372.03050
Ciuciura, Janusz
2015
Classical mereology is not elementarily axiomatizable. Zbl 1369.03068
Pietruszczak, Andrzej
2015
Generating cooperative question-responses by means of erotetic search scenarios. Zbl 1407.68472
Łupkowski, Paweł; Leszczyńska-Jasion, Dorota
2015
On classical behavior of intuitionistic modalities. Zbl 1375.03022
Drobyshevich, Sergey
2015
Reflections on temporal and modal logic. Zbl 1375.03019
Epstein, Richard L.
2015
A meta-logic of inference rules: syntax. Zbl 1375.03015
Citkin, Alex
2015
Mereology then and now. Zbl 1369.03046
Gruszczyński, Rafał; Varzi, Achille C.
2015
Regions-based two dimensional continua: the Euclidean case. Zbl 1372.03026
Hellman, Geoffrey; Shapiro, Stewart
2015
Question dependency in terms of compliance and erotetic implication. Zbl 1375.03031
Łupkowski, Paweł
2015
Dynamic epistemic logic and logical omniscience. Zbl 1375.03018
Rasmussen, Mattias Skipper
2015
Notes on models of first-order mereological theories. Zbl 1369.03080
Tsai, Hsing-Chien
2015
Quantified temporal alethic-deontic logic. Zbl 1375.03021
Rönnedal, Daniel
2015
In defence of an argument against truthmaker maximalism. Zbl 1369.03043
Gołosz, Jerzy
2015
A propositional logic of temporal connectives. Zbl 1375.03020
Epstein, Richard L.; Buitrago-Díaz, Esperanza
2015
Neighborhood semantics for basic and intuitionistic logic. Zbl 1375.03014
Moniri, Morteza; Shirmohammadzadeh Maleki, Fatemeh
2015
An addendum to: “Notes on models of first-order mereological theories”. Zbl 1369.03081
Tsai, Hsing-Chien
2015
Pragmatic and dialogic interpretations of bi-intuitionism. I. Zbl 1364.03018
Bellin, Gianluigi; Carrara, Massimiliano; Chiffi, Daniele; Menti, Alessandro
2014
Concepts as hyperintensional objects. Zbl 1321.03017
Materna, Pavel
2014
A simple Henkin-style completeness proof for Gödel 3-valued logic G3. Zbl 1364.03038
Robles, Gemma
2014
Connecting bilattice theory with multivalued logic. Zbl 1321.03040
Genito, Daniele; Gerla, Giangiacomo
2014
A system of the logic of change. Zbl 1321.03045
Kiczuk, Stanisław
2014
Simulation logic. Zbl 1321.03029
Allwein, Gerard; Harrison, William L.; Andrews, David
2014
Proof theory of epistemic logic of programs. Zbl 1321.03050
Maffezioli, Paolo; Naibo, Alberto
2014
On the proof-theory of a first-order extension of GL. Zbl 1321.03075
Schwartz, Yehuda; Tourlakis, George
2014
Is transparent intensional logic a non-classical logic? Zbl 1321.03018
Materna, Pavel
2014
On the interaction of semantics and deduction in transparent intensional logic (is Tichý’s logic a logic?). Zbl 1321.03019
Raclavský, Jiři
2014
Why topology in the minimalist foundation must be pointfree. Zbl 1341.03097
Maietti, Maria Emilia; Sambin, Giovanni
2013
Decision procedures for some strong hybrid logics. Zbl 1321.03031
Indrzejczak, Andrzej; Zawidzki, Michał
2013
On minimal models for pure calculi of names. Zbl 1321.03046
Kulicki, Piotr
2013
Negation in weak positional calculi. Zbl 1321.03047
Tkaczyk, Marcin
2013
The abundance of the future. A paraconsistent approach to future contingents. Zbl 1321.03012
Ciuni, Roberto; Proietti, Carlo
2013
Presentism, eternalism, and the triviality problem. Zbl 1321.03013
Gołosz, Jerzy
2013
Special issue on point-free geometry and topology. An introduction. Zbl 1341.03004
Coppola, Cristina; Gerla, Giangiacomo
2013
On the homogeneous countable Boolean contact algebra. Zbl 1327.06013
Düntsch, Ivo; Li, Sanjiang
2013
Dynamic relational mereotopology: logics for stable and unstable relations. Zbl 1344.03013
Nenchev, Vladislav
2013
Abstract logic of oppositions. Zbl 1283.03026
Schang, Fabien
2012
On algorithmic properties of propositional inconsistency-adaptive logics. Zbl 1283.03059
Odintsov, Sergei P.; Speranski, Stanislav O.
2012
Models of possibilism and trivialism. Zbl 1283.03018
Estrada-González, Luis
2012
Extended pregroup grammars applied to natural languages. Zbl 1283.03060
Kiślak-Malinowska, Aleksandra
2012
Librationist closures of the paradoxes. Zbl 1301.03010
Bjørdal, Frode
2012
The theory of form logic. Zbl 1283.03057
Freitag, Wolfgang; Zinke, Alexandra
2012
Structural features in Ernst Schröder’s work. II. Zbl 1300.03001
Bondoni, Davide
2012
A formal approach to exploring the interrogator’s perspective in the Turing test. Zbl 1244.03023
Łupkowski, Paweł
2011
Five theories of reasoning: interconnections and applications to mathematics. Zbl 1244.03028
Pease, Alison; Aberdein, Andrew
2011
Admissibility of cut in congruent modal logics. Zbl 1248.03076
Indrzejczak, Andrzej
2011
On axiomatization of Łukasiewicz’s four-valued modal logic. Zbl 1261.03090
Tkaczyk, Marcin
2011
More on the decidability of mereological theories. Zbl 1244.03054
Tsai, Hsing-chien
2011
Justification logic, inference tracking, and data privacy. Zbl 1283.03037
Studer, Thomas
2011
A norm-giver meets deontic action logic. Zbl 1244.03075
Trypuz, Robert; Kulicki, Piotr
2011
Conceptual and derivation systems. Zbl 1244.03030
Raclavský, Jiří; Kuchyňka, Petr
2011
Refutation systems for a system of nonsense-logic. Zbl 1244.03101
Sochacki, Robert
2011
Back to Aristotle! Zbl 1284.03101
Slater, Hartley
2011
Structural features in Ernst Schröder’s work. I. Zbl 1267.03001
Bondoni, Davide
2011
Symmetric and dual paraconsistent logics. Zbl 1227.03034
Kamide, Norihiro; Wansing, Heinrich
2010
An adaptive logic framework for conditional obligations and deontic dilemmas. Zbl 1229.03020
Straßer, Christian
2010
How to define a mereological (collective) set. Zbl 1243.03067
Gruszczyński, Rafał; Pietruszczak, Andrzej
2010
A systematics of deontic action logics based on Boolean algebra. Zbl 1239.03012
Trypuz, Robert; Kulicki, Piotr
2010
Some new results on PCL1 and its related systems. Zbl 1245.03043
Waragai, Toshiharu; Omori, Hitoshi
2010
Whitehead’s pointfree geometry and diametric posets. Zbl 1229.06004
Gerla, Giangiacomo; Paolillo, Bonaventura
2010
Can concepts be defined in terms of sets? Zbl 1246.03016
Duží, Marie; Materna, Pavel
2010
Simplified Kripke style semantics for some very weak modal logics. Zbl 1222.03026
Pietruszczak, Andrzej
2010
Inconsistency-adaptive modal logics. On how to cope with modal inconsistency. Zbl 1244.03094
Lycke, Hans
2010
The critics of paraconsistency and of many-valuedness and the geometry of oppositions. Zbl 1243.03037
Moretti, Alessio
2010
Relevant generalization starts here (and here $$= 2$$). Zbl 1244.03081
Zaitsev, Dmitry; Grigoriev, Oleg
2010
A Routley-Meyer semantics for Ackermann’s logics of “strenge Implikation”. Zbl 1220.03009
Méndez, José M.
2010
Dyadic deontic logic and semantic tableaux. Zbl 1239.03011
Rönnedal, Daniel
2010
The ontological argument and Russell’s antinomy. Zbl 1213.03012
Uckelman, Sara L.
2010
Theory of quantum computation and philosophy of mathematics. I. Zbl 1213.68270
Wójtowicz, Krzysztof
2010
Decidability of mereological theories. Zbl 1186.03018
Tsai, Hsing-chien
2009
Space, points and mereology. On foundations of point-free Euclidean geometry. Zbl 1186.03019
Gruszczyński, Rafał; Pietruszczak, Andrzej
2009
On univocal connectives. Zbl 1188.03019
Ertola, Rodolfo
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
2008
From BDI and stit to bdi-stit logic. Zbl 1159.03013
Semmling, Caroline; Wansing, Heinrich
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
all top 5

#### Cited in 21 Fields

 323 Mathematical logic and foundations (03-XX) 50 Computer science (68-XX) 22 History and biography (01-XX) 13 General and overarching topics; collections (00-XX) 13 Order, lattices, ordered algebraic structures (06-XX) 8 General topology (54-XX) 7 Geometry (51-XX) 6 Quantum theory (81-XX) 5 Category theory; homological algebra (18-XX) 2 General algebraic systems (08-XX) 2 Convex and discrete geometry (52-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Biology and other natural sciences (92-XX) 1 Number theory (11-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 Topological groups, Lie groups (22-XX) 1 Mechanics of deformable solids (74-XX) 1 Systems theory; control (93-XX) 1 Mathematics education (97-XX)