×

Journal of Applied Non-Classical Logics

Short Title: J. Appl. Non-Class. Log.
Publisher: Taylor & Francis
ISSN: 1166-3081; 1958-5780/e
Online: http://www.tandfonline.com/loi/tncl20
http://jancl.revuesonline.com/resnum.jsp
Comments: Journal; Indexed cover-to-cover
Documents Indexed: 556 Publications (since 1991)
References Indexed: 520 Publications with 14,865 References.
all top 5

Latest Issues

34, No. 2-3 (2024)
34, No. 1 (2024)
33, No. 3-4 (2023)
33, No. 2 (2023)
33, No. 1 (2023)
32, No. 4 (2022)
32, No. 2-3 (2022)
32, No. 1 (2022)
31, No. 3-4 (2021)
31, No. 2 (2021)
31, No. 1 (2021)
30, No. 4 (2020)
30, No. 3 (2020)
30, No. 2 (2020)
30, No. 1 (2020)
29, No. 4 (2019)
29, No. 3 (2019)
29, No. 2 (2019)
29, No. 1 (2019)
28, No. 4 (2018)
28, No. 2-3 (2018)
28, No. 1 (2018)
27, No. 3-4 (2017)
27, No. 1-2 (2017)
26, No. 4 (2016)
26, No. 3 (2016)
26, No. 2 (2016)
26, No. 1 (2016)
25, No. 4 (2015)
25, No. 3 (2015)
25, No. 2 (2015)
25, No. 1 (2015)
24, No. 4 (2014)
24, No. 3 (2014)
24, No. 1-2 (2014)
23, No. 4 (2013)
23, No. 3 (2013)
23, No. 1-2 (2013)
22, No. 4 (2012)
22, No. 3 (2012)
22, No. 1-2 (2012)
21, No. 3-4 (2011)
21, No. 2 (2011)
21, No. 1 (2011)
20, No. 4 (2010)
20, No. 3 (2010)
20, No. 1-2 (2010)
19, No. 4 (2009)
19, No. 3 (2009)
19, No. 2 (2009)
19, No. 1 (2009)
18, No. 4 (2008)
18, No. 2-3 (2008)
18, No. 1 (2008)
17, No. 4 (2007)
17, No. 3 (2007)
17, No. 2 (2007)
17, No. 1 (2007)
16, No. 3-4 (2006)
16, No. 1-2 (2006)
15, No. 4 (2005)
15, No. 3 (2005)
15, No. 2 (2005)
15, No. 1 (2005)
14, No. 4 (2004)
14, No. 3 (2004)
14, No. 1-2 (2004)
13, No. 3-4 (2003)
13, No. 2 (2003)
13, No. 1 (2003)
12, No. 3-4 (2002)
12, No. 2 (2002)
12, No. 1 (2002)
11, No. 3-4 (2001)
11, No. 1-2 (2001)
10, No. 3-4 (2000)
10, No. 2 (2000)
10, No. 1 (2000)
9, No. 4 (1999)
9, No. 2-3 (1999)
9, No. 1 (1999)
8, No. 4 (1998)
8, No. 3 (1998)
8, No. 1-2 (1998)
7, No. 4 (1997)
7, No. 3 (1997)
7, No. 1-2 (1997)
6, No. 4 (1996)
6, No. 3 (1996)
6, No. 2 (1996)
6, No. 1 (1996)
5, No. 2 (1995)
5, No. 1 (1995)
4, No. 2 (1994)
4, No. 1 (1994)
3, No. 2 (1993)
3, No. 1 (1993)
2, No. 2 (1992)
2, No. 1 (1992)
1, No. 2 (1991)
all top 5

Authors

16 Balbiani, Philippe
9 Herzig, Andreas
9 Orłowska, Ewa
9 Robles, Gemma
7 Goranko, Valentin F.
7 Méndez, José M.
7 Szałas, Andrzej
7 Vakarelov, Dimiter
7 van Ditmarsch, Hans Pieter
6 Cabalar, Pedro
6 Petrukhin, Yaroslav Igorevich
6 van Benthem, Johan F. A. K.
5 Chakraborty, Mihir Kumar
5 Demolombe, Robert
5 Dubois, Didier
5 Fariñas del Cerro, Luis
5 Guelev, Dimitar P.
5 Koutras, Costas D.
5 Prade, Henri M.
4 Bergstra, Jan A.
4 Besnard, Philippe
4 Cialdea Mayer, Marta
4 Demri, Stéphane P.
4 Diéguez, Martín
4 Düntsch, Ivo
4 Gabbay, Dov M.
4 Pearce, David
4 Sayed Ahmed, Tarek
4 Schlechta, Karl
4 Tinchev, Tinko
3 Ågotnes, Thomas
3 Agudelo-Agudelo, Juan C.
3 Amgoud, Leila
3 Aucher, Guillaume
3 Banerjee, Mohua
3 Benferhat, Salem
3 Bloch, Isabelle
3 Broersen, Jan M.
3 Celani, Sergio Arturo
3 Cerrito, Serenella
3 Coniglio, Marcelo Esteban
3 Conradie, Willem
3 Pérez de Guzmán, Inmaculada
3 Gencer, Çigdem
3 Godo, Lluís
3 Golińska-Pilarek, Joanna
3 Hartonas, Chrysafis
3 Hunter, Anthony
3 Kamide, Norihiro
3 Konieczny, Sébastien
3 Konikowska, Beata
3 Lorini, Emiliano
3 Masini, Andrea
3 Montanari, Angelo
3 Moszkowski, Ben C.
3 Muravitsky, Alexei Yu.
3 Nour, Karim
3 Pino Pérez, Ramón
3 Ponse, Alban
3 Pynko, Alexej P.
3 Rivieccio, Umberto
3 Rybakov, Vladimir Vladimirovich
3 Sagastume, Marta S.
3 Schaub, Torsten H.
3 van der Hoek, Wiebe
3 van der Torre, Leendert W. N.
3 Varzinczak, Ivan Jóse
3 Wagner, Gerd
3 Wansing, Heinrich Theodor
3 Wu, Jinzhao
2 Aguado, Felicidad
2 Alferes, José Júlio
2 Baratella, Stefano
2 Belikov, Alex
2 Belluce, Lawrence Peter
2 Bennett, Brandon
2 Bethke, Inge
2 Burrieza, Alfredo
2 Carnielli, Walter Alexandre
2 Clarke, Michael R. B.
2 Cubillo, Susana
2 Da Ré, Bruno
2 Dastani, Mehdi M.
2 Di Nola, Antonio
2 Dixon, Clare
2 Doherty, Patrick
2 D’Ottaviano, Itala M. Loffredo
2 Doutre, Sylvie
2 Engelfriet, Joeri
2 Estrada, Alejandro
2 Fan, Xiaocong
2 Fernández, Víctor L.
2 Fisher, Michael
2 Formisano, Andrea
2 French, Tim
2 Froidevaux, Christine
2 García, Alejandro Javier
2 Georgatos, Konstantinos
2 Gonçalves, Ricardo
2 Grant, John R.
...and 587 more Authors

Publications by Year

Citations contained in zbMATH Open

364 Publications have been cited 2,408 times in 1,906 Documents Cited by Year
Dynamic logic for belief revision. Zbl 1186.03033
van Benthem, Johan
142
2007
Argument-based extended logic programming with defeasible priorities. Zbl 0877.68019
Prakken, Henry; Sartor, Giovanni
89
1997
Dynamic logic of preference upgrade. Zbl 1186.03034
van Benthem, Johan; Liu, Fenrong
79
2007
Epistemic planning for single- and multi-agent systems. Zbl 1242.68285
Bolander, Thomas; Andersen, Mikkel Birkegaard
56
2011
Structure of left-continuous triangular norms with strong induced negations. II: Rotation-annihilation construction. Zbl 1037.03508
Jenei, Sándor
41
2001
Structure of left-continuous triangular norms with strong induced negations. I: Rotation construction. Zbl 1033.03512
Jenei, Sándor
41
2000
Modal logics with Belnapian truth values. Zbl 1242.03050
Odintsov, Sergei P.; Wansing, Heinrich
39
2010
Constructive negation, implication, and co-implication. Zbl 1181.03027
Wansing, Heinrich
39
2008
Semi-revision. Zbl 0869.03017
Hansson, Sven
38
1997
A road map of interval temporal logics and duration calculi. Zbl 1181.03012
Goranko, V.; Montanari, A.; Sciavicco, G.
38
2004
Expressivity and completeness for public update logics via reduction axioms. Zbl 1185.03014
Kooi, Barteld
36
2007
Constructive knowledge: what agents can achieve under imperfect information. Zbl 1186.03031
Jamroga, Wojciech; Ågotnes, Thomas
34
2007
Some (in)translatability results for normal logic programs and propositional theories. Zbl 1184.68160
Janhunen, Tomi
32
2006
A proximity approach to some region-based theories of space. Zbl 1185.68682
Vakarelov, Dimiter; Dimov, Georgi; Düntsch, Ivo; Bennett, Brandon
32
2002
On the tractable counting of theory models and its application to truth maintenance and belief revision. Zbl 1033.03505
Darwiche, Adnan
30
2001
Functional completeness and axiomatizability within Belnap’s four-valued logic and its expansions. Zbl 1033.03017
Pynko, Alexej P.
29
1999
Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System \(P\). Zbl 1038.03023
Biazzo, Veronica; Gilio, Angelo; Lukasiewicz, Thomas; Sanfilippo, Giuseppe
29
2002
An infinity of super-Belnap logics. Zbl 1398.03112
Rivieccio, Umberto
25
2012
“Everywhere” and “here”. Zbl 0993.03020
Shehtman, Valentin
25
1999
A propositional logic with 4 values: true, false, divergent and meaningless. Zbl 0843.03012
Bergstra, Jan A.; Bethke, Inge; Rodenburg, Piet
24
1995
Defining LFIs and LFUs in extensions of infectious logics. Zbl 1398.03138
Szmuc, Damian Enrique
21
2016
The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic. Zbl 1186.03043
Esakia, Leo
21
2006
Distributed knowledge. Zbl 1186.03032
Roelofsen, Floris
21
2007
A computational interpretation of conceptivism. Zbl 1398.03142
Ferguson, T. M.
21
2014
Knowledge, uncertainty and ignorance in logic: Bilattices and beyond. Zbl 0993.03079
Gargov, George
21
1999
On Priest’s logic of paradox. Zbl 0841.03008
Pynko, Alexej P.
18
1995
Justifications for common knowledge. Zbl 1242.03036
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas
18
2011
Temporal equilibrium logic: a survey. Zbl 1400.68199
Aguado, Felicidad; Cabalar, Pedro; Diéguez, Martín; Pérez, Gilberto; Vidal, Concepción
18
2013
A framework for iterated revision. Zbl 1033.03506
Konieczny, Sébastien; Pino Pérez, Ramón
18
2000
On the semantics of graded modalities. Zbl 0797.03013
van der Hoek, Wiebe
16
1992
Some considerations on the logics \(P_ FD\). A logic combining modality and probability. Zbl 0885.03022
van der Hoeck, Wiebe
16
1997
Logical limits of abstract argumentation frameworks. Zbl 1400.68201
Amgoud, Leila; Besnard, Philippe
16
2013
Model-checking \(\mathrm{CTL}^*\) over flat Presburger counter systems. Zbl 1242.68157
Demri, Stéphane; Finkel, Alain; Goranko, Valentin; van Drimmelen, Govert
16
2010
Varieties of MV-algebras. Zbl 1031.06010
Panti, Giovanni
16
1999
Graded consequence: Further studies. Zbl 0839.03010
Chakraborty, M. K.
15
1995
A hierarchy of modal logics with relative accessibility relations. Zbl 0989.03018
Balbiani, Philippe; Orlowska, Ewa
15
1999
Brief study of \(\text{G}'_3\) logic. Zbl 1180.03031
Osorio Galindo, Mauricio; Carballido Carranza, José Luis
14
2008
On consequence in approximate reasoning. Zbl 0794.03032
Castro, J. L.; Trillas, E.; Cubillo, S.
13
1994
From KLM-style conditionals to defeasible modalities, and back. Zbl 1436.03129
Britz, Katarina; Varzinczak, Ivan
13
2018
Computing generalized specificity. Zbl 1185.68679
Stolzenburg, Frieder; García, Alejandro J.; Chesñevar, Carlos I.; Simari, Guillermo R.
13
2003
A modal walk through space. Zbl 1185.03060
Aiello, Marco; van Benthem, Johan
13
2002
Decidability and incompleteness results for first-order temporal logics of linear time. Zbl 0790.03019
Merz, Stephan
12
1992
Graded consequence relations and fuzzy closure operator. Zbl 0872.03012
Gerla, Giangiacomo
12
1996
BDD-based decision procedures for the modal logic K. Zbl 1184.68466
Pan, Guoqiang; Sattler, Ulrike; Vardi, Moshe Y.
12
2006
Modal logics based on mathematical morphology for qualitative spatial reasoning. Zbl 1185.03025
Bloch, Isabelle
12
2002
A tableau-based proof method for temporal logics of knowledge and belief. Zbl 0926.03011
Wooldridge, Michael; Dixon, Clare; Fisher, Michael
11
1998
DEL-sequents for regression and epistemic planning. Zbl 1398.03068
Aucher, Guillaume
11
2012
Finite non-deterministic semantics for some modal systems. Zbl 1398.03089
Coniglio, Marcelo E.; Fariñas del Cerro, Luis; Peron, Newton M.
11
2015
Separation logics and modalities: a survey. Zbl 1398.03151
Demri, Stéphane; Deters, Morgan
10
2015
Fuzzy concept lattice reduction using Shannon entropy and Huffman coding. Zbl 1400.68209
Singh, Prem Kumar; Gani, Abdullah
10
2015
Some modal aspects of XPath. Zbl 1242.68010
ten Cate, Balder; Fontaine, Gaëlle; Litak, Tadeusz
10
2010
Some remarks on the model theory of epistemic plausibility models. Zbl 1242.03037
Demey, Lorenz
10
2011
Belnap-Dunn semantics for natural implicative expansions of Kleene’s strong three-valued matrix with two designated values. Zbl 1444.03092
Robles, Gemma; Méndez, José M.
10
2019
Possible-translations semantics for some weak classically-based paraconsistent logics. Zbl 1187.03025
Marcos, João
10
2008
A canonical model of the region connection calculus. Zbl 1185.03061
Renz, Jochen
10
2002
A hierarchical completeness proof for propositional interval temporal logic with finite time. Zbl 1181.03015
Moszkowski, B.
10
2004
What groups do, can do, and know they can do: an analysis in normal modal logics. Zbl 1210.03015
Broersen, Jan; Herzig, Andreas; Troquard, Nicolas
10
2009
Substructural epistemic logics. Zbl 1398.03074
Sedlár, Igor
9
2015
Assertive graphs. Zbl 1436.03020
Bellucci, F.; Chiffi, Daniele; Pietarinen, A.-V.
9
2018
A family of metainferential logics. Zbl 1444.03084
Pailos, Federico Matias
9
2019
Semantical analysis of weak Kleene logics. Zbl 1444.03087
Ciuni, Roberto; Carrara, Massimiliano
9
2019
PDL with intersection of programs: a complete axiomatization. Zbl 1181.03030
Balbiani, P.; Vakarelov, D.
9
2003
Combining valuations with society semantics. Zbl 1185.03055
Fernández, Víctor L.; Coniglio, Marcelo E.
9
2003
Note on a six-valued extension of three-valued logic. Zbl 0806.03019
Font, Josep M.; Moussavi, Massoud
8
1993
A multi-dimensional terminological knowledge representation language. Zbl 0845.68098
Baader, Franz; Ohlbach, Hans Jürgen
8
1995
Local possibilistic logic. Zbl 0886.03018
Boldrin, Luca; Sossai, Claudio
8
1997
The modal multilogic of geometry. Zbl 0921.03022
Balbiani, Philippe
8
1998
A modal theorem-preserving translation of a class of three-valued logics of incomplete information. Zbl 1398.03107
Ciucci, D.; Dubois, D.
8
2013
Putting right the wording and the proof of the truth lemma for APAL. Zbl 1398.03069
Balbiani, Philippe
8
2015
Continuity, freeness, and filtrations. Zbl 1242.03049
Ghilardi, Silvio
8
2010
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking. Zbl 1242.68161
Guelev, Dimitar P.; Dima, Cătălin; Enea, Constantin
8
2011
Regression in modal logic. Zbl 1185.03028
Demolombe, Robert; Herzig, Andreas; Varzinczak, Ivan
8
2003
PDL for ordered trees. Zbl 1185.03056
Afanasiev, Loredana; Blackburn, Patrick; Dimitriou, Ioanna; Gaiffe, Bertrand; Goris, Evan; Marx, Maarten; de Rijke, Maarten
8
2005
\(\mu\)-programs, uniform interpolation and bisimulation quantifiers for modal logics. Zbl 1186.03054
D’Agostino, Giovanna; Lenzi, Giacomo; French, Tim
8
2006
KAT-ML: an interactive theorem prover for Kleene algebra with tests. Zbl 1184.68457
Aboul-Hosn, Kamal; Kozen, Dexter
8
2006
Foundations of the rule-based system \(\rho\,\text{Log}\). Zbl 1184.68175
Marin, Mircea; Kutsia, Temur
8
2006
On the semantics of combination operations. Zbl 1041.68095
Meyer, Thomas
8
2001
Process algebra with four-valued logic. Zbl 1036.68067
Bergstra, Jan A.; Ponse, Alban
8
2000
Regular bilattices. Zbl 1031.06005
Pynko, Alexej P.
8
2000
An empirical analysis of modal theorem provers. Zbl 1033.03501
Hustadt, Ullrich; Schmidt, Renate A.
8
1999
Belnap-Dunn semantics for natural implicative expansions of Kleene’s strong three-valued matrix. II: Only one designated value. Zbl 1484.03043
Robles, Gemma; Salto, Francisco; Méndez, José M.
7
2019
Deciding the unguarded modal \(\mu\)-calculus. Zbl 1398.03092
Friedmann, Oliver; Lange, Martin
7
2013
Temporal STIT logic and its application to normative reasoning. Zbl 1398.03080
Lorini, Emiliano
7
2013
Logics for multi-subset spaces. Zbl 1242.03039
Heinemann, Bernhard
7
2010
LTL model checking for security protocols. Zbl 1186.68276
Armando, Alessandro; Carbone, Roberto; Compagna, Luca
7
2009
A catalog of weak many-valued modal axioms and their corresponding frame classes. Zbl 1185.03031
Koutras, Costas D.
7
2003
On the strength and scope of DLS. Zbl 1186.03042
Conradie, Willem
7
2006
Non-Archimedean fuzzy and probability logic. Zbl 1187.03024
Schumann, Andrew
7
2008
Roadmap for preferential logics. Zbl 1187.03026
Gabbay, Dov M.; Schlechta, Karl
7
2009
Model-based recasting in answer-set programming. Zbl 1400.68048
Eiter, Thomas; Fink, Michael; Pührer, Jörg; Tompits, Hans; Woltran, Stefan
7
2013
Relevance sensitive non-monotonic inference on belief sequences. Zbl 1041.68093
Chopra, Samir; Georgatos, Konstantinos; Parikh, Rohit
7
2001
Exploiting data dependencies in many-valued logics. Zbl 0836.03013
Hähnle, Reiner
6
1996
Quantifiers, modifiers and qualifiers in fuzzy logic. Zbl 0885.03024
Ying, Mingsheng; Bouchon-Meunier, Bernadette
6
1997
The trivial object and the non-triviality of a semantically closed theory with descriptions. Zbl 0934.03035
Priest, Graham
6
1998
\(KD\) is nullary. Zbl 1398.03086
Balbiani, Philippe; Gencer, Çiğdem
6
2017
Composing models. Zbl 1242.03043
van Eijck, Jan; Sietsma, Floor; Wang, Yanjing
6
2011
Complexity of intuitionistic propositional logic and its fragments. Zbl 1181.03006
Rybakov, Mikhail
6
2008
Belief base merging as a game. Zbl 1185.68693
Konieczny, Sébastien
6
2004
A first step towards modeling semistructured data in hybrid multimodal logic. Zbl 1185.68290
Bidoit, Nicole; Cerrito, Serenella; Thion, Virginie
6
2004
Relational dual tableaux for interval temporal logics. Zbl 1186.03035
Bresolin, Davide; Golińska-Pilarek, Joanna; Orłowska, Ewa
6
2006
Nelson algebras, residuated lattices and rough sets: a survey. Zbl 07842749
Järvinen, Jouni; Radeleczki, Sándor; Rivieccio, Umberto
1
2024
Natural deduction calculi for classical and intuitionistic S5. Zbl 07727658
Guerrini, S.; Masini, A.; Zorzi, M.
2
2023
An empirical and axiomatic comparison of ranking-based semantics for abstract argumentation. Zbl 07757215
Bonzon, Elise; Delobelle, Jérôme; Konieczny, Sébastien; Maudet, Nicolas
1
2023
An elementary belief function logic. Zbl 07757223
Dubois, Didier; Godo, Lluis; Prade, Henri
1
2023
Fragments of quasi-Nelson: residuation. Zbl 07708150
Rivieccio, U.
1
2023
Infectious and transparent emotivism. Zbl 1517.03027
Joaquin, Jeremiah Joven
2
2022
A Bayesian approach to forward and inverse abstract argumentation problems. Zbl 1517.68358
Kido, Hiroyuki; Liao, Beishui
1
2022
A separation theorem for discrete-time interval temporal logic. Zbl 1517.03014
Guelev, Dimitar P.; Moszkowski, Ben
1
2022
Measuring inconsistency in some branching time logics. Zbl 1515.03083
Grant, John
2
2021
A family of genuine and non-algebraisable C-systems. Zbl 1515.03127
Osorio, Mauricio; Figallo-Orellano, Aldo; Pérez-Gaspar, Miguel
2
2021
Epistemic space of degradation processes. Zbl 1516.68096
Yang, Liu; Rauzy, Antoine
1
2021
Metainferential duality. Zbl 1486.03043
Da Ré, Bruno; Pailos, Federico; Szmuc, Damian; Teijeiro, Paula
5
2020
Exactly true and non-falsity logics meeting infectious ones. Zbl 1486.03047
Belikov, Alex; Petrukhin, Yaroslav
4
2020
Structural proof theory for first-order weak Kleene logics. Zbl 1486.03048
Fjellstad, Andreas
4
2020
A logic of negative trust. Zbl 1486.03053
Primiero, G.
3
2020
Logics of variable inclusion and the lattice of consequence relations. Zbl 1486.03020
Pra Baldi, Michele
3
2020
On searching explanatory argumentation graphs. Zbl 1486.68185
Riveret, Régis
2
2020
Modal translation of substructural logics. Zbl 1452.03057
Hartonas, Chrysafis
2
2020
Axiomatization of non-associative generalisations of Hájek’s BL and psBL. Zbl 1436.03160
Petrukhin, Yaroslav
1
2020
The logic of modal changes LMC. Zbl 1452.03060
Łyczak, Marcin
1
2020
A basic quasi-Boolean logic of intuitionistic character. Zbl 1486.03044
Robles, Gemma
1
2020
Belnap-Dunn semantics for natural implicative expansions of Kleene’s strong three-valued matrix with two designated values. Zbl 1444.03092
Robles, Gemma; Méndez, José M.
10
2019
A family of metainferential logics. Zbl 1444.03084
Pailos, Federico Matias
9
2019
Semantical analysis of weak Kleene logics. Zbl 1444.03087
Ciuni, Roberto; Carrara, Massimiliano
9
2019
Belnap-Dunn semantics for natural implicative expansions of Kleene’s strong three-valued matrix. II: Only one designated value. Zbl 1484.03043
Robles, Gemma; Salto, Francisco; Méndez, José M.
7
2019
Two proofs of the algebraic completeness theorem for multilattice logic. Zbl 1444.03089
Grigoriev, Oleg; Petrukhin, Yaroslav
5
2019
Axiomatic and dual systems for constructive necessity, a formally verified equivalence. Zbl 1444.03054
González Huesca, Lourdes del Carmen; Miranda-Perea, Favio E.; Linares-Arévalo, P. Selene
4
2019
Lattice logic as a fragment of (2-sorted) residuated modal logic. Zbl 1444.03057
Hartonas, Chrysafis
4
2019
Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning. Zbl 1444.03183
Aiguier, Marc; Bloch, Isabelle
4
2019
Subordination Tarski algebras. Zbl 1444.03180
Celani, Sergio A.
2
2019
MVW-rigs and product MV-algebras. Zbl 1439.06008
Estrada, Alejandro; Poveda, Yuri A.
2
2019
On Vidal’s trivalent explanations for defective conditional in mathematics. Zbl 1444.03091
Petrukhin, Yaroslav; Shangin, Vasily
1
2019
From KLM-style conditionals to defeasible modalities, and back. Zbl 1436.03129
Britz, Katarina; Varzinczak, Ivan
13
2018
Assertive graphs. Zbl 1436.03020
Bellucci, F.; Chiffi, Daniele; Pietarinen, A.-V.
9
2018
Arguing about constitutive and regulative norms. Zbl 1436.03141
Pigozzi, Gabriella; van der Torre, Leendert
4
2018
Abduction in argumentation frameworks. Zbl 1436.68328
Sakama, Chiaki
4
2018
Truth without standard models: some conceptual problems reloaded. Zbl 1436.03016
Barrio, Eduardo; Da Ré, Bruno
3
2018
Initial sets in abstract argumentation frameworks. Zbl 1436.68329
Xu, Yuming; Cayrol, Claudette
3
2018
Continuous propositional modal logic. Zbl 1436.03127
Baratella, Stefano
3
2018
Fuzzy intensional semantics. Zbl 1499.03020
Běhounek, Libor; Majer, Ondrej
2
2018
Bi-intuitionistic implication structures. Zbl 1436.03094
Skurt, Daniel
1
2018
An independent axiomatisation for free short-circuit logic. Zbl 1436.03178
Ponse, Alban; Staudt, Daan J. C.
1
2018
Logics for extended distributive contact lattices. Zbl 1436.03169
Ivanova, Tatyana
1
2018
Doxastic logic: a new approach. Zbl 1436.03115
Rönnedal, Daniel
1
2018
\(KD\) is nullary. Zbl 1398.03086
Balbiani, Philippe; Gencer, Çiğdem
6
2017
Unification in epistemic logics. Zbl 1398.03070
Balbiani, Philippe; Gencer, Çiğdem
4
2017
On the relation between possibilistic logic and modal logics of belief and knowledge. Zbl 1398.03128
Banerjee, Mohua; Dubois, Didier; Godo, Lluis; Prade, Henri
3
2017
A general framework for dynamic epistemic logic: towards canonical correspondences. Zbl 1398.03073
Motoura, Shota
2
2017
Judgement aggregation in non-classical logics. Zbl 1398.03102
Porello, Daniele
2
2017
Temporal equilibrium logic with past operators. Zbl 1398.03077
Aguado, Felicidad; Cabalar, Pedro; Diéguez, Martín; Pérez, Gilberto; Vidal, Concepción
2
2017
Foundations for a logic of arguments. Zbl 1398.03066
Amgoud, Leila; Besnard, Philippe; Hunter, Anthony
2
2017
Dynamic epistemic logics: promises, problems, shortcomings, and perspectives. Zbl 1398.03072
Herzig, Andreas
2
2017
A mereotopology based on sequent algebras. Zbl 1398.03147
Vakarelov, Dimiter
2
2017
Definability in the class of all KD45-frames – computability and complexity. Zbl 1398.03093
Georgiev, D. T.
1
2017
On the Rosser-Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz. Zbl 1398.03111
Radzki, Mateusz M.
1
2017
A short biography of Luis Fariñas del Cerro. Zbl 1401.01029
Cabalar, Pedro; Diéguez, Martín; Herzig, Andreas; Pearce, David
1
2017
Stable reasoning. Zbl 1400.68203
Cabalar, Pedro; Pearce, David; Valverde, Agustín
1
2017
Reasoning about trust and aboutness in the context of communication. Zbl 1400.68236
Demolombe, Robert
1
2017
Mixed algebras and their logics. Zbl 1398.03209
Düntsch, Ivo; Orłowska, Ewa; Tinchev, Tinko
1
2017
Defining LFIs and LFUs in extensions of infectious logics. Zbl 1398.03138
Szmuc, Damian Enrique
21
2016
Axiomatisation of general concept inclusions from finite interpretations. Zbl 1400.68206
Borchmann, D.; Distel, F.; Kriegel, F.
5
2016
The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic. Zbl 1398.03109
Méndez, José M.; Robles, Gemma
5
2016
Propositional quantification in logics of contingency. Zbl 1398.03098
van Ditmarsch, Hans; Fan, Jie
5
2016
Errata and addenda to: “Finite non-deterministic semantics for some modal systems”. Zbl 1398.03090
Coniglio, Marcelo E.; Fariñas del Cerro, Luis; Peron, Newton M.
5
2016
Knowledge means ‘all’, belief means ‘most’. Zbl 1398.03067
Askounis, Dimitris; Koutras, Costas D.; Zikos, Yorgos
4
2016
First-order frames for orthomodular quantum logic. Zbl 1398.03211
Hartonas, Chrysafis
3
2016
On polynomial semantics for propositional logics. Zbl 1398.03134
Agudelo-Agudelo, Juan C.; Agudelo-González, Carlos A.; García-Quintero, Oscar E.
2
2016
Game theoretical semantics for some non-classical logics. Zbl 1398.03136
Başkent, Can
2
2016
A comparison between monoidal and substructural logics. Zbl 1398.03101
Peterson, Clayton
1
2016
In defence of a logic for ‘because’. Zbl 1398.03036
Schnieder, B.
1
2016
On a paraconsistentization functor in the category of consequence structures. Zbl 1398.03140
de Souza, Edelcio G.; Costa-Leite, Alexandre; Dias, Diogo H. B.
1
2016
Finite non-deterministic semantics for some modal systems. Zbl 1398.03089
Coniglio, Marcelo E.; Fariñas del Cerro, Luis; Peron, Newton M.
11
2015
Separation logics and modalities: a survey. Zbl 1398.03151
Demri, Stéphane; Deters, Morgan
10
2015
Fuzzy concept lattice reduction using Shannon entropy and Huffman coding. Zbl 1400.68209
Singh, Prem Kumar; Gani, Abdullah
10
2015
Substructural epistemic logics. Zbl 1398.03074
Sedlár, Igor
9
2015
Putting right the wording and the proof of the truth lemma for APAL. Zbl 1398.03069
Balbiani, Philippe
8
2015
A new framework for justification logic. Zbl 1398.03071
Giordani, Alessandro
2
2015
A problem for a logic of ‘because’. Zbl 1398.03045
Tsohatzidis, Savas L.
1
2015
Note on paraconsistency and reasoning about fractions. Zbl 1398.03137
Bergstra, Jan A.; Bethke, Inge
1
2015
\(p\)-adic valued logical calculi in simulations of the slime mould behaviour. Zbl 1398.03113
Schumann, Andrew
1
2015
Varying interpolation and amalgamation in polyadic MV-algebras. Zbl 1398.06009
Ahmed, Tarek Sayed
1
2015
Expressiveness and succinctness of a logic of robustness. Zbl 1400.68137
McCabe-Dansted, John C.; French, Tim; Pinchinat, Sophie; Reynolds, Mark
1
2015
A computational interpretation of conceptivism. Zbl 1398.03142
Ferguson, T. M.
21
2014
Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics. Zbl 1398.03135
Avron, Arnon
6
2014
Equivalence in logic-based argumentation. Zbl 1400.68202
Amgoud, Leila; Besnard, Philippe; Vesic, Srdjan
6
2014
Foreword: three-valued logics and their applications. Zbl 1398.00089
Cobreros, Pablo; Égré, Paul; Ripley, David; van Rooij, Robert
5
2014
Capturing the relationship between conditionals and conditional probability with a trivalent semantics. Zbl 1398.03105
Rothschild, Daniel
5
2014
The defective conditional in mathematics. Zbl 1398.03047
Vidal, Mathieu
4
2014
Variants of multi-relational semantics for propositional non-normal modal logics. Zbl 1398.03088
Calardo, Erica; Rotolo, Antonino
4
2014
The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points. Zbl 1398.03103
Robles, Gemma; Méndez, José M.
4
2014
Modeling the suppression task under weak completion and well-founded semantics. Zbl 1398.03152
Dietz, Emmanuelle-Anna; Hölldobler, Steffen; Wernhard, Christoph
2
2014
Trivalent logics arising from L-models for the Lambek calculus with constants. Zbl 1398.03100
Kuznetsov, S. L.
2
2014
Minimal models vs. logic programming: the case of counterfactual conditionals. Zbl 1398.03145
Schulz, Katrin
2
2014
Some remarks on certain trivalent accounts of presupposition projection. Zbl 1398.03149
George, Benjamin R.
1
2014
Remarks on the Gupta-Belnap fixed-point property for \(k\)-valued clones. Zbl 1398.03108
Martínez-Fernández, José
1
2014
Prior’s OIC nonconservativity example revisited. Zbl 1398.03141
Humberstone, Lloyd
1
2014
Temporal equilibrium logic: a survey. Zbl 1400.68199
Aguado, Felicidad; Cabalar, Pedro; Diéguez, Martín; Pérez, Gilberto; Vidal, Concepción
18
2013
Logical limits of abstract argumentation frameworks. Zbl 1400.68201
Amgoud, Leila; Besnard, Philippe
16
2013
A modal theorem-preserving translation of a class of three-valued logics of incomplete information. Zbl 1398.03107
Ciucci, D.; Dubois, D.
8
2013
Deciding the unguarded modal \(\mu\)-calculus. Zbl 1398.03092
Friedmann, Oliver; Lange, Martin
7
2013
...and 264 more Documents
all top 5

Cited by 1,896 Authors

45 van Ditmarsch, Hans Pieter
30 van Benthem, Johan F. A. K.
29 Balbiani, Philippe
21 Wansing, Heinrich Theodor
19 Gabbay, Dov M.
18 Ågotnes, Thomas
18 Dubois, Didier
17 Montanari, Angelo
16 Herzig, Andreas
16 Kamide, Norihiro
16 Simari, Guillermo Ricardo
16 Smets, Sonja J. L.
15 Baltag, Alexandru
15 Bezhanishvili, Guram
15 Demri, Stéphane P.
15 Lorini, Emiliano
15 Ognjanović, Zoran
15 Robles, Gemma
15 Velázquez-Quesada, Fernando Raymundo
14 Amgoud, Leila
14 Godo, Lluís
14 Prade, Henri M.
14 Pynko, Alexej P.
14 Wang, Yanjing
13 Dixon, Clare
13 Petrukhin, Yaroslav Igorevich
13 Schaub, Torsten H.
13 Vakarelov, Dimiter
13 Woltran, Stefan
12 Bergstra, Jan A.
12 Cabalar, Pedro
12 Goranko, Valentin F.
12 Ponse, Alban
12 Rivieccio, Umberto
12 Sciavicco, Guido
12 Studer, Thomas
11 Avron, Arnon
11 Bloch, Isabelle
11 Méndez, José M.
11 Odintsov, Sergei P.
11 Pacuit, Eric
11 Schwarzentruber, François
11 van der Hoek, Wiebe
10 Arieli, Ofer
10 Bolander, Thomas
10 Fariñas del Cerro, Luis
10 Fervari, Raul
10 Gilio, Angelo
10 Hansson, Sven Ove
10 Hunter, Anthony
10 Konieczny, Sébastien
10 Pino Pérez, Ramón
10 Sanfilippo, Giuseppe
10 Szałas, Andrzej
10 Varzinczak, Ivan Jóse
9 Chakraborty, Mihir Kumar
9 Düntsch, Ivo
9 Guelev, Dimitar P.
9 Jamroga, Wojciech
9 Jenei, Sándor
9 Kern-Isberner, Gabriele
9 Özgün, Aybüke
9 Sala, Pietro
8 Bonzio, Stefano
8 Bozzelli, Laura
8 Bresolin, Davide
8 Diéguez, Martín
8 Doder, Dragan
8 Falappa, Marcelo Alejandro
8 Golińska-Pilarek, Joanna
8 Hustadt, Ullrich
8 Ma, Minghui
8 Naumov, Pavel G.
8 Omori, Hitoshi
8 Orłowska, Ewa
8 Pailos, Federico Matias
8 Rašković, Miodrag D.
8 Sano, Katsuhiko
8 Shramko, Yaroslav V.
8 Simari, Gerardo I.
8 Szmuc, Damian Enrique
8 Tinchev, Tinko
8 van der Torre, Leendert W. N.
8 Wolter, Frank
8 Zakharyaschev, Michael Viktorovich
7 Areces, Carlos
7 Benferhat, Salem
7 Celani, Sergio Arturo
7 Coniglio, Marcelo Esteban
7 Dimov, Georgi D.
7 Ferguson, Thomas Macaulay
7 Fernández Duque, David
7 Finkel, Alain
7 French, Tim
7 García, Alejandro Javier
7 Hartonas, Chrysafis
7 Khan, Md. Aquil
7 Konikowska, Beata
7 Kooi, Barteld Pieter
7 Li, Yanjun
...and 1,796 more Authors
all top 5

Cited in 136 Journals

130 Studia Logica
128 Journal of Applied Non-Classical Logics
126 Artificial Intelligence
95 Journal of Philosophical Logic
86 International Journal of Approximate Reasoning
77 Fuzzy Sets and Systems
62 Synthese
55 Annals of Mathematics and Artificial Intelligence
53 Journal of Logic, Language and Information
41 Theoretical Computer Science
37 Journal of Applied Logic
35 Annals of Pure and Applied Logic
34 Theory and Practice of Logic Programming
34 The Review of Symbolic Logic
33 Logic and Logical Philosophy
31 Logica Universalis
20 The Journal of Symbolic Logic
20 Journal of Logical and Algebraic Methods in Programming
18 Information and Computation
18 Journal of Automated Reasoning
16 Information Sciences
14 Algebra Universalis
13 Logicheskie Issledovaniya
11 ACM Transactions on Computational Logic
10 Bulletin of the Section of Logic
10 International Journal of Intelligent Systems
10 Archive for Mathematical Logic
10 Mathematical Logic Quarterly (MLQ)
10 Soft Computing
9 Notre Dame Journal of Formal Logic
9 The Journal of Logic and Algebraic Programming
9 Logical Methods in Computer Science
8 The Journal of Artificial Intelligence Research (JAIR)
7 Topology and its Applications
6 Journal of Symbolic Computation
6 Theory of Computing Systems
5 Information Processing Letters
5 Mathematical Structures in Computer Science
5 The Bulletin of Symbolic Logic
5 Topoi
5 Erkenntnis
5 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
4 Acta Informatica
4 Lithuanian Mathematical Journal
4 Kybernetika
4 Formal Aspects of Computing
4 Frontiers of Computer Science
3 Communications in Algebra
3 International Journal of General Systems
3 Algebra and Logic
3 Journal of Algebra
3 Journal of Pure and Applied Algebra
3 Mathematica Slovaca
3 Games
2 Computers & Mathematics with Applications
2 Discrete Applied Mathematics
2 Discrete Mathematics
2 Chaos, Solitons and Fractals
2 Journal of Computer and System Sciences
2 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
2 Semigroup Forum
2 Order
2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
2 International Journal of Algebra and Computation
2 International Journal of Foundations of Computer Science
2 Formal Methods in System Design
2 Applied Categorical Structures
2 Constraints
2 Fundamenta Informaticae
2 Iranian Journal of Fuzzy Systems
2 Armenian Journal of Mathematics
2 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications
2 European Journal of Mathematics
1 Indian Journal of Pure & Applied Mathematics
1 International Journal of Theoretical Physics
1 Journal of Mathematical Analysis and Applications
1 Mathematical Methods in the Applied Sciences
1 Metrika
1 Applied Mathematics and Computation
1 Computing
1 Demonstratio Mathematica
1 Journal of Mathematical Economics
1 Journal of Statistical Planning and Inference
1 Kybernetes
1 Linguistics and Philosophy
1 Mathematics and Computers in Simulation
1 Quaestiones Mathematicae
1 Revista Colombiana de Matemáticas
1 SIAM Journal on Computing
1 Siberian Mathematical Journal
1 Science of Computer Programming
1 Mathematical Social Sciences
1 History and Philosophy of Logic
1 Acta Mathematica Hungarica
1 Acta Applicandae Mathematicae
1 Bulletin of the Iranian Mathematical Society
1 Social Choice and Welfare
1 New Generation Computing
1 Mathematical and Computer Modelling
1 SIAM Journal on Discrete Mathematics
...and 36 more Journals
all top 5

Cited in 35 Fields

1,382 Mathematical logic and foundations (03-XX)
897 Computer science (68-XX)
137 Order, lattices, ordered algebraic structures (06-XX)
66 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
40 General topology (54-XX)
29 General algebraic systems (08-XX)
26 Category theory; homological algebra (18-XX)
18 History and biography (01-XX)
15 Information and communication theory, circuits (94-XX)
11 General and overarching topics; collections (00-XX)
11 Probability theory and stochastic processes (60-XX)
11 Statistics (62-XX)
11 Biology and other natural sciences (92-XX)
10 Group theory and generalizations (20-XX)
10 Operations research, mathematical programming (90-XX)
8 Combinatorics (05-XX)
6 Geometry (51-XX)
6 Quantum theory (81-XX)
5 Systems theory; control (93-XX)
4 Convex and discrete geometry (52-XX)
3 Topological groups, Lie groups (22-XX)
3 Measure and integration (28-XX)
3 Dynamical systems and ergodic theory (37-XX)
2 Number theory (11-XX)
2 Commutative algebra (13-XX)
2 Associative rings and algebras (16-XX)
2 Difference and functional equations (39-XX)
2 Manifolds and cell complexes (57-XX)
1 Field theory and polynomials (12-XX)
1 Linear and multilinear algebra; matrix theory (15-XX)
1 Real functions (26-XX)
1 Algebraic topology (55-XX)
1 Mechanics of particles and systems (70-XX)
1 Classical thermodynamics, heat transfer (80-XX)
1 Relativity and gravitational theory (83-XX)

Citations by Year