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: 524 Publications (since 1991) References Indexed: 489 Publications with 13,612 References. all top 5 Latest Issues 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) 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 Méndez, José M. 7 Vakarelov, Dimiter 7 van Ditmarsch, Hans Pieter 6 Petrukhin, Yaroslav Igorevich 6 Szałas, Andrzej 6 van Benthem, Johan F. A. K. 5 Cabalar, Pedro 5 Demolombe, Robert 5 Guelev, Dimitar P. 5 Koutras, Costas D. 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 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 Gencer, Çigdem 3 Golińska-Pilarek, Joanna 3 Hartonas, Chrysafis 3 Kamide, Norihiro 3 Konikowska, Beata 3 Lorini, Emiliano 3 Masini, Andrea 3 Montanari, Angelo 3 Moszkowski, Ben C. 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 Varzinczak, Ivan Jóse 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 Celani, Sergio Arturo 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 Estrada, Alejandro 2 Fan, Xiaocong 2 Fariñasdelcerro, Luis 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 Joaquin, Jeremiah Joven B. 2 Kern-Isberner, Gabriele 2 Kohlhase, Michael 2 Konieczny, Sébastien 2 Liao, Beishui ...and 546 more Authors all top 5 Fields 453 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) 10 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 341 Publications have been cited 2,110 times in 1,663 Documents Cited by ▼ Year ▼ Dynamic logic for belief revision. Zbl 1186.03033van Benthem, Johan 133 2007 Argument-based extended logic programming with defeasible priorities. Zbl 0877.68019Prakken, Henry; Sartor, Giovanni 89 1997 Dynamic logic of preference upgrade. Zbl 1186.03034van Benthem, Johan; Liu, Fenrong 72 2007 Epistemic planning for single- and multi-agent systems. Zbl 1242.68285Bolander, Thomas; Andersen, Mikkel Birkegaard 51 2011 Structure of left-continuous triangular norms with strong induced negations. I: Rotation construction. Zbl 1033.03512Jenei, Sándor 38 2000 Structure of left-continuous triangular norms with strong induced negations. II: Rotation-annihilation construction. Zbl 1037.03508Jenei, Sándor 37 2001 Semi-revision. Zbl 0869.03017Hansson, Sven 35 1997 Modal logics with Belnapian truth values. Zbl 1242.03050Odintsov, Sergei P.; Wansing, Heinrich 35 2010 Constructive negation, implication, and co-implication. Zbl 1181.03027Wansing, Heinrich 32 2008 A road map of interval temporal logics and duration calculi. Zbl 1181.03012Goranko, V.; Montanari, A.; Sciavicco, G. 31 2004 Some (in)translatability results for normal logic programs and propositional theories. Zbl 1184.68160Janhunen, Tomi 30 2006 Constructive knowledge: what agents can achieve under imperfect information. Zbl 1186.03031Jamroga, Wojciech; Ågotnes, Thomas 29 2007 A proximity approach to some region-based theories of space. Zbl 1185.68682Vakarelov, Dimiter; Dimov, Georgi; Düntsch, Ivo; Bennett, Brandon 29 2002 Expressivity and completeness for public update logics via reduction axioms. Zbl 1185.03014Kooi, Barteld 28 2007 Functional completeness and axiomatizability within Belnap’s four-valued logic and its expansions. Zbl 1033.03017Pynko, Alexej P. 27 1999 Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System \(P\). Zbl 1038.03023Biazzo, Veronica; Gilio, Angelo; Lukasiewicz, Thomas; Sanfilippo, Giuseppe 26 2002 A propositional logic with 4 values: true, false, divergent and meaningless. Zbl 0843.03012Bergstra, Jan A.; Bethke, Inge; Rodenburg, Piet 24 1995 An infinity of super-Belnap logics. Zbl 1398.03112Rivieccio, Umberto 22 2012 Knowledge, uncertainty and ignorance in logic: Bilattices and beyond. Zbl 0993.03079Gargov, George 21 1999 “Everywhere” and “here”. Zbl 0993.03020Shehtman, Valentin 21 1999 On the tractable counting of theory models and its application to truth maintenance and belief revision. Zbl 1033.03505Darwiche, Adnan 20 2001 A computational interpretation of conceptivism. Zbl 1398.03142Ferguson, T. M. 19 2014 On Priest’s logic of paradox. Zbl 0841.03008Pynko, Alexej P. 18 1995 The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic. Zbl 1186.03043Esakia, Leo 18 2006 Distributed knowledge. Zbl 1186.03032Roelofsen, Floris 18 2007 Defining LFIs and LFUs in extensions of infectious logics. Zbl 1398.03138Szmuc, Damian Enrique 17 2016 Varieties of MV-algebras. Zbl 1031.06010Panti, Giovanni 16 1999 Model-checking \(\mathrm{CTL}^*\) over flat Presburger counter systems. Zbl 1242.68157Demri, Stéphane; Finkel, Alain; Goranko, Valentin; van Drimmelen, Govert 16 2010 Graded consequence: Further studies. Zbl 0839.03010Chakraborty, M. K. 15 1995 On the semantics of graded modalities. Zbl 0797.03013van der Hoek, Wiebe 14 1992 Some considerations on the logics \(P_ FD\). A logic combining modality and probability. Zbl 0885.03022van der Hoeck, Wiebe 14 1997 Temporal equilibrium logic: a survey. Zbl 1400.68199Aguado, Felicidad; Cabalar, Pedro; Diéguez, Martín; Pérez, Gilberto; Vidal, Concepción 14 2013 Logical limits of abstract argumentation frameworks. Zbl 1400.68201Amgoud, Leila; Besnard, Philippe 14 2013 Computing generalized specificity. Zbl 1185.68679Stolzenburg, Frieder; García, Alejandro J.; Chesñevar, Carlos I.; Simari, Guillermo R. 13 2003 Justifications for common knowledge. Zbl 1242.03036Bucheli, Samuel; Kuznets, Roman; Studer, Thomas 13 2011 On consequence in approximate reasoning. Zbl 0794.03032Castro, J. L.; Trillas, E.; Cubillo, S. 12 1994 Brief study of \(\text{G}'_3\) logic. Zbl 1180.03031Osorio Galindo, Mauricio; Carballido Carranza, José Luis 12 2008 A modal walk through space. Zbl 1185.03060Aiello, Marco; van Benthem, Johan 12 2002 From KLM-style conditionals to defeasible modalities, and back. Zbl 1436.03129Britz, Katarina; Varzinczak, Ivan 12 2018 A framework for iterated revision. Zbl 1033.03506Konieczny, Sébastien; Pino Pérez, Ramón 12 2000 Decidability and incompleteness results for first-order temporal logics of linear time. Zbl 0790.03019Merz, Stephan 11 1992 BDD-based decision procedures for the modal logic K. Zbl 1184.68466Pan, Guoqiang; Sattler, Ulrike; Vardi, Moshe Y. 11 2006 Modal logics based on mathematical morphology for qualitative spatial reasoning. Zbl 1185.03025Bloch, Isabelle 11 2002 Graded consequence relations and fuzzy closure operator. Zbl 0872.03012Gerla, Giangiacomo 11 1996 A tableau-based proof method for temporal logics of knowledge and belief. Zbl 0926.03011Wooldridge, Michael; Dixon, Clare; Fisher, Michael 11 1998 A hierarchical completeness proof for propositional interval temporal logic with finite time. Zbl 1181.03015Moszkowski, B. 10 2004 Possible-translations semantics for some weak classically-based paraconsistent logics. Zbl 1187.03025Marcos, João 10 2008 A canonical model of the region connection calculus. Zbl 1185.03061Renz, Jochen 10 2002 What groups do, can do, and know they can do: an analysis in normal modal logics. Zbl 1210.03015Broersen, Jan; Herzig, Andreas; Troquard, Nicolas 10 2009 Belnap-Dunn semantics for natural implicative expansions of Kleene’s strong three-valued matrix with two designated values. Zbl 1444.03092Robles, Gemma; Méndez, José M. 10 2019 DEL-sequents for regression and epistemic planning. Zbl 1398.03068Aucher, Guillaume 10 2012 Fuzzy concept lattice reduction using Shannon entropy and Huffman coding. Zbl 1400.68209Singh, Prem Kumar; Gani, Abdullah 10 2015 Some remarks on the model theory of epistemic plausibility models. Zbl 1242.03037Demey, Lorenz 10 2011 PDL with intersection of programs: a complete axiomatization. Zbl 1181.03030Balbiani, P.; Vakarelov, D. 9 2003 Combining valuations with society semantics. Zbl 1185.03055Fernández, Víctor L.; Coniglio, Marcelo E. 9 2003 Separation logics and modalities: a survey. Zbl 1398.03151Demri, Stéphane; Deters, Morgan 9 2015 Note on a six-valued extension of three-valued logic. Zbl 0806.03019Font, Josep M.; Moussavi, Massoud 8 1993 Local possibilistic logic. Zbl 0886.03018Boldrin, Luca; Sossai, Claudio 8 1997 A multi-dimensional terminological knowledge representation language. Zbl 0845.68098Baader, Franz; Ohlbach, Hans Jürgen 8 1995 Regression in modal logic. Zbl 1185.03028Demolombe, Robert; Herzig, Andreas; Varzinczak, Ivan 8 2003 \(\mu\)-programs, uniform interpolation and bisimulation quantifiers for modal logics. Zbl 1186.03054D’Agostino, Giovanna; Lenzi, Giacomo; French, Tim 8 2006 KAT-ML: an interactive theorem prover for Kleene algebra with tests. Zbl 1184.68457Aboul-Hosn, Kamal; Kozen, Dexter 8 2006 Foundations of the rule-based system \(\rho\,\text{Log}\). Zbl 1184.68175Marin, Mircea; Kutsia, Temur 8 2006 A hierarchy of modal logics with relative accessibility relations. Zbl 0989.03018Balbiani, Philippe; Orlowska, Ewa 8 1999 The modal multilogic of geometry. Zbl 0921.03022Balbiani, Philippe 8 1998 Process algebra with four-valued logic. Zbl 1036.68067Bergstra, Jan A.; Ponse, Alban 8 2000 Regular bilattices. Zbl 1031.06005Pynko, Alexej P. 8 2000 A catalog of weak many-valued modal axioms and their corresponding frame classes. Zbl 1185.03031Koutras, Costas D. 7 2003 PDL for ordered trees. Zbl 1185.03056Afanasiev, Loredana; Blackburn, Patrick; Dimitriou, Ioanna; Gaiffe, Bertrand; Goris, Evan; Marx, Maarten; de Rijke, Maarten 7 2005 Non-Archimedean fuzzy and probability logic. Zbl 1187.03024Schumann, Andrew 7 2008 Roadmap for preferential logics. Zbl 1187.03026Gabbay, Dov M.; Schlechta, Karl 7 2009 LTL model checking for security protocols. Zbl 1186.68276Armando, Alessandro; Carbone, Roberto; Compagna, Luca 7 2009 A family of metainferential logics. Zbl 1444.03084Pailos, Federico Matias 7 2019 A modal theorem-preserving translation of a class of three-valued logics of incomplete information. Zbl 1398.03107Ciucci, D.; Dubois, D. 7 2013 Finite non-deterministic semantics for some modal systems. Zbl 1398.03089Coniglio, Marcelo E.; Fariñas del Cerro, Luis; Peron, Newton M. 7 2015 On the semantics of combination operations. Zbl 1041.68095Meyer, Thomas 7 2001 Relevance sensitive non-monotonic inference on belief sequences. Zbl 1041.68093Chopra, Samir; Georgatos, Konstantinos; Parikh, Rohit 7 2001 An empirical analysis of modal theorem provers. Zbl 1033.03501Hustadt, Ullrich; Schmidt, Renate A. 7 1999 Continuity, freeness, and filtrations. Zbl 1242.03049Ghilardi, Silvio 7 2010 Logics for multi-subset spaces. Zbl 1242.03039Heinemann, Bernhard 7 2010 Quantifiers, modifiers and qualifiers in fuzzy logic. Zbl 0885.03024Ying, Mingsheng; Bouchon-Meunier, Bernadette 6 1997 Belief base merging as a game. Zbl 1185.68693Konieczny, Sébastien 6 2004 A first step towards modeling semistructured data in hybrid multimodal logic. Zbl 1185.68290Bidoit, Nicole; Cerrito, Serenella; Thion, Virginie 6 2004 On the strength and scope of DLS. Zbl 1186.03042Conradie, Willem 6 2006 The trivial object and the non-triviality of a semantically closed theory with descriptions. Zbl 0934.03035Priest, Graham 6 1998 Semantical analysis of weak Kleene logics. Zbl 1444.03087Ciuni, Roberto; Carrara, Massimiliano 6 2019 Model-based recasting in answer-set programming. Zbl 1400.68048Eiter, Thomas; Fink, Michael; Pührer, Jörg; Tompits, Hans; Woltran, Stefan 6 2013 Temporal STIT logic and its application to normative reasoning. Zbl 1398.03080Lorini, Emiliano 6 2013 Putting right the wording and the proof of the truth lemma for APAL. Zbl 1398.03069Balbiani, Philippe 6 2015 Assertive graphs. Zbl 1436.03020Bellucci, F.; Chiffi, Daniele; Pietarinen, A.-V. 6 2018 Fuzzy inference as deduction. Zbl 1033.03018Godo, Lluís; Hájek, Petr 6 1999 Some modal aspects of XPath. Zbl 1242.68010ten Cate, Balder; Fontaine, Gaëlle; Litak, Tadeusz 6 2010 An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking. Zbl 1242.68161Guelev, Dimitar P.; Dima, Cătălin; Enea, Constantin 6 2011 Composing models. Zbl 1242.03043van Eijck, Jan; Sietsma, Floor; Wang, Yanjing 6 2011 Two over three: A two-valued logic for software specification and validation over a three-valued predicate calculus. Zbl 0802.03028Konikowska, Beata 5 1993 Exploiting data dependencies in many-valued logics. Zbl 0836.03013Hähnle, Reiner 5 1996 Non monotonic reasoning and belief revision: Syntactic, semantic, foundational and coherence approaches. Zbl 0877.03017del Val, Alvaro 5 1997 Algorithmic correspondence and completeness in modal logic. IV. Semantic extensions of SQEMA. Zbl 1181.03007Conradie, Willem; Goranko, Valentin 5 2008 Complexity of intuitionistic propositional logic and its fragments. Zbl 1181.03006Rybakov, Mikhail 5 2008 Compatible operations on commutative residuated lattices. Zbl 1180.06015Castiglioni, José Luis; Menni, Matías; Sagastume, Marta 5 2008 A family of genuine and non-algebraisable C-systems. Zbl 1515.03127Osorio, Mauricio; Figallo-Orellano, Aldo; Pérez-Gaspar, Miguel 1 2021 Measuring inconsistency in some branching time logics. Zbl 1515.03083Grant, John 1 2021 Metainferential duality. Zbl 1486.03043Da Ré, Bruno; Pailos, Federico; Szmuc, Damian; Teijeiro, Paula 3 2020 Logics of variable inclusion and the lattice of consequence relations. Zbl 1486.03020Pra Baldi, Michele 2 2020 Exactly true and non-falsity logics meeting infectious ones. Zbl 1486.03047Belikov, Alex; Petrukhin, Yaroslav 2 2020 Structural proof theory for first-order weak Kleene logics. Zbl 1486.03048Fjellstad, Andreas 2 2020 A basic quasi-Boolean logic of intuitionistic character. Zbl 1486.03044Robles, Gemma 1 2020 A logic of negative trust. Zbl 1486.03053Primiero, G. 1 2020 Axiomatization of non-associative generalisations of Hájek’s BL and psBL. Zbl 1436.03160Petrukhin, Yaroslav 1 2020 The logic of modal changes LMC. Zbl 1452.03060Łyczak, Marcin 1 2020 Belnap-Dunn semantics for natural implicative expansions of Kleene’s strong three-valued matrix with two designated values. Zbl 1444.03092Robles, Gemma; Méndez, José M. 10 2019 A family of metainferential logics. Zbl 1444.03084Pailos, Federico Matias 7 2019 Semantical analysis of weak Kleene logics. Zbl 1444.03087Ciuni, Roberto; Carrara, Massimiliano 6 2019 Belnap-Dunn semantics for natural implicative expansions of Kleene’s strong three-valued matrix. II: Only one designated value. Zbl 1484.03043Robles, Gemma; Salto, Francisco; Méndez, José M. 5 2019 Two proofs of the algebraic completeness theorem for multilattice logic. Zbl 1444.03089Grigoriev, Oleg; Petrukhin, Yaroslav 4 2019 Lattice logic as a fragment of (2-sorted) residuated modal logic. Zbl 1444.03057Hartonas, Chrysafis 4 2019 Axiomatic and dual systems for constructive necessity, a formally verified equivalence. Zbl 1444.03054González Huesca, Lourdes del Carmen; Miranda-Perea, Favio E.; Linares-Arévalo, P. Selene 3 2019 Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning. Zbl 1444.03183Aiguier, Marc; Bloch, Isabelle 2 2019 MVW-rigs and product MV-algebras. Zbl 1439.06008Estrada, Alejandro; Poveda, Yuri A. 2 2019 Subordination Tarski algebras. Zbl 1444.03180Celani, Sergio A. 1 2019 On Vidal’s trivalent explanations for defective conditional in mathematics. Zbl 1444.03091Petrukhin, Yaroslav; Shangin, Vasily 1 2019 From KLM-style conditionals to defeasible modalities, and back. Zbl 1436.03129Britz, Katarina; Varzinczak, Ivan 12 2018 Assertive graphs. Zbl 1436.03020Bellucci, F.; Chiffi, Daniele; Pietarinen, A.-V. 6 2018 Truth without standard models: some conceptual problems reloaded. Zbl 1436.03016Barrio, Eduardo; Da Ré, Bruno 3 2018 Arguing about constitutive and regulative norms. Zbl 1436.03141Pigozzi, Gabriella; van der Torre, Leendert 2 2018 Abduction in argumentation frameworks. Zbl 1436.68328Sakama, Chiaki 2 2018 Continuous propositional modal logic. Zbl 1436.03127Baratella, Stefano 2 2018 An independent axiomatisation for free short-circuit logic. Zbl 1436.03178Ponse, Alban; Staudt, Daan J. C. 1 2018 Logics for extended distributive contact lattices. Zbl 1436.03169Ivanova, Tatyana 1 2018 Initial sets in abstract argumentation frameworks. Zbl 1436.68329Xu, Yuming; Cayrol, Claudette 1 2018 Doxastic logic: a new approach. Zbl 1436.03115Rönnedal, Daniel 1 2018 Fuzzy intensional semantics. Zbl 1499.03020Běhounek, Libor; Majer, Ondrej 1 2018 \(KD\) is nullary. Zbl 1398.03086Balbiani, Philippe; Gencer, Çiğdem 4 2017 Unification in epistemic logics. Zbl 1398.03070Balbiani, Philippe; Gencer, Çiğdem 3 2017 A general framework for dynamic epistemic logic: towards canonical correspondences. Zbl 1398.03073Motoura, Shota 2 2017 Judgement aggregation in non-classical logics. Zbl 1398.03102Porello, Daniele 2 2017 Foundations for a logic of arguments. Zbl 1398.03066Amgoud, Leila; Besnard, Philippe; Hunter, Anthony 2 2017 A mereotopology based on sequent algebras. Zbl 1398.03147Vakarelov, Dimiter 2 2017 A short biography of Luis Fariñas del Cerro. Zbl 1401.01029Cabalar, Pedro; Diéguez, Martín; Herzig, Andreas; Pearce, David 1 2017 Temporal equilibrium logic with past operators. Zbl 1398.03077Aguado, Felicidad; Cabalar, Pedro; Diéguez, Martín; Pérez, Gilberto; Vidal, Concepción 1 2017 Stable reasoning. Zbl 1400.68203Cabalar, Pedro; Pearce, David; Valverde, Agustín 1 2017 Reasoning about trust and aboutness in the context of communication. Zbl 1400.68236Demolombe, Robert 1 2017 Mixed algebras and their logics. Zbl 1398.03209Düntsch, Ivo; Orłowska, Ewa; Tinchev, Tinko 1 2017 Dynamic epistemic logics: promises, problems, shortcomings, and perspectives. Zbl 1398.03072Herzig, Andreas 1 2017 Defining LFIs and LFUs in extensions of infectious logics. Zbl 1398.03138Szmuc, Damian Enrique 17 2016 The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic. Zbl 1398.03109Méndez, José M.; Robles, Gemma 5 2016 Knowledge means ‘all’, belief means ‘most’. Zbl 1398.03067Askounis, Dimitris; Koutras, Costas D.; Zikos, Yorgos 4 2016 Axiomatisation of general concept inclusions from finite interpretations. Zbl 1400.68206Borchmann, D.; Distel, F.; Kriegel, F. 3 2016 First-order frames for orthomodular quantum logic. Zbl 1398.03211Hartonas, Chrysafis 3 2016 Errata and addenda to: “Finite non-deterministic semantics for some modal systems”. Zbl 1398.03090Coniglio, Marcelo E.; Fariñas del Cerro, Luis; Peron, Newton M. 3 2016 Propositional quantification in logics of contingency. Zbl 1398.03098van Ditmarsch, Hans; Fan, Jie 2 2016 On polynomial semantics for propositional logics. Zbl 1398.03134Agudelo-Agudelo, Juan C.; Agudelo-González, Carlos A.; García-Quintero, Oscar E. 2 2016 A comparison between monoidal and substructural logics. Zbl 1398.03101Peterson, Clayton 1 2016 In defence of a logic for ‘because’. Zbl 1398.03036Schnieder, B. 1 2016 Game theoretical semantics for some non-classical logics. Zbl 1398.03136Başkent, Can 1 2016 On a paraconsistentization functor in the category of consequence structures. Zbl 1398.03140de Souza, Edelcio G.; Costa-Leite, Alexandre; Dias, Diogo H. B. 1 2016 Fuzzy concept lattice reduction using Shannon entropy and Huffman coding. Zbl 1400.68209Singh, Prem Kumar; Gani, Abdullah 10 2015 Separation logics and modalities: a survey. Zbl 1398.03151Demri, Stéphane; Deters, Morgan 9 2015 Finite non-deterministic semantics for some modal systems. Zbl 1398.03089Coniglio, Marcelo E.; Fariñas del Cerro, Luis; Peron, Newton M. 7 2015 Putting right the wording and the proof of the truth lemma for APAL. Zbl 1398.03069Balbiani, Philippe 6 2015 Substructural epistemic logics. Zbl 1398.03074Sedlár, Igor 4 2015 A problem for a logic of ‘because’. Zbl 1398.03045Tsohatzidis, Savas L. 1 2015 Note on paraconsistency and reasoning about fractions. Zbl 1398.03137Bergstra, Jan A.; Bethke, Inge 1 2015 Varying interpolation and amalgamation in polyadic MV-algebras. Zbl 1398.06009Ahmed, Tarek Sayed 1 2015 Expressiveness and succinctness of a logic of robustness. Zbl 1400.68137McCabe-Dansted, John C.; French, Tim; Pinchinat, Sophie; Reynolds, Mark 1 2015 A new framework for justification logic. Zbl 1398.03071Giordani, Alessandro 1 2015 A computational interpretation of conceptivism. Zbl 1398.03142Ferguson, T. M. 19 2014 Foreword: three-valued logics and their applications. Zbl 1398.00089Cobreros, Pablo; Égré, Paul; Ripley, David; van Rooij, Robert 5 2014 Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics. Zbl 1398.03135Avron, Arnon 5 2014 Equivalence in logic-based argumentation. Zbl 1400.68202Amgoud, Leila; Besnard, Philippe; Vesic, Srdjan 4 2014 The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points. Zbl 1398.03103Robles, Gemma; Méndez, José M. 4 2014 Capturing the relationship between conditionals and conditional probability with a trivalent semantics. Zbl 1398.03105Rothschild, Daniel 4 2014 The defective conditional in mathematics. Zbl 1398.03047Vidal, Mathieu 3 2014 Variants of multi-relational semantics for propositional non-normal modal logics. Zbl 1398.03088Calardo, Erica; Rotolo, Antonino 3 2014 Minimal models vs. logic programming: the case of counterfactual conditionals. Zbl 1398.03145Schulz, Katrin 2 2014 Prior’s OIC nonconservativity example revisited. Zbl 1398.03141Humberstone, Lloyd 1 2014 Modeling the suppression task under weak completion and well-founded semantics. Zbl 1398.03152Dietz, Emmanuelle-Anna; Hölldobler, Steffen; Wernhard, Christoph 1 2014 Some remarks on certain trivalent accounts of presupposition projection. Zbl 1398.03149George, Benjamin R. 1 2014 Remarks on the Gupta-Belnap fixed-point property for \(k\)-valued clones. Zbl 1398.03108Martínez-Fernández, José 1 2014 Trivalent logics arising from L-models for the Lambek calculus with constants. Zbl 1398.03100Kuznetsov, S. L. 1 2014 Temporal equilibrium logic: a survey. Zbl 1400.68199Aguado, Felicidad; Cabalar, Pedro; Diéguez, Martín; Pérez, Gilberto; Vidal, Concepción 14 2013 Logical limits of abstract argumentation frameworks. Zbl 1400.68201Amgoud, Leila; Besnard, Philippe 14 2013 A modal theorem-preserving translation of a class of three-valued logics of incomplete information. Zbl 1398.03107Ciucci, D.; Dubois, D. 7 2013 Model-based recasting in answer-set programming. Zbl 1400.68048Eiter, Thomas; Fink, Michael; Pührer, Jörg; Tompits, Hans; Woltran, Stefan 6 2013 Temporal STIT logic and its application to normative reasoning. Zbl 1398.03080Lorini, Emiliano 6 2013 Some properties of system descriptions of \(\mathcal{AL}_d\). Zbl 1400.68207Gelfond, Michael; Inclezan, Daniela 5 2013 On the relation between SPARQL1.1 and answer set programming. Zbl 1400.68065Polleres, Axel; Wallner, Johannes Peter 3 2013 Multiple agent possibilistic logic. Zbl 1400.68217Belhadi, Asma; Dubois, Didier; Khellaf-Haned, Faiza; Prade, Henri 3 2013 Deciding the unguarded modal \(\mu\)-calculus. Zbl 1398.03092Friedmann, Oliver; Lange, Martin 3 2013 On deductive bases for paraconsistent answer set semantics. Zbl 1400.68050Mayatskiy, N. V.; Odintsov, S. P. 2 2013 RASP and ASP as a fragment of linear logic. Zbl 1400.68047Costantini, Stefania; Formisano, Andrea 1 2013 Functional completion. Zbl 1400.68205Lifschitz, Vladimir; Yang, Fangkai 1 2013 The infinite-valued semantics: overview, recent results and future directions. Zbl 1400.68051Rondogiannis, Panos; Troumpoukis, Antonis 1 2013 An infinity of super-Belnap logics. Zbl 1398.03112Rivieccio, Umberto 22 2012 DEL-sequents for regression and epistemic planning. Zbl 1398.03068Aucher, Guillaume 10 2012 Programming norm change. Zbl 1400.68055Dastani, Mehdi; Meyer, John-Jules; Tinnemeier, Nick 3 2012 Public announcements, public assignments and the complexity of their logic. Zbl 1398.03076van 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.94070Schroeder, Marcin J. 1 2012 A discussion on quantum non-individuality. Zbl 1400.81009Krause, Décio; Arenhart, Jonas R. Becker 1 2012 ...and 241 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,693 Authors 42 van Ditmarsch, Hans Pieter 29 van Benthem, Johan F. A. K. 24 Balbiani, Philippe 20 Wansing, Heinrich Theodor 19 Gabbay, Dov M. 17 Ågotnes, Thomas 16 Montanari, Angelo 16 Simari, Guillermo Ricardo 14 Demri, Stéphane P. 14 Kamide, Norihiro 14 Ognjanović, Zoran 14 Pynko, Alexej P. 14 Robles, Gemma 14 Smets, Sonja J. L. 13 Amgoud, Leila 13 Baltag, Alexandru 13 Bezhanishvili, Guram 13 Dubois, Didier 13 Godo, Lluís 13 Herzig, Andreas 13 Vakarelov, Dimiter 12 Bergstra, Jan A. 12 Dixon, Clare 12 Goranko, Valentin F. 12 Lorini, Emiliano 12 Ponse, Alban 12 Schaub, Torsten H. 12 Velázquez-Quesada, Fernando Raymundo 12 Wang, Yanjing 11 Odintsov, Sergei P. 11 Pacuit, Eric 11 Sciavicco, Guido 10 Arieli, Ofer 10 Gilio, Angelo 10 Hunter, Anthony 10 Méndez, José M. 10 Petrukhin, Yaroslav Igorevich 10 Schwarzentruber, François 10 van der Hoek, Wiebe 9 Avron, Arnon 9 Bloch, Isabelle 9 Bolander, Thomas 9 Cabalar, Pedro 9 Düntsch, Ivo 9 Hansson, Sven Ove 9 Jamroga, Wojciech 9 Jenei, Sándor 9 Konieczny, Sébastien 9 Özgün, Aybüke 9 Pino Pérez, Ramón 9 Prade, Henri M. 9 Rivieccio, Umberto 9 Studer, Thomas 9 Varzinczak, Ivan Jóse 9 Wolter, Frank 9 Woltran, Stefan 9 Zakharyaschev, Michael Viktorovich 8 Chakraborty, Mihir Kumar 8 Falappa, Marcelo Alejandro 8 Kern-Isberner, Gabriele 8 Naumov, Pavel G. 8 Rašković, Miodrag D. 8 Sala, Pietro 8 Sanfilippo, Giuseppe 8 Shramko, Yaroslav V. 8 Szałas, Andrzej 8 Szmuc, Damian Enrique 7 Bonzio, Stefano 7 Bozzelli, Laura 7 Bresolin, Davide 7 Diéguez, Martín 7 Doder, Dragan 7 Fervari, Raul 7 Finkel, Alain 7 French, Tim 7 García, Alejandro Javier 7 Guelev, Dimitar P. 7 Hustadt, Ullrich 7 Kooi, Barteld Pieter 7 Mesiar, Radko 7 Orłowska, Ewa S. 7 Rendsvig, Rasmus Kræmmer 7 Simari, Gerardo I. 7 Tinchev, Tinko 7 Vetterlein, Thomas 6 Alviano, Mario 6 Aucher, Guillaume 6 Banerjee, Mohua 6 Baroni, Pietro 6 Bezhanishvili, Nick 6 Caminada, Martin W. A. 6 Chesñevar, Carlos Iván 6 Conradie, Willem 6 De Baets, Bernard 6 Demey, Lorenz 6 Dimov, Georgi D. 6 Esteva, Francesc 6 Ferguson, Thomas Macaulay 6 Gabelaia, David 6 Gebser, Martin ...and 1,593 more Authors all top 5 Cited in 129 Journals 121 Studia Logica 119 Artificial Intelligence 117 Journal of Applied Non-Classical Logics 82 Journal of Philosophical Logic 78 International Journal of Approximate Reasoning 69 Fuzzy Sets and Systems 52 Synthese 51 Annals of Mathematics and Artificial Intelligence 49 Journal of Logic, Language and Information 40 Theoretical Computer Science 37 Journal of Applied Logic 31 Theory and Practice of Logic Programming 31 The Review of Symbolic Logic 30 Annals of Pure and Applied Logic 27 Logica Universalis 24 Logic and Logical Philosophy 19 The Journal of Symbolic Logic 19 Journal of Logical and Algebraic Methods in Programming 18 Information and Computation 17 Journal of Automated Reasoning 12 Algebra Universalis 12 Information Sciences 12 Logicheskie Issledovaniya 10 International Journal of Intelligent Systems 10 Archive for Mathematical Logic 10 Soft Computing 10 ACM Transactions on Computational Logic 9 Mathematical Logic Quarterly (MLQ) 9 The Journal of Logic and Algebraic Programming 7 Notre Dame Journal of Formal Logic 7 Logical Methods in Computer Science 6 Bulletin of the Section of Logic 6 Theory of Computing Systems 5 Topology and its Applications 5 Journal of Symbolic Computation 5 The Journal of Artificial Intelligence Research (JAIR) 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 The Bulletin of Symbolic Logic 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 Mathematica Slovaca 3 MSCS. Mathematical Structures in Computer Science 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 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 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 ...and 29 more Journals all top 5 Cited in 33 Fields 1,212 Mathematical logic and foundations (03-XX) 807 Computer science (68-XX) 125 Order, lattices, ordered algebraic structures (06-XX) 63 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 34 General topology (54-XX) 29 General algebraic systems (08-XX) 22 Category theory; homological algebra (18-XX) 15 History and biography (01-XX) 14 Information and communication theory, circuits (94-XX) 10 Group theory and generalizations (20-XX) 10 Probability theory and stochastic processes (60-XX) 9 General and overarching topics; collections (00-XX) 9 Biology and other natural sciences (92-XX) 7 Statistics (62-XX) 7 Operations research, mathematical programming (90-XX) 6 Combinatorics (05-XX) 6 Geometry (51-XX) 5 Quantum theory (81-XX) 5 Systems theory; control (93-XX) 4 Measure and integration (28-XX) 4 Convex and discrete geometry (52-XX) 3 Topological groups, Lie groups (22-XX) 3 Dynamical systems and ergodic theory (37-XX) 2 Real functions (26-XX) 2 Difference and functional equations (39-XX) 1 Number theory (11-XX) 1 Commutative algebra (13-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Special functions (33-XX) 1 Manifolds and cell complexes (57-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