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/tncl20http://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 all top 5 Fields 485 Mathematical logic and foundations (03-XX) 227 Computer science (68-XX) 28 Order, lattices, ordered algebraic structures (06-XX) 14 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 11 General and overarching topics; collections (00-XX) 10 General topology (54-XX) 6 History and biography (01-XX) 6 Information and communication theory, circuits (94-XX) 4 General algebraic systems (08-XX) 4 Category theory; homological algebra (18-XX) 3 Geometry (51-XX) 3 Biology and other natural sciences (92-XX) 2 Commutative algebra (13-XX) 2 Quantum theory (81-XX) 1 Combinatorics (05-XX) 1 Number theory (11-XX) 1 Field theory and polynomials (12-XX) 1 Associative rings and algebras (16-XX) 1 Statistics (62-XX) 1 Mechanics of particles and systems (70-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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