×

zbMATH — the first resource for mathematics

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: 501 Publications (since 1991)
References Indexed: 467 Publications with 12,890 References.
all top 5

Latest Issues

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
6 Szałas, Andrzej
6 van Benthem, Johan F. A. K.
6 van Ditmarsch, Hans Pieter
5 Cabalar, Pedro
5 Demolombe, Robert
5 Koutras, Costas D.
5 Petrukhin, Yaroslav Igorevich
4 Besnard, Philippe
4 Demri, Stéphane P.
4 Dubois, Didier
4 Düntsch, Ivo
4 Gabbay, Dov M.
4 Sayed Ahmed, Tarek
4 Schlechta, Karl
4 Tinchev, Tinko
3 Ågotnes, Thomas
3 Amgoud, Leila
3 Aucher, Guillaume
3 Bergstra, Jan A.
3 Broersen, Jan M.
3 Cerrito, Serenella
3 Chakraborty, Mihir Kumar
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 Guelev, Dimitar P.
3 Hartonas, Chrysafis
3 Kamide, Norihiro
3 Konikowska, Beata
3 Lorini, Emiliano
3 Montanari, Angelo
3 Muravitsky, Alexei Yu.
3 Nour, Karim
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 Cialdea Mayer, Marta
2 Clarke, Michael R. B.
2 Conradie, Willem J.
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 Heinemann, Bernhard
2 Hunter, Anthony
2 Jacquette, Dale
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 Nguyen, Linh Anh
2 Nicolosi Asmundo, Marianna
2 Nour, Abir
2 Odintsov, Sergei P.
2 Ohlbach, Hans Jürgen
2 Pailos, Federico Matias
...and 515 more Authors

Publications by Year

Citations contained in zbMATH Open

315 Publications have been cited 1,653 times in 1,345 Documents Cited by Year
Dynamic logic for belief revision. Zbl 1186.03033
van Benthem, Johan
101
2007
Argument-based extended logic programming with defeasible priorities. Zbl 0877.68019
Prakken, Henry; Sartor, Giovanni
75
1997
Dynamic logic of preference upgrade. Zbl 1186.03034
van Benthem, Johan; Liu, Fenrong
55
2007
Structure of left-continuous triangular norms with strong induced negations. I: Rotation construction. Zbl 1033.03512
Jenei, Sándor
36
2000
Structure of left-continuous triangular norms with strong induced negations. II: Rotation-annihilation construction. Zbl 1037.03508
Jenei, Sándor
35
2001
Constructive negation, implication, and co-implication. Zbl 1181.03027
Wansing, Heinrich
28
2008
Epistemic planning for single- and multi-agent systems. Zbl 1242.68285
Bolander, Thomas; Andersen, Mikkel Birkegaard
28
2011
Modal logics with Belnapian truth values. Zbl 1242.03050
Odintsov, Sergei P.; Wansing, Heinrich
27
2010
Functional completeness and axiomatizability within Belnap’s four-valued logic and its expansions. Zbl 1033.03017
Pynko, Alexej P.
26
1999
A road map of interval temporal logics and duration calculi. Zbl 1181.03012
Goranko, V.; Montanari, A.; Sciavicco, G.
26
2004
Semi-revision. Zbl 0869.03017
Hansson, Sven
25
1997
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
24
2002
Constructive knowledge: what agents can achieve under imperfect information. Zbl 1186.03031
Jamroga, Wojciech; Ågotnes, Thomas
24
2007
Some (in)translatability results for normal logic programs and propositional theories. Zbl 1184.68160
Janhunen, Tomi
23
2006
A proximity approach to some region-based theories of space. Zbl 1185.68682
Vakarelov, Dimiter; Dimov, Georgi; Düntsch, Ivo; Bennett, Brandon
23
2002
Expressivity and completeness for public update logics via reduction axioms. Zbl 1185.03014
Kooi, Barteld
22
2007
A propositional logic with 4 values: true, false, divergent and meaningless. Zbl 0843.03012
Bergstra, Jan A.; Bethke, Inge; Rodenburg, Piet
21
1995
Knowledge, uncertainty and ignorance in logic: Bilattices and beyond. Zbl 0993.03079
Gargov, George
20
1999
“Everywhere” and “here”. Zbl 0993.03020
Shehtman, Valentin
19
1999
An infinity of super-Belnap logics. Zbl 1398.03112
Rivieccio, Umberto
16
2012
A computational interpretation of conceptivism. Zbl 1398.03142
Ferguson, T. M.
16
2014
Varieties of MV-algebras. Zbl 1031.06010
Panti, Giovanni
15
1999
On Priest’s logic of paradox. Zbl 0841.03008
Pynko, Alexej P.
15
1995
On the tractable counting of theory models and its application to truth maintenance and belief revision. Zbl 1033.03505
Darwiche, Adnan
14
2001
The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic. Zbl 1186.03043
Esakia, Leo
14
2006
On the semantics of graded modalities. Zbl 0797.03013
van der Hoek, Wiebe
12
1992
Temporal equilibrium logic: a survey. Zbl 1400.68199
Aguado, Felicidad; Cabalar, Pedro; Diéguez, Martín; Pérez, Gilberto; Vidal, Concepción
11
2013
Defining LFIs and LFUs in extensions of infectious logics. Zbl 1398.03138
Szmuc, Damian Enrique
11
2016
A framework for iterated revision. Zbl 1033.03506
Konieczny, Sébastien; Pino Pérez, Ramón
11
2000
Graded consequence: Further studies. Zbl 0839.03010
Chakraborty, M. K.
11
1995
Computing generalized specificity. Zbl 1185.68679
Stolzenburg, Frieder; García, Alejandro J.; Chesñevar, Carlos I.; Simari, Guillermo R.
11
2003
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
10
1996
Some considerations on the logics \(P_ FD\). A logic combining modality and probability. Zbl 0885.03022
van der Hoeck, Wiebe
10
1997
A modal walk through space. Zbl 1185.03060
Aiello, Marco; van Benthem, Johan
10
2002
A canonical model of the region connection calculus. Zbl 1185.03061
Renz, Jochen
10
2002
A tableau-based proof method for temporal logics of knowledge and belief. Zbl 0926.03011
Woolbridge, Michael; Dixon, Clare; Fisher, Michael
10
1998
On consequence in approximate reasoning. Zbl 0794.03032
Castro, J. L.; Trillas, E.; Cubillo, S.
10
1994
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
Brief study of \(\text{G}'_3\) logic. Zbl 1180.03031
Osorio Galindo, Mauricio; Carballido Carranza, José Luis
9
2008
Distributed knowledge. Zbl 1186.03032
Roelofsen, Floris
9
2007
Modal logics based on mathematical morphology for qualitative spatial reasoning. Zbl 1185.03025
Bloch, Isabelle
9
2002
Model-checking \(\mathrm{CTL}^*\) over flat Presburger counter systems. Zbl 1242.68157
Demri, Stéphane; Finkel, Alain; Goranko, Valentin; van Drimmelen, Govert
9
2010
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.
8
2019
Logical limits of abstract argumentation frameworks. Zbl 1400.68201
Amgoud, Leila; Besnard, Philippe
8
2013
Process algebra with four-valued logic. Zbl 1036.68067
Bergstra, Jan A.; Ponse, Alban
8
2000
Local possibilistic logic. Zbl 0886.03018
Boldrin, Luca; Sossai, Claudio
8
1997
A multi-dimensional terminological knowledge representation language. Zbl 0845.68098
Baader, Franz; Ohlbach, Hans Jürgen
8
1995
PDL with intersection of programs: a complete axiomatization. Zbl 1181.03030
Balbiani, P.; Vakarelov, D.
8
2003
Regression in modal logic. Zbl 1185.03028
Demolombe, Robert; Herzig, Andreas; Varzinczak, Ivan
8
2003
A modal theorem-preserving translation of a class of three-valued logics of incomplete information. Zbl 1398.03107
Ciucci, D.; Dubois, D.
7
2013
Fuzzy concept lattice reduction using Shannon entropy and Huffman coding. Zbl 1400.68209
Singh, Prem Kumar; Gani, Abdullah
7
2015
A hierarchy of modal logics with relative accessibility relations. Zbl 0989.03018
Balbiani, Philippe; Orlowska, Ewa
7
1999
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
LTL model checking for security protocols. Zbl 1186.68276
Armando, Alessandro; Carbone, Roberto; Compagna, Luca
7
2009
A hierarchical completeness proof for propositional interval temporal logic with finite time. Zbl 1181.03015
Moszkowski, B.
7
2004
PDL for ordered trees. Zbl 1185.03056
Afanasiev, Loredana; Blackburn, Patrick; Dimitriou, Ioanna; Gaiffe, Bertrand; Goris, Evan; Marx, Maarten; de Rijke, Maarten
7
2005
\(\mu\)-programs, uniform interpolation and bisimulation quantifiers for modal logics. Zbl 1186.03054
D’Agostino, Giovanna; Lenzi, Giacomo; French, Tim
7
2006
KAT-ML: an interactive theorem prover for Kleene algebra with tests. Zbl 1184.68457
Aboul-Hosn, Kamal; Kozen, Dexter
7
2006
BDD-based decision procedures for the modal logic K. Zbl 1184.68466
Pan, Guoqiang; Sattler, Ulrike; Vardi, Moshe Y.
7
2006
Non-Archimedean fuzzy and probability logic. Zbl 1187.03024
Schumann, Andrew
7
2008
Justifications for common knowledge. Zbl 1242.03036
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas
7
2011
Some remarks on the model theory of epistemic plausibility models. Zbl 1242.03037
Demey, Lorenz
7
2011
The modal multilogic of geometry. Zbl 0921.03022
Balbiani, Philippe
7
1998
Note on a six-valued extension of three-valued logic. Zbl 0806.03019
Font, Josep M.; Moussavi, Massoud
7
1993
DEL-sequents for regression and epistemic planning. Zbl 1398.03068
Aucher, Guillaume
6
2012
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
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
Foundations of the rule-based system \(\rho\,\text{Log}\). Zbl 1184.68175
Marin, Mircea; Kutsia, Temur
6
2006
Possible-translations semantics for some weak classically-based paraconsistent logics. Zbl 1187.03025
Marcos, João
6
2008
Roadmap for preferential logics. Zbl 1187.03026
Gabbay, Dov M.; Schlechta, Karl
6
2009
Model-based recasting in answer-set programming. Zbl 1400.68048
Eiter, Thomas; Fink, Michael; Pührer, Jörg; Tompits, Hans; Woltran, Stefan
5
2013
Temporal STIT logic and its application to normative reasoning. Zbl 1398.03080
Lorini, Emiliano
5
2013
Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics. Zbl 1398.03135
Avron, Arnon
5
2014
Finite non-deterministic semantics for some modal systems. Zbl 1398.03089
Coniglio, Marcelo E.; Fariñas del Cerro, Luis; Peron, Newton M.
5
2015
Separation logics and modalities: a survey. Zbl 1398.03151
Demri, Stéphane; Deters, Morgan
5
2015
From KLM-style conditionals to defeasible modalities, and back. Zbl 1436.03129
Britz, Katarina; Varzinczak, Ivan
5
2018
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
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
On the strength and scope of DLS. Zbl 1186.03042
Conradie, Willem
5
2006
Modal logics for parallelism, orthogonality, and affine geometries. Zbl 1185.03024
Balbiani, Philippe; Goranko, Valentin
5
2002
Continuity, freeness, and filtrations. Zbl 1242.03049
Ghilardi, Silvio
5
2010
Logics for multi-subset spaces. Zbl 1242.03039
Heinemann, Bernhard
5
2010
Composing models. Zbl 1242.03043
van Eijck, Jan; Sietsma, Floor; Wang, Yanjing
5
2011
The trivial object and the non-triviality of a semantically closed theory with descriptions. Zbl 0934.03035
Priest, Graham
5
1998
Semantical analysis of weak Kleene logics. Zbl 1444.03087
Ciuni, Roberto; Carrara, Massimiliano
4
2019
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
The range of modal logic. An essay in memory of George Gargov. Zbl 0989.03017
van Benthem, Johan
4
1999
Many-valued logics and translations. Zbl 1033.03013
D’Ottaviano, Ítala M. Loffredo; de Araujo Feitosa, Hércules
4
1999
Handling conditionals adequately in uncertain reasoning and belief revision. Zbl 1106.68410
Kern-Isberner, Gabriele
4
2002
Non monotonic reasoning and belief revision: Syntactic, semantic, foundational and coherence approaches. Zbl 0877.03017
del Val, Alvaro
4
1997
Quantifiers, modifiers and qualifiers in fuzzy logic. Zbl 0885.03024
Ying, Mingsheng; Bouchon-Meunier, Bernadette
4
1997
Uniform and non uniform strategies for tableaux calculi for modal logics. Zbl 0826.03006
Demri, Stéphane
4
1995
Analytic tableaux for default logics. Zbl 0838.03023
Risch, Vincent
4
1996
The logic of modal changes LMC. Zbl 1452.03060
Łyczak, Marcin
1
2020
A basic quasi-Boolean logic of intuitionistic character. Zbl 07357946
Robles, Gemma
1
2020
Exactly true and non-falsity logics meeting infectious ones. Zbl 07363450
Belikov, Alex; Petrukhin, Yaroslav
1
2020
A logic of negative trust. Zbl 07363453
Primiero, G.
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.
8
2019
Semantical analysis of weak Kleene logics. Zbl 1444.03087
Ciuni, Roberto; Carrara, Massimiliano
4
2019
Belnap-Dunn semantics for natural implicative expansions of Kleene’s strong three-valued matrix. II: Only one designated value. Zbl 07098175
Robles, Gemma; Salto, Francisco; Méndez, José M.
3
2019
A family of metainferential logics. Zbl 1444.03084
Pailos, Federico Matias
2
2019
Two proofs of the algebraic completeness theorem for multilattice logic. Zbl 1444.03089
Grigoriev, Oleg; Petrukhin, Yaroslav
2
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
2
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
5
2018
Assertive graphs. Zbl 1436.03020
Bellucci, F.; Chiffi, Daniele; Pietarinen, A.-V.
2
2018
Arguing about constitutive and regulative norms. Zbl 1436.03141
Pigozzi, Gabriella; van der Torre, Leendert
2
2018
Truth without standard models: some conceptual problems reloaded. Zbl 1436.03016
Barrio, Eduardo; Da Ré, Bruno
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
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
Unification in epistemic logics. Zbl 1398.03070
Balbiani, Philippe; Gencer, Çiğdem
2
2017
\(KD\) is nullary. Zbl 1398.03086
Balbiani, Philippe; Gencer, Çiğdem
2
2017
A mereotopology based on sequent algebras. Zbl 1398.03147
Vakarelov, Dimiter
2
2017
A general framework for dynamic epistemic logic: towards canonical correspondences. Zbl 1398.03073
Motoura, Shota
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
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
Reasoning about trust and aboutness in the context of communication. Zbl 1400.68236
Demolombe, Robert
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
11
2016
Knowledge means ‘all’, belief means ‘most’. Zbl 1398.03067
Askounis, Dimitris; Koutras, Costas D.; Zikos, Yorgos
3
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
2
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
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
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
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.
1
2016
Fuzzy concept lattice reduction using Shannon entropy and Huffman coding. Zbl 1400.68209
Singh, Prem Kumar; Gani, Abdullah
7
2015
Finite non-deterministic semantics for some modal systems. Zbl 1398.03089
Coniglio, Marcelo E.; Fariñas del Cerro, Luis; Peron, Newton M.
5
2015
Separation logics and modalities: a survey. Zbl 1398.03151
Demri, Stéphane; Deters, Morgan
5
2015
Putting right the wording and the proof of the truth lemma for APAL. Zbl 1398.03069
Balbiani, Philippe
3
2015
Substructural epistemic logics. Zbl 1398.03074
Sedlár, Igor
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
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.
16
2014
Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics. Zbl 1398.03135
Avron, Arnon
5
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
Foreword: three-valued logics and their applications. Zbl 1398.00089
Cobreros, Pablo; Égré, Paul; Ripley, David; van Rooij, Robert
3
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
Variants of multi-relational semantics for propositional non-normal modal logics. Zbl 1398.03088
Calardo, Erica; Rotolo, Antonino
3
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
Equivalence in logic-based argumentation. Zbl 1400.68202
Amgoud, Leila; Besnard, Philippe; Vesic, Srdjan
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
8
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
5
2013
Temporal STIT logic and its application to normative reasoning. Zbl 1398.03080
Lorini, Emiliano
5
2013
Some properties of system descriptions of \(\mathcal{AL}_d\). Zbl 1400.68207
Gelfond, Michael; Inclezan, Daniela
3
2013
Multiple agent possibilistic logic. Zbl 1400.68217
Belhadi, Asma; Dubois, Didier; Khellaf-Haned, Faiza; Prade, Henri
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
On the relation between SPARQL1.1 and answer set programming. Zbl 1400.68065
Polleres, Axel; Wallner, Johannes Peter
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
16
2012
DEL-sequents for regression and epistemic planning. Zbl 1398.03068
Aucher, Guillaume
6
2012
Public announcements, public assignments and the complexity of their logic. Zbl 1398.03076
van Ditmarsch, Hans; Herzig, Andreas; de Lima, Tiago
2
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
Programming norm change. Zbl 1400.68055
Dastani, Mehdi; Meyer, John-Jules; Tinnemeier, Nick
1
2012
Epistemic planning for single- and multi-agent systems. Zbl 1242.68285
Bolander, Thomas; Andersen, Mikkel Birkegaard
28
2011
Justifications for common knowledge. Zbl 1242.03036
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas
7
2011
Some remarks on the model theory of epistemic plausibility models. Zbl 1242.03037
Demey, Lorenz
7
2011
Composing models. Zbl 1242.03043
van Eijck, Jan; Sietsma, Floor; Wang, Yanjing
5
2011
Logical foundations and complexity of 4QL, a query language with unrestricted negation. Zbl 1242.68091
Małuszyński, Jan; Szałas, Andrzej
4
2011
Question-answer games. Zbl 1242.91032
Ågotnes, Thomas; van Benthem, Johan; van Ditmarsch, Hans; Minică, Ştefan
4
2011
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
3
2011
DEL-sequents for progression. Zbl 1242.03034
Aucher, Guillaume
3
2011
On interactive knowledge with bounded communication. Zbl 1242.03035
Ben-Zvi, Ido; Moses, Yoram
3
2011
A logic for extensional protocols. Zbl 1242.68303
Rodenhäuser, Ben
3
2011
Converse-PDL with regular inclusion axioms: a framework for MAS logics. Zbl 1242.03030
Dunin-Kȩplicz, Barbara; Nguyen, Linh Anh; Szałas, Andrzej
2
2011
Updating knowledge using subsets. Zbl 1242.03038
Georgatos, Konstantinos
2
2011
Axiomatization and completeness of lexicographic products of modal logics. Zbl 1242.03048
Balbiani, Philippe
1
2011
Dual tableau-based decision procedures for relational logics with restricted composition operator. Zbl 1242.03028
Cantone, Domenico; Nicolosi Asmundo, Marianna; Orłowska, Ewa
1
2011
Dominance plausible rule and transitivity. Zbl 1242.91042
Camacho, Franklin; Pino Pérez, Ramón
1
2011
Modal logics with Belnapian truth values. Zbl 1242.03050
Odintsov, Sergei P.; Wansing, Heinrich
27
2010
Model-checking \(\mathrm{CTL}^*\) over flat Presburger counter systems. Zbl 1242.68157
Demri, Stéphane; Finkel, Alain; Goranko, Valentin; van Drimmelen, Govert
9
2010
Continuity, freeness, and filtrations. Zbl 1242.03049
Ghilardi, Silvio
5
2010
...and 215 more Documents
all top 5

Cited by 1,434 Authors

32 van Ditmarsch, Hans Pieter
25 van Benthem, Johan F. A. K.
21 Balbiani, Philippe
19 Wansing, Heinrich Theodor
18 Gabbay, Dov M.
15 Montanari, Angelo
15 Simari, Guillermo Ricardo
14 Pynko, Alexej P.
13 Bezhanishvili, Guram
13 Dubois, Didier
13 Kamide, Norihiro
13 Vakarelov, Dimiter
12 Ågotnes, Thomas
12 Demri, Stéphane P.
12 Godo, Lluís
12 Herzig, Andreas
12 Robles, Gemma
11 Lorini, Emiliano
11 Ognjanović, Zoran
11 Ponse, Alban
11 Schaub, Torsten H.
11 Sciavicco, Guido
10 Amgoud, Leila
10 Baltag, Alexandru
10 Bergstra, Jan A.
10 Gilio, Angelo
10 Goranko, Valentin F.
10 Pacuit, Eric
10 Smets, Sonja J. L.
10 Velázquez-Quesada, Fernando Raymundo
9 Avron, Arnon
9 Dixon, Clare
9 Odintsov, Sergei P.
9 Prade, Henri M.
9 Woltran, Stefan
8 Arieli, Ofer
8 Bolander, Thomas
8 Falappa, Marcelo Alejandro
8 Fariñas del Cerro, Luis
8 Hunter, Anthony
8 Jamroga, Wojciech
8 Konieczny, Sébastien
8 Petrukhin, Yaroslav Igorevich
8 Rivieccio, Umberto
8 Schwarzentruber, François
8 van der Hoek, Wiebe
8 Varzinczak, Ivan Jóse
8 Wolter, Frank
8 Zakharyaschev, Michael Viktorovich
7 Bloch, Isabelle
7 Bresolin, Davide
7 Cabalar, Pedro
7 Hansson, Sven Ove
7 Kern-Isberner, Gabriele
7 Mesiar, Radko
7 Naumov, Pavel G.
7 Rašković, Miodrag D.
7 Sala, Pietro
7 Sanfilippo, Giuseppe
7 Shramko, Yaroslav V.
7 Szałas, Andrzej
7 Vetterlein, Thomas
7 Wang, Yanjing
6 Bezhanishvili, Nick
6 Caminada, Martin W. A.
6 Chakraborty, Mihir Kumar
6 Chesñevar, Carlos Iván
6 De Baets, Bernard
6 French, Tim
6 Gabelaia, David
6 García, Alejandro Javier
6 Guelev, Dimitar P.
6 Liu, Fenrong
6 Lutz, Carsten
6 Omori, Hitoshi
6 Pino Pérez, Ramón
6 Sayed Ahmed, Tarek
6 Simari, Gerardo I.
6 Singh, Prem Kumar
5 Aucher, Guillaume
5 Baroni, Pietro
5 Benferhat, Salem
5 Bonzio, Stefano
5 Bozzelli, Laura
5 Britz, Katarina
5 Conradie, Willem J.
5 Di Nola, Antonio
5 Diéguez, Martín
5 Düntsch, Ivo
5 Gebser, Martin
5 Golińska-Pilarek, Joanna
5 Hartonas, Chrysafis
5 Konikowska, Beata
5 Kurucz, Agi
5 Lukasiewicz, Thomas
5 Ma, Minghui
5 Marquis, Pierre
5 Meyer, Thomas Andreas
5 Movsisyan, Yuri Movses
5 Orłowska, Ewa S.
...and 1,334 more Authors
all top 5

Cited in 123 Journals

109 Studia Logica
106 Journal of Applied Non-Classical Logics
104 Artificial Intelligence
69 Fuzzy Sets and Systems
66 Journal of Philosophical Logic
65 International Journal of Approximate Reasoning
50 Synthese
47 Annals of Mathematics and Artificial Intelligence
43 Journal of Logic, Language and Information
38 Theoretical Computer Science
37 Journal of Applied Logic
29 Theory and Practice of Logic Programming
28 Annals of Pure and Applied Logic
26 Logica Universalis
20 The Review of Symbolic Logic
17 The Journal of Symbolic Logic
17 Logic and Logical Philosophy
17 Journal of Logical and Algebraic Methods in Programming
15 Information and Computation
15 Journal of Automated Reasoning
12 Information Sciences
11 Algebra Universalis
10 International Journal of Intelligent Systems
9 The Journal of Logic and Algebraic Programming
8 Archive for Mathematical Logic
8 Mathematical Logic Quarterly (MLQ)
8 ACM Transactions on Computational Logic
7 Soft Computing
6 Notre Dame Journal of Formal Logic
6 Theory of Computing Systems
5 Journal of Symbolic Computation
5 Topoi
5 Erkenntnis
5 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
5 Logical Methods in Computer Science
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 Frontiers of Computer Science
3 Communications in Algebra
3 International Journal of General Systems
3 Information Processing Letters
3 Journal of Algebra
3 Journal of Pure and Applied Algebra
3 MSCS. Mathematical Structures in Computer Science
3 The Journal of Artificial Intelligence Research (JAIR)
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 Algebra and Logic
2 Journal of Computer and System Sciences
2 Mathematica Slovaca
2 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
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 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 Semigroup Forum
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 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
1 International Journal of Computer Mathematics
1 Cybernetics and Systems Analysis
1 Applied Categorical Structures
...and 23 more Journals

Citations by Year