×

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: Indexed cover-to-cover
Documents Indexed: 512 Publications (since 1991)
References Indexed: 478 Publications with 13,202 References.
all top 5

Latest Issues

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)
1, No. 1 (1991)
all top 5

Authors

16 Balbiani, Philippe
9 Orłowska, Ewa S.
9 Robles, Gemma
8 Herzig, Andreas
7 Goranko, Valentin F.
7 Vakarelov, Dimiter
7 van Ditmarsch, Hans Pieter
6 Szałas, Andrzej
6 van Benthem, Johan F. A. K.
5 Cabalar, Pedro
5 Demolombe, Robert
5 Koutras, Costas D.
5 Petrukhin, Yaroslav Igorevich
4 Bergstra, Jan A.
4 Besnard, Philippe
4 Chakraborty, Mihir Kumar
4 Demri, Stéphane P.
4 Dubois, Didier
4 Düntsch, Ivo
4 Gabbay, Dov M.
4 Guelev, Dimitar P.
4 Sayed Ahmed, Tarek
4 Schlechta, Karl
4 Tinchev, Tinko
3 Ågotnes, Thomas
3 Amgoud, Leila
3 Aucher, Guillaume
3 Broersen, Jan M.
3 Cerrito, Serenella
3 Cialdea Mayer, Marta
3 Coniglio, Marcelo Esteban
3 de Guzmán, Inmaculada Pérez
3 Diéguez, Martín
3 Fariñas del Cerro, Luis
3 Gencer, Çigdem
3 Golińska-Pilarek, Joanna
3 Hartonas, Chrysafis
3 Kamide, Norihiro
3 Konikowska, Beata
3 Lorini, Emiliano
3 Montanari, Angelo
3 Muravitsky, Alexei Yu.
3 Nour, Karim
3 Ponse, Alban
3 Prade, Henri M.
3 Pynko, Alexej P.
3 Rybakov, Vladimir Vladimirovich
3 Sagastume, Marta S.
3 van der Hoek, Wiebe
3 van der Torre, Leendert W. N.
3 Wagner, Gerd
3 Wansing, Heinrich Theodor
3 Wu, Jinzhao
2 Aguado, Felicidad
2 Agudelo-Agudelo, Juan C.
2 Alferes, José Júlio
2 Baratella, Stefano
2 Belikov, Alex
2 Belluce, Lawrence Peter
2 Benferhat, Salem
2 Bennett, Brandon
2 Bethke, Inge
2 Bloch, Isabelle
2 Burrieza, Alfredo
2 Carnielli, Walter Alexandre
2 Clarke, Michael R. B.
2 Conradie, Willem
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 Engelfriet, Joeri
2 Fan, Xiaocong
2 Fernández, Víctor L.
2 Formisano, Andrea
2 French, Tim
2 Froidevaux, Christine
2 Georgatos, Konstantinos
2 Godo, Lluís
2 Gonçalves, Ricardo
2 Grégoire, Éric
2 Hansson, Sven Ove
2 Heinemann, Bernhard
2 Hunter, Anthony
2 Jacquette, Dale
2 Jenei, Sándor
2 Kern-Isberner, Gabriele
2 Kohlhase, Michael
2 Konieczny, Sébastien
2 Liau, Churn-Jung
2 Lima-Marques, Mamede
2 Marquis, Pierre
2 Masini, Andrea
2 Meyer, John-Jules Charles
2 Moszkowski, Ben C.
2 Nguyen, Linh Anh
2 Nicolosi Asmundo, Marianna
...and 530 more Authors

Publications by Year

Citations contained in zbMATH Open

335 Publications have been cited 1,845 times in 1,492 Documents Cited by Year
Dynamic logic for belief revision. Zbl 1186.03033
van Benthem, Johan
109
2007
Argument-based extended logic programming with defeasible priorities. Zbl 0877.68019
Prakken, Henry; Sartor, Giovanni
76
1997
Dynamic logic of preference upgrade. Zbl 1186.03034
van Benthem, Johan; Liu, Fenrong
61
2007
Epistemic planning for single- and multi-agent systems. Zbl 1242.68285
Bolander, Thomas; Andersen, Mikkel Birkegaard
43
2011
Structure of left-continuous triangular norms with strong induced negations. II: Rotation-annihilation construction. Zbl 1037.03508
Jenei, Sándor
37
2001
Structure of left-continuous triangular norms with strong induced negations. I: Rotation construction. Zbl 1033.03512
Jenei, Sándor
36
2000
Modal logics with Belnapian truth values. Zbl 1242.03050
Odintsov, Sergei P.; Wansing, Heinrich
33
2010
A road map of interval temporal logics and duration calculi. Zbl 1181.03012
Goranko, V.; Montanari, A.; Sciavicco, G.
29
2004
Constructive negation, implication, and co-implication. Zbl 1181.03027
Wansing, Heinrich
29
2008
Semi-revision. Zbl 0869.03017
Hansson, Sven
28
1997
Constructive knowledge: what agents can achieve under imperfect information. Zbl 1186.03031
Jamroga, Wojciech; Ågotnes, Thomas
28
2007
Functional completeness and axiomatizability within Belnap’s four-valued logic and its expansions. Zbl 1033.03017
Pynko, Alexej P.
26
1999
Some (in)translatability results for normal logic programs and propositional theories. Zbl 1184.68160
Janhunen, Tomi
26
2006
A proximity approach to some region-based theories of space. Zbl 1185.68682
Vakarelov, Dimiter; Dimov, Georgi; Düntsch, Ivo; Bennett, Brandon
26
2002
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
25
2002
A propositional logic with 4 values: true, false, divergent and meaningless. Zbl 0843.03012
Bergstra, Jan A.; Bethke, Inge; Rodenburg, Piet
23
1995
Expressivity and completeness for public update logics via reduction axioms. Zbl 1185.03014
Kooi, Barteld
23
2007
Knowledge, uncertainty and ignorance in logic: Bilattices and beyond. Zbl 0993.03079
Gargov, George
21
1999
“Everywhere” and “here”. Zbl 0993.03020
Shehtman, Valentin
19
1999
On the tractable counting of theory models and its application to truth maintenance and belief revision. Zbl 1033.03505
Darwiche, Adnan
18
2001
An infinity of super-Belnap logics. Zbl 1398.03112
Rivieccio, Umberto
18
2012
On Priest’s logic of paradox. Zbl 0841.03008
Pynko, Alexej P.
17
1995
A computational interpretation of conceptivism. Zbl 1398.03142
Ferguson, T. M.
17
2014
Distributed knowledge. Zbl 1186.03032
Roelofsen, Floris
16
2007
Varieties of MV-algebras. Zbl 1031.06010
Panti, Giovanni
15
1999
Defining LFIs and LFUs in extensions of infectious logics. Zbl 1398.03138
Szmuc, Damian Enrique
15
2016
The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic. Zbl 1186.03043
Esakia, Leo
15
2006
On the semantics of graded modalities. Zbl 0797.03013
van der Hoek, Wiebe
12
1992
Some considerations on the logics \(P_ FD\). A logic combining modality and probability. Zbl 0885.03022
van der Hoeck, Wiebe
12
1997
Graded consequence: Further studies. Zbl 0839.03010
Chakraborty, M. K.
12
1995
Model-checking \(\mathrm{CTL}^*\) over flat Presburger counter systems. Zbl 1242.68157
Demri, Stéphane; Finkel, Alain; Goranko, Valentin; van Drimmelen, Govert
12
2010
Decidability and incompleteness results for first-order temporal logics of linear time. Zbl 0790.03019
Merz, Stephan
11
1992
Graded consequence relations and fuzzy closure operator. Zbl 0872.03012
Gerla, Giangiacomo
11
1996
A framework for iterated revision. Zbl 1033.03506
Konieczny, Sébastien; Pino Pérez, Ramón
11
2000
Computing generalized specificity. Zbl 1185.68679
Stolzenburg, Frieder; García, Alejandro J.; Chesñevar, Carlos I.; Simari, Guillermo R.
11
2003
A modal walk through space. Zbl 1185.03060
Aiello, Marco; van Benthem, Johan
11
2002
Justifications for common knowledge. Zbl 1242.03036
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas
11
2011
Temporal equilibrium logic: a survey. Zbl 1400.68199
Aguado, Felicidad; Cabalar, Pedro; Diéguez, Martín; Pérez, Gilberto; Vidal, Concepción
11
2013
Logical limits of abstract argumentation frameworks. Zbl 1400.68201
Amgoud, Leila; Besnard, Philippe
11
2013
On consequence in approximate reasoning. Zbl 0794.03032
Castro, J. L.; Trillas, E.; Cubillo, S.
10
1994
A tableau-based proof method for temporal logics of knowledge and belief. Zbl 0926.03011
Wooldridge, Michael; Dixon, Clare; Fisher, Michael
10
1998
Brief study of \(\text{G}'_3\) logic. Zbl 1180.03031
Osorio Galindo, Mauricio; Carballido Carranza, José Luis
10
2008
Modal logics based on mathematical morphology for qualitative spatial reasoning. Zbl 1185.03025
Bloch, Isabelle
10
2002
A canonical model of the region connection calculus. Zbl 1185.03061
Renz, Jochen
10
2002
PDL with intersection of programs: a complete axiomatization. Zbl 1181.03030
Balbiani, P.; Vakarelov, D.
9
2003
A hierarchical completeness proof for propositional interval temporal logic with finite time. Zbl 1181.03015
Moszkowski, B.
9
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
9
2009
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.
9
2019
Local possibilistic logic. Zbl 0886.03018
Boldrin, Luca; Sossai, Claudio
8
1997
Process algebra with four-valued logic. Zbl 1036.68067
Bergstra, Jan A.; Ponse, Alban
8
2000
A multi-dimensional terminological knowledge representation language. Zbl 0845.68098
Baader, Franz; Ohlbach, Hans Jürgen
8
1995
Fuzzy concept lattice reduction using Shannon entropy and Huffman coding. Zbl 1400.68209
Singh, Prem Kumar; Gani, Abdullah
8
2015
Regression in modal logic. Zbl 1185.03028
Demolombe, Robert; Herzig, Andreas; Varzinczak, Ivan
8
2003
\(\mu\)-programs, uniform interpolation and bisimulation quantifiers for modal logics. Zbl 1186.03054
D’Agostino, Giovanna; Lenzi, Giacomo; French, Tim
8
2006
BDD-based decision procedures for the modal logic K. Zbl 1184.68466
Pan, Guoqiang; Sattler, Ulrike; Vardi, Moshe Y.
8
2006
Possible-translations semantics for some weak classically-based paraconsistent logics. Zbl 1187.03025
Marcos, João
8
2008
DEL-sequents for regression and epistemic planning. Zbl 1398.03068
Aucher, Guillaume
8
2012
A hierarchy of modal logics with relative accessibility relations. Zbl 0989.03018
Balbiani, Philippe; Orlowska, Ewa
7
1999
Note on a six-valued extension of three-valued logic. Zbl 0806.03019
Font, Josep M.; Moussavi, Massoud
7
1993
The modal multilogic of geometry. Zbl 0921.03022
Balbiani, Philippe
7
1998
On the semantics of combination operations. Zbl 1041.68095
Meyer, Thomas
7
2001
Regular bilattices. Zbl 1031.06005
Pynko, Alexej P.
7
2000
An empirical analysis of modal theorem provers. Zbl 1033.03501
Hustadt, Ullrich; Schmidt, Renate A.
7
1999
Separation logics and modalities: a survey. Zbl 1398.03151
Demri, Stéphane; Deters, Morgan
7
2015
PDL for ordered trees. Zbl 1185.03056
Afanasiev, Loredana; Blackburn, Patrick; Dimitriou, Ioanna; Gaiffe, Bertrand; Goris, Evan; Marx, Maarten; de Rijke, Maarten
7
2005
KAT-ML: an interactive theorem prover for Kleene algebra with tests. Zbl 1184.68457
Aboul-Hosn, Kamal; Kozen, Dexter
7
2006
Non-Archimedean fuzzy and probability logic. Zbl 1187.03024
Schumann, Andrew
7
2008
LTL model checking for security protocols. Zbl 1186.68276
Armando, Alessandro; Carbone, Roberto; Compagna, Luca
7
2009
Logics for multi-subset spaces. Zbl 1242.03039
Heinemann, Bernhard
7
2010
Some remarks on the model theory of epistemic plausibility models. Zbl 1242.03037
Demey, Lorenz
7
2011
A modal theorem-preserving translation of a class of three-valued logics of incomplete information. Zbl 1398.03107
Ciucci, D.; Dubois, D.
7
2013
Relevance sensitive non-monotonic inference on belief sequences. Zbl 1041.68093
Chopra, Samir; Georgatos, Konstantinos; Parikh, Rohit
6
2001
Fuzzy inference as deduction. Zbl 1033.03018
Godo, Lluís; Hájek, Petr
6
1999
Finite non-deterministic semantics for some modal systems. Zbl 1398.03089
Coniglio, Marcelo E.; Fariñas del Cerro, Luis; Peron, Newton M.
6
2015
From KLM-style conditionals to defeasible modalities, and back. Zbl 1436.03129
Britz, Katarina; Varzinczak, Ivan
6
2018
A catalog of weak many-valued modal axioms and their corresponding frame classes. Zbl 1185.03031
Koutras, Costas D.
6
2003
A first step towards modeling semistructured data in hybrid multimodal logic. Zbl 1185.68290
Bidoit, Nicole; Cerrito, Serenella; Thion, Virginie
6
2004
On the strength and scope of DLS. Zbl 1186.03042
Conradie, Willem
6
2006
Foundations of the rule-based system \(\rho\,\text{Log}\). Zbl 1184.68175
Marin, Mircea; Kutsia, Temur
6
2006
Roadmap for preferential logics. Zbl 1187.03026
Gabbay, Dov M.; Schlechta, Karl
6
2009
Continuity, freeness, and filtrations. Zbl 1242.03049
Ghilardi, Silvio
6
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
6
2011
Composing models. Zbl 1242.03043
van Eijck, Jan; Sietsma, Floor; Wang, Yanjing
6
2011
Model-based recasting in answer-set programming. Zbl 1400.68048
Eiter, Thomas; Fink, Michael; Pührer, Jörg; Tompits, Hans; Woltran, Stefan
6
2013
Temporal STIT logic and its application to normative reasoning. Zbl 1398.03080
Lorini, Emiliano
6
2013
Semantical analysis of weak Kleene logics. Zbl 1444.03087
Ciuni, Roberto; Carrara, Massimiliano
6
2019
Two over three: A two-valued logic for software specification and validation over a three-valued predicate calculus. Zbl 0802.03028
Konikowska, Beata
5
1993
Quantifiers, modifiers and qualifiers in fuzzy logic. Zbl 0885.03024
Ying, Mingsheng; Bouchon-Meunier, Bernadette
5
1997
The trivial object and the non-triviality of a semantically closed theory with descriptions. Zbl 0934.03035
Priest, Graham
5
1998
On representability of neatly embeddable cylindric algebras. Zbl 1033.03520
Ferenczi, Miklós
5
2000
Exploiting data dependencies in many-valued logics. Zbl 0836.03013
Hähnle, Reiner
5
1996
Putting right the wording and the proof of the truth lemma for APAL. Zbl 1398.03069
Balbiani, Philippe
5
2015
Algorithmic correspondence and completeness in modal logic. IV. Semantic extensions of SQEMA. Zbl 1181.03007
Conradie, Willem; Goranko, Valentin
5
2008
Combining valuations with society semantics. Zbl 1185.03055
Fernández, Víctor L.; Coniglio, Marcelo E.
5
2003
Belief base merging as a game. Zbl 1185.68693
Konieczny, Sébastien
5
2004
Modal logics for parallelism, orthogonality, and affine geometries. Zbl 1185.03024
Balbiani, Philippe; Goranko, Valentin
5
2002
Automatic verification of temporal-epistemic properties of cryptographic protocols. Zbl 1186.68105
Boureanu, Ioana; Cohen, Mika; Lomuscio, Alessio
5
2009
Some modal aspects of XPath. Zbl 1242.68010
ten Cate, Balder; Fontaine, Gaëlle; Litak, Tadeusz
5
2010
Some properties of system descriptions of \(\mathcal{AL}_d\). Zbl 1400.68207
Gelfond, Michael; Inclezan, Daniela
5
2013
Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics. Zbl 1398.03135
Avron, Arnon
5
2014
A family of genuine and non-algebraisable C-systems. Zbl 07368166
Osorio, Mauricio; Figallo-Orellano, Aldo; Pérez-Gaspar, Miguel
1
2021
Logics of variable inclusion and the lattice of consequence relations. Zbl 1486.03020
Pra Baldi, Michele
2
2020
Exactly true and non-falsity logics meeting infectious ones. Zbl 1486.03047
Belikov, Alex; Petrukhin, Yaroslav
2
2020
A basic quasi-Boolean logic of intuitionistic character. Zbl 1486.03044
Robles, Gemma
1
2020
Metainferential duality. Zbl 1486.03043
Da Ré, Bruno; Pailos, Federico; Szmuc, Damian; Teijeiro, Paula
1
2020
The logic of modal changes LMC. Zbl 1452.03060
Łyczak, Marcin
1
2020
A logic of negative trust. Zbl 1486.03053
Primiero, G.
1
2020
Structural proof theory for first-order weak Kleene logics. Zbl 1486.03048
Fjellstad, Andreas
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.
9
2019
Semantical analysis of weak Kleene logics. Zbl 1444.03087
Ciuni, Roberto; Carrara, Massimiliano
6
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
3
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.
3
2019
A family of metainferential logics. Zbl 1444.03084
Pailos, Federico Matias
3
2019
Two proofs of the algebraic completeness theorem for multilattice logic. Zbl 1444.03089
Grigoriev, Oleg; Petrukhin, Yaroslav
2
2019
Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning. Zbl 1444.03183
Aiguier, Marc; Bloch, Isabelle
1
2019
On Vidal’s trivalent explanations for defective conditional in mathematics. Zbl 1444.03091
Petrukhin, Yaroslav; Shangin, Vasily
1
2019
MVW-rigs and product MV-algebras. Zbl 1439.06008
Estrada, Alejandro; Poveda, Yuri A.
1
2019
Lattice logic as a fragment of (2-sorted) residuated modal logic. Zbl 1444.03057
Hartonas, Chrysafis
1
2019
From KLM-style conditionals to defeasible modalities, and back. Zbl 1436.03129
Britz, Katarina; Varzinczak, Ivan
6
2018
Assertive graphs. Zbl 1436.03020
Bellucci, F.; Chiffi, Daniele; Pietarinen, A.-V.
2
2018
Truth without standard models: some conceptual problems reloaded. Zbl 1436.03016
Barrio, Eduardo; Da Ré, Bruno
2
2018
Arguing about constitutive and regulative norms. Zbl 1436.03141
Pigozzi, Gabriella; van der Torre, Leendert
2
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
Abduction in argumentation frameworks. Zbl 1436.68328
Sakama, Chiaki
1
2018
Initial sets in abstract argumentation frameworks. Zbl 1436.68329
Xu, Yuming; Cayrol, Claudette
1
2018
Continuous propositional modal logic. Zbl 1436.03127
Baratella, Stefano
1
2018
Doxastic logic: a new approach. Zbl 1436.03115
Rönnedal, Daniel
1
2018
Fuzzy intensional semantics. Zbl 07001323
Běhounek, Libor; Majer, Ondrej
1
2018
\(KD\) is nullary. Zbl 1398.03086
Balbiani, Philippe; Gencer, Çiğdem
4
2017
Unification in epistemic logics. Zbl 1398.03070
Balbiani, Philippe; Gencer, Çiğdem
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
A mereotopology based on sequent algebras. Zbl 1398.03147
Vakarelov, Dimiter
2
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
Temporal equilibrium logic with past operators. Zbl 1398.03077
Aguado, Felicidad; Cabalar, Pedro; Diéguez, Martín; Pérez, Gilberto; Vidal, Concepción
1
2017
Foundations for a logic of arguments. Zbl 1398.03066
Amgoud, Leila; Besnard, Philippe; Hunter, Anthony
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
Dynamic epistemic logics: promises, problems, shortcomings, and perspectives. Zbl 1398.03072
Herzig, Andreas
1
2017
Defining LFIs and LFUs in extensions of infectious logics. Zbl 1398.03138
Szmuc, Damian Enrique
15
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
3
2016
Knowledge means ‘all’, belief means ‘most’. Zbl 1398.03067
Askounis, Dimitris; Koutras, Costas D.; Zikos, Yorgos
3
2016
First-order frames for orthomodular quantum logic. Zbl 1398.03211
Hartonas, Chrysafis
2
2016
Propositional quantification in logics of contingency. Zbl 1398.03098
van Ditmarsch, Hans; Fan, Jie
2
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
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.
2
2016
Axiomatisation of general concept inclusions from finite interpretations. Zbl 1400.68206
Borchmann, D.; Distel, F.; Kriegel, F.
1
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
Game theoretical semantics for some non-classical logics. Zbl 1398.03136
Başkent, Can
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
Fuzzy concept lattice reduction using Shannon entropy and Huffman coding. Zbl 1400.68209
Singh, Prem Kumar; Gani, Abdullah
8
2015
Separation logics and modalities: a survey. Zbl 1398.03151
Demri, Stéphane; Deters, Morgan
7
2015
Finite non-deterministic semantics for some modal systems. Zbl 1398.03089
Coniglio, Marcelo E.; Fariñas del Cerro, Luis; Peron, Newton M.
6
2015
Putting right the wording and the proof of the truth lemma for APAL. Zbl 1398.03069
Balbiani, Philippe
5
2015
Substructural epistemic logics. Zbl 1398.03074
Sedlár, Igor
3
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
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 new framework for justification logic. Zbl 1398.03071
Giordani, Alessandro
1
2015
A computational interpretation of conceptivism. Zbl 1398.03142
Ferguson, T. M.
17
2014
Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics. Zbl 1398.03135
Avron, Arnon
5
2014
Foreword: three-valued logics and their applications. Zbl 1398.00089
Cobreros, Pablo; Égré, Paul; Ripley, David; van Rooij, Robert
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
Capturing the relationship between conditionals and conditional probability with a trivalent semantics. Zbl 1398.03105
Rothschild, Daniel
3
2014
The defective conditional in mathematics. Zbl 1398.03047
Vidal, Mathieu
3
2014
Equivalence in logic-based argumentation. Zbl 1400.68202
Amgoud, Leila; Besnard, Philippe; Vesic, Srdjan
3
2014
Variants of multi-relational semantics for propositional non-normal modal logics. Zbl 1398.03088
Calardo, Erica; Rotolo, Antonino
3
2014
Modeling the suppression task under weak completion and well-founded semantics. Zbl 1398.03152
Dietz, Emmanuelle-Anna; Hölldobler, Steffen; Wernhard, Christoph
1
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
Trivalent logics arising from L-models for the Lambek calculus with constants. Zbl 1398.03100
Kuznetsov, S. L.
1
2014
Minimal models vs. logic programming: the case of counterfactual conditionals. Zbl 1398.03145
Schulz, Katrin
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
11
2013
Logical limits of abstract argumentation frameworks. Zbl 1400.68201
Amgoud, Leila; Besnard, Philippe
11
2013
A modal theorem-preserving translation of a class of three-valued logics of incomplete information. Zbl 1398.03107
Ciucci, D.; Dubois, D.
7
2013
Model-based recasting in answer-set programming. Zbl 1400.68048
Eiter, Thomas; Fink, Michael; Pührer, Jörg; Tompits, Hans; Woltran, Stefan
6
2013
Temporal STIT logic and its application to normative reasoning. Zbl 1398.03080
Lorini, Emiliano
6
2013
Some properties of system descriptions of \(\mathcal{AL}_d\). Zbl 1400.68207
Gelfond, Michael; Inclezan, Daniela
5
2013
Multiple agent possibilistic logic. Zbl 1400.68217
Belhadi, Asma; Dubois, Didier; Khellaf-Haned, Faiza; Prade, Henri
3
2013
On the relation between SPARQL1.1 and answer set programming. Zbl 1400.68065
Polleres, Axel; Wallner, Johannes Peter
2
2013
Deciding the unguarded modal \(\mu\)-calculus. Zbl 1398.03092
Friedmann, Oliver; Lange, Martin
2
2013
RASP and ASP as a fragment of linear logic. Zbl 1400.68047
Costantini, Stefania; Formisano, Andrea
1
2013
Functional completion. Zbl 1400.68205
Lifschitz, Vladimir; Yang, Fangkai
1
2013
On deductive bases for paraconsistent answer set semantics. Zbl 1400.68050
Mayatskiy, N. V.; Odintsov, S. P.
1
2013
The infinite-valued semantics: overview, recent results and future directions. Zbl 1400.68051
Rondogiannis, Panos; Troumpoukis, Antonis
1
2013
An infinity of super-Belnap logics. Zbl 1398.03112
Rivieccio, Umberto
18
2012
DEL-sequents for regression and epistemic planning. Zbl 1398.03068
Aucher, Guillaume
8
2012
Programming norm change. Zbl 1400.68055
Dastani, Mehdi; Meyer, John-Jules; Tinnemeier, Nick
3
2012
Public announcements, public assignments and the complexity of their logic. Zbl 1398.03076
van Ditmarsch, Hans; Herzig, Andreas; de Lima, Tiago
3
2012
Some calculus for a logic of change. Zbl 1398.03082
Świetorzecka, Kordula; Czermak, Johannes
1
2012
Search for syllogistic structure of semantic information. Zbl 1398.94070
Schroeder, Marcin J.
1
2012
A discussion on quantum non-individuality. Zbl 1400.81009
Krause, Décio; Arenhart, Jonas R. Becker
1
2012
Adaptively applying modus ponens in conditional logics of normality. Zbl 1398.03146
Straßer, Christian
1
2012
Modal logics for reasoning about infinite unions and intersections of binary relations. Zbl 1398.03084
Alechina, Natasha; Balbiani, Philippe; Shkatov, Dmitry
1
2012
Epistemic planning for single- and multi-agent systems. Zbl 1242.68285
Bolander, Thomas; Andersen, Mikkel Birkegaard
43
2011
...and 235 more Documents
all top 5

Cited by 1,568 Authors

37 van Ditmarsch, Hans Pieter
26 van Benthem, Johan F. A. K.
23 Balbiani, Philippe
20 Wansing, Heinrich Theodor
18 Gabbay, Dov M.
17 Ågotnes, Thomas
16 Montanari, Angelo
15 Simari, Guillermo Ricardo
14 Pynko, Alexej P.
13 Bezhanishvili, Guram
13 Demri, Stéphane P.
13 Dubois, Didier
13 Kamide, Norihiro
13 Smets, Sonja J. L.
13 Vakarelov, Dimiter
12 Amgoud, Leila
12 Bergstra, Jan A.
12 Godo, Lluís
12 Goranko, Valentin F.
12 Herzig, Andreas
12 Lorini, Emiliano
12 Ognjanović, Zoran
12 Ponse, Alban
12 Robles, Gemma
12 Velázquez-Quesada, Fernando Raymundo
11 Baltag, Alexandru
11 Schaub, Torsten H.
11 Sciavicco, Guido
10 Dixon, Clare
10 Gilio, Angelo
10 Odintsov, Sergei P.
10 Pacuit, Eric
10 Schwarzentruber, François
10 Wang, Yanjing
9 Arieli, Ofer
9 Avron, Arnon
9 Düntsch, Ivo
9 Jamroga, Wojciech
9 Jenei, Sándor
9 Prade, Henri M.
9 Rivieccio, Umberto
9 van der Hoek, Wiebe
9 Woltran, Stefan
8 Bloch, Isabelle
8 Bolander, Thomas
8 Falappa, Marcelo Alejandro
8 Fariñas del Cerro, Luis
8 Hansson, Sven Ove
8 Hunter, Anthony
8 Konieczny, Sébastien
8 Naumov, Pavel G.
8 Özgün, Aybüke
8 Petrukhin, Yaroslav Igorevich
8 Sala, Pietro
8 Sanfilippo, Giuseppe
8 Shramko, Yaroslav V.
8 Studer, Thomas
8 Varzinczak, Ivan Jóse
8 Wolter, Frank
8 Zakharyaschev, Michael Viktorovich
7 Bozzelli, Laura
7 Bresolin, Davide
7 Cabalar, Pedro
7 Chakraborty, Mihir Kumar
7 Fervari, Raul
7 French, Tim
7 Guelev, Dimitar P.
7 Kern-Isberner, Gabriele
7 Mesiar, Radko
7 Orłowska, Ewa S.
7 Pino Pérez, Ramón
7 Rašković, Miodrag D.
7 Szałas, Andrzej
7 Szmuc, Damian Enrique
7 Vetterlein, Thomas
6 Bezhanishvili, Nick
6 Bonzio, Stefano
6 Caminada, Martin W. A.
6 Chesñevar, Carlos Iván
6 Conradie, Willem
6 De Baets, Bernard
6 Dimov, Georgi D.
6 Doder, Dragan
6 Esteva, Francesc
6 Finkel, Alain
6 Gabelaia, David
6 García, Alejandro Javier
6 Golińska-Pilarek, Joanna
6 Liu, Fenrong
6 Lutz, Carsten
6 Omori, Hitoshi
6 Rendsvig, Rasmus Kræmmer
6 Sano, Katsuhiko
6 Sayed Ahmed, Tarek
6 Simari, Gerardo I.
6 Singh, Prem Kumar
6 Tao, Jia
6 Tinchev, Tinko
5 Alechina, Natasha
5 Alviano, Mario
...and 1,468 more Authors
all top 5

Cited in 127 Journals

119 Studia Logica
112 Artificial Intelligence
111 Journal of Applied Non-Classical Logics
70 Journal of Philosophical Logic
69 Fuzzy Sets and Systems
67 International Journal of Approximate Reasoning
50 Synthese
49 Annals of Mathematics and Artificial Intelligence
45 Journal of Logic, Language and Information
39 Theoretical Computer Science
37 Journal of Applied Logic
31 Theory and Practice of Logic Programming
29 Annals of Pure and Applied Logic
27 Logica Universalis
25 The Review of Symbolic Logic
23 Logic and Logical Philosophy
18 Journal of Logical and Algebraic Methods in Programming
17 The Journal of Symbolic Logic
17 Information and Computation
15 Journal of Automated Reasoning
12 Information Sciences
11 Algebra Universalis
10 International Journal of Intelligent Systems
10 Archive for Mathematical Logic
9 Soft Computing
9 The Journal of Logic and Algebraic Programming
8 Mathematical Logic Quarterly (MLQ)
8 ACM Transactions on Computational Logic
7 Notre Dame Journal of Formal Logic
7 Logical Methods in Computer Science
6 Theory of Computing Systems
5 Journal of Symbolic Computation
5 Topoi
5 Erkenntnis
5 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
4 Acta Informatica
4 Lithuanian Mathematical Journal
4 Kybernetika
4 Bulletin of the Section of Logic
4 Topology and its Applications
4 Formal Aspects of Computing
4 The Journal of Artificial Intelligence Research (JAIR)
4 Frontiers of Computer Science
3 Communications in Algebra
3 International Journal of General Systems
3 Information Processing Letters
3 Algebra and Logic
3 Journal of Algebra
3 Journal of Pure and Applied Algebra
3 MSCS. Mathematical Structures in Computer Science
3 The Bulletin of Symbolic Logic
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 Mathematica Slovaca
2 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
2 Semigroup Forum
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 Armenian Journal of Mathematics
2 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications
2 European Journal of Mathematics
1 International Journal of Theoretical Physics
1 Journal of Mathematical Analysis and Applications
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 SIAM Journal on Computing
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 Order
1 New Generation Computing
1 Mathematical and Computer Modelling
1 SIAM Journal on Discrete Mathematics
1 AI Communications
1 Machine Learning
1 Random Structures & Algorithms
1 Designs, Codes and Cryptography
1 Godishnik na Sofiĭskiya Universitet “Sv. Kliment Okhridski”. Fakultet po Matematika i Informatika
1 European Journal of Operational Research
...and 27 more Journals

Citations by Year