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: Indexed cover-to-cover Documents Indexed: 516 Publications (since 1991) References Indexed: 482 Publications with 13,354 References. all top 5 Latest Issues 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 Vakarelov, Dimiter 7 van Ditmarsch, Hans Pieter 6 Szałas, Andrzej 6 van Benthem, Johan F. A. K. 5 Cabalar, Pedro 5 Demolombe, Robert 5 Koutras, Costas D. 5 Petrukhin, Yaroslav Igorevich 4 Bergstra, Jan A. 4 Besnard, Philippe 4 Chakraborty, Mihir Kumar 4 Demri, Stéphane P. 4 Dubois, Didier 4 Düntsch, Ivo 4 Gabbay, Dov M. 4 Guelev, Dimitar P. 4 Sayed Ahmed, Tarek 4 Schlechta, Karl 4 Tinchev, Tinko 3 Ågotnes, Thomas 3 Amgoud, Leila 3 Aucher, Guillaume 3 Broersen, Jan M. 3 Cerrito, Serenella 3 Cialdea Mayer, Marta 3 Coniglio, Marcelo Esteban 3 de Guzmán, Inmaculada Pérez 3 Diéguez, Martín 3 Fariñas del Cerro, Luis 3 Gencer, Çigdem 3 Golińska-Pilarek, Joanna 3 Hartonas, Chrysafis 3 Kamide, Norihiro 3 Konikowska, Beata 3 Lorini, Emiliano 3 Montanari, Angelo 3 Muravitsky, Alexei Yu. 3 Nour, Karim 3 Ponse, Alban 3 Prade, Henri M. 3 Pynko, Alexej P. 3 Rybakov, Vladimir Vladimirovich 3 Sagastume, Marta S. 3 van der Hoek, Wiebe 3 van der Torre, Leendert W. N. 3 Wagner, Gerd 3 Wansing, Heinrich Theodor 3 Wu, Jinzhao 2 Aguado, Felicidad 2 Agudelo-Agudelo, Juan C. 2 Alferes, José Júlio 2 Baratella, Stefano 2 Belikov, Alex 2 Belluce, Lawrence Peter 2 Benferhat, Salem 2 Bennett, Brandon 2 Bethke, Inge 2 Bloch, Isabelle 2 Burrieza, Alfredo 2 Carnielli, Walter Alexandre 2 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 Fan, Xiaocong 2 Fernández, Víctor L. 2 Formisano, Andrea 2 French, Tim 2 Froidevaux, Christine 2 Georgatos, Konstantinos 2 Godo, Lluís 2 Gonçalves, Ricardo 2 Grégoire, Éric 2 Hansson, Sven Ove 2 Heinemann, Bernhard 2 Hunter, Anthony 2 Jacquette, Dale 2 Jenei, Sándor 2 Kern-Isberner, Gabriele 2 Kohlhase, Michael 2 Konieczny, Sébastien 2 Liau, Churn-Jung 2 Lima-Marques, Mamede 2 Lutz, Carsten 2 Marquis, Pierre 2 Masini, Andrea 2 Meyer, John-Jules Charles 2 Moszkowski, Ben C. ...and 538 more Authors all top 5 Fields 448 Mathematical logic and foundations (03-XX) 221 Computer science (68-XX) 27 Order, lattices, ordered algebraic structures (06-XX) 13 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 10 General and overarching topics; collections (00-XX) 9 General topology (54-XX) 6 History and biography (01-XX) 6 Information and communication theory, circuits (94-XX) 4 General algebraic systems (08-XX) 3 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 Mechanics of particles and systems (70-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 335 Publications have been cited 1,955 times in 1,532 Documents Cited by ▼ Year ▼ Dynamic logic for belief revision. Zbl 1186.03033van Benthem, Johan 113 2007 Argument-based extended logic programming with defeasible priorities. Zbl 0877.68019Prakken, Henry; Sartor, Giovanni 79 1997 Dynamic logic of preference upgrade. Zbl 1186.03034van Benthem, Johan; Liu, Fenrong 63 2007 Epistemic planning for single- and multi-agent systems. Zbl 1242.68285Bolander, Thomas; Andersen, Mikkel Birkegaard 46 2011 Structure of left-continuous triangular norms with strong induced negations. II: Rotation-annihilation construction. Zbl 1037.03508Jenei, Sándor 37 2001 Structure of left-continuous triangular norms with strong induced negations. I: Rotation construction. Zbl 1033.03512Jenei, Sándor 37 2000 Modal logics with Belnapian truth values. Zbl 1242.03050Odintsov, Sergei P.; Wansing, Heinrich 34 2010 Semi-revision. Zbl 0869.03017Hansson, Sven 34 1997 A road map of interval temporal logics and duration calculi. Zbl 1181.03012Goranko, V.; Montanari, A.; Sciavicco, G. 32 2004 Constructive negation, implication, and co-implication. Zbl 1181.03027Wansing, Heinrich 31 2008 Constructive knowledge: what agents can achieve under imperfect information. Zbl 1186.03031Jamroga, Wojciech; Ågotnes, Thomas 28 2007 A proximity approach to some region-based theories of space. Zbl 1185.68682Vakarelov, Dimiter; Dimov, Georgi; Düntsch, Ivo; Bennett, Brandon 28 2002 Some (in)translatability results for normal logic programs and propositional theories. Zbl 1184.68160Janhunen, Tomi 26 2006 Functional completeness and axiomatizability within Belnap’s four-valued logic and its expansions. Zbl 1033.03017Pynko, Alexej P. 26 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 Expressivity and completeness for public update logics via reduction axioms. Zbl 1185.03014Kooi, Barteld 24 2007 An infinity of super-Belnap logics. Zbl 1398.03112Rivieccio, Umberto 23 2012 Knowledge, uncertainty and ignorance in logic: Bilattices and beyond. Zbl 0993.03079Gargov, George 21 1999 A computational interpretation of conceptivism. Zbl 1398.03142Ferguson, T. M. 19 2014 “Everywhere” and “here”. Zbl 0993.03020Shehtman, Valentin 19 1999 On the tractable counting of theory models and its application to truth maintenance and belief revision. Zbl 1033.03505Darwiche, Adnan 18 2001 On Priest’s logic of paradox. Zbl 0841.03008Pynko, Alexej P. 17 1995 The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic. Zbl 1186.03043Esakia, Leo 17 2006 Distributed knowledge. Zbl 1186.03032Roelofsen, Floris 16 2007 Defining LFIs and LFUs in extensions of infectious logics. Zbl 1398.03138Szmuc, Damian Enrique 16 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 14 2010 On the semantics of graded modalities. Zbl 0797.03013van der Hoek, Wiebe 14 1992 Graded consequence: Further studies. Zbl 0839.03010Chakraborty, M. K. 13 1995 Computing generalized specificity. Zbl 1185.68679Stolzenburg, Frieder; García, Alejandro J.; Chesñevar, Carlos I.; Simari, Guillermo R. 13 2003 Brief study of \(\text{G}'_3\) logic. Zbl 1180.03031Osorio Galindo, Mauricio; Carballido Carranza, José Luis 12 2008 Some considerations on the logics \(P_ FD\). A logic combining modality and probability. Zbl 0885.03022van der Hoeck, Wiebe 12 1997 Logical limits of abstract argumentation frameworks. Zbl 1400.68201Amgoud, Leila; Besnard, Philippe 12 2013 A modal walk through space. Zbl 1185.03060Aiello, Marco; van Benthem, Johan 11 2002 Justifications for common knowledge. Zbl 1242.03036Bucheli, Samuel; Kuznets, Roman; Studer, Thomas 11 2011 Temporal equilibrium logic: a survey. Zbl 1400.68199Aguado, Felicidad; Cabalar, Pedro; Diéguez, Martín; Pérez, Gilberto; Vidal, Concepción 11 2013 Decidability and incompleteness results for first-order temporal logics of linear time. Zbl 0790.03019Merz, Stephan 11 1992 On consequence in approximate reasoning. Zbl 0794.03032Castro, J. L.; Trillas, E.; Cubillo, S. 11 1994 A tableau-based proof method for temporal logics of knowledge and belief. Zbl 0926.03011Wooldridge, Michael; Dixon, Clare; Fisher, Michael 11 1998 Graded consequence relations and fuzzy closure operator. Zbl 0872.03012Gerla, Giangiacomo 11 1996 A framework for iterated revision. Zbl 1033.03506Konieczny, Sébastien; Pino Pérez, Ramón 11 2000 From KLM-style conditionals to defeasible modalities, and back. Zbl 1436.03129Britz, Katarina; Varzinczak, Ivan 11 2018 Modal logics based on mathematical morphology for qualitative spatial reasoning. Zbl 1185.03025Bloch, Isabelle 10 2002 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 A hierarchical completeness proof for propositional interval temporal logic with finite time. Zbl 1181.03015Moszkowski, B. 10 2004 BDD-based decision procedures for the modal logic K. Zbl 1184.68466Pan, Guoqiang; Sattler, Ulrike; Vardi, Moshe Y. 9 2006 Possible-translations semantics for some weak classically-based paraconsistent logics. Zbl 1187.03025Marcos, João 9 2008 PDL with intersection of programs: a complete axiomatization. Zbl 1181.03030Balbiani, P.; Vakarelov, D. 9 2003 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. 9 2019 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 Local possibilistic logic. Zbl 0886.03018Boldrin, Luca; Sossai, Claudio 8 1997 Some remarks on the model theory of epistemic plausibility models. Zbl 1242.03037Demey, Lorenz 8 2011 DEL-sequents for regression and epistemic planning. Zbl 1398.03068Aucher, Guillaume 8 2012 Fuzzy concept lattice reduction using Shannon entropy and Huffman coding. Zbl 1400.68209Singh, Prem Kumar; Gani, Abdullah 8 2015 Note on a six-valued extension of three-valued logic. Zbl 0806.03019Font, Josep M.; Moussavi, Massoud 8 1993 A hierarchy of modal logics with relative accessibility relations. Zbl 0989.03018Balbiani, Philippe; Orlowska, Ewa 8 1999 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 KAT-ML: an interactive theorem prover for Kleene algebra with tests. Zbl 1184.68457Aboul-Hosn, Kamal; Kozen, Dexter 7 2006 Non-Archimedean fuzzy and probability logic. Zbl 1187.03024Schumann, Andrew 7 2008 LTL model checking for security protocols. Zbl 1186.68276Armando, Alessandro; Carbone, Roberto; Compagna, Luca 7 2009 Logics for multi-subset spaces. Zbl 1242.03039Heinemann, Bernhard 7 2010 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 Separation logics and modalities: a survey. Zbl 1398.03151Demri, Stéphane; Deters, Morgan 7 2015 The modal multilogic of geometry. Zbl 0921.03022Balbiani, Philippe 7 1998 On the semantics of combination operations. Zbl 1041.68095Meyer, Thomas 7 2001 An empirical analysis of modal theorem provers. Zbl 1033.03501Hustadt, Ullrich; Schmidt, Renate A. 7 1999 A family of metainferential logics. Zbl 1444.03084Pailos, Federico Matias 7 2019 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 Foundations of the rule-based system \(\rho\,\text{Log}\). Zbl 1184.68175Marin, Mircea; Kutsia, Temur 6 2006 Roadmap for preferential logics. Zbl 1187.03026Gabbay, Dov M.; Schlechta, Karl 6 2009 Modal logics for parallelism, orthogonality, and affine geometries. Zbl 1185.03024Balbiani, Philippe; Goranko, Valentin 6 2002 Continuity, freeness, and filtrations. Zbl 1242.03049Ghilardi, Silvio 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 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 Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics. Zbl 1398.03135Avron, Arnon 6 2014 Putting right the wording and the proof of the truth lemma for APAL. Zbl 1398.03069Balbiani, Philippe 6 2015 Relevance sensitive non-monotonic inference on belief sequences. Zbl 1041.68093Chopra, Samir; Georgatos, Konstantinos; Parikh, Rohit 6 2001 Fuzzy inference as deduction. Zbl 1033.03018Godo, Lluís; Hájek, Petr 6 1999 Assertive graphs. Zbl 1436.03020Bellucci, F.; Chiffi, Daniele; Pietarinen, A.-V. 6 2018 Semantical analysis of weak Kleene logics. Zbl 1444.03087Ciuni, Roberto; Carrara, Massimiliano 6 2019 Exploiting data dependencies in many-valued logics. Zbl 0836.03013Hähnle, Reiner 5 1996 Combining valuations with society semantics. Zbl 1185.03055Fernández, Víctor L.; Coniglio, Marcelo E. 5 2003 The case of the hidden hand. Zbl 1182.68086van Ditmarsch, Hans P. 5 2005 Automatic verification of temporal-epistemic properties of cryptographic protocols. Zbl 1186.68105Boureanu, Ioana; Cohen, Mika; Lomuscio, Alessio 5 2009 Algorithmic correspondence and completeness in modal logic. IV. Semantic extensions of SQEMA. Zbl 1181.03007Conradie, Willem; Goranko, Valentin 5 2008 Compatible operations on commutative residuated lattices. Zbl 1180.06015Castiglioni, José Luis; Menni, Matías; Sagastume, Marta 5 2008 Quantifiers, modifiers and qualifiers in fuzzy logic. Zbl 0885.03024Ying, Mingsheng; Bouchon-Meunier, Bernadette 5 1997 Some modal aspects of XPath. Zbl 1242.68010ten Cate, Balder; Fontaine, Gaëlle; Litak, Tadeusz 5 2010 A family of genuine and non-algebraisable C-systems. Zbl 07368166Osorio, Mauricio; Figallo-Orellano, Aldo; Pérez-Gaspar, Miguel 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 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 Structural proof theory for first-order weak Kleene logics. Zbl 1486.03048Fjellstad, Andreas 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. 9 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. 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 Two proofs of the algebraic completeness theorem for multilattice logic. Zbl 1444.03089Grigoriev, Oleg; Petrukhin, Yaroslav 2 2019 Lattice logic as a fragment of (2-sorted) residuated modal logic. Zbl 1444.03057Hartonas, Chrysafis 1 2019 On Vidal’s trivalent explanations for defective conditional in mathematics. Zbl 1444.03091Petrukhin, Yaroslav; Shangin, Vasily 1 2019 MVW-rigs and product MV-algebras. Zbl 1439.06008Estrada, Alejandro; Poveda, Yuri A. 1 2019 Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning. Zbl 1444.03183Aiguier, Marc; Bloch, Isabelle 1 2019 From KLM-style conditionals to defeasible modalities, and back. Zbl 1436.03129Britz, Katarina; Varzinczak, Ivan 11 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 2 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 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 Continuous propositional modal logic. Zbl 1436.03127Baratella, Stefano 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 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 Foundations for a logic of arguments. Zbl 1398.03066Amgoud, Leila; Besnard, Philippe; Hunter, Anthony 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 16 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 4 2016 Knowledge means ‘all’, belief means ‘most’. Zbl 1398.03067Askounis, Dimitris; Koutras, Costas D.; Zikos, Yorgos 4 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 Axiomatisation of general concept inclusions from finite interpretations. Zbl 1400.68206Borchmann, D.; Distel, F.; Kriegel, F. 2 2016 First-order frames for orthomodular quantum logic. Zbl 1398.03211Hartonas, Chrysafis 2 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 8 2015 Finite non-deterministic semantics for some modal systems. Zbl 1398.03089Coniglio, Marcelo E.; Fariñas del Cerro, Luis; Peron, Newton M. 7 2015 Separation logics and modalities: a survey. Zbl 1398.03151Demri, Stéphane; Deters, Morgan 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 Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics. Zbl 1398.03135Avron, Arnon 6 2014 Foreword: three-valued logics and their applications. Zbl 1398.00089Cobreros, Pablo; Égré, Paul; Ripley, David; van Rooij, Robert 4 2014 Capturing the relationship between conditionals and conditional probability with a trivalent semantics. Zbl 1398.03105Rothschild, Daniel 4 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 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 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 Prior’s OIC nonconservativity example revisited. Zbl 1398.03141Humberstone, Lloyd 1 2014 Logical limits of abstract argumentation frameworks. Zbl 1400.68201Amgoud, Leila; Besnard, Philippe 12 2013 Temporal equilibrium logic: a survey. Zbl 1400.68199Aguado, Felicidad; Cabalar, Pedro; Diéguez, Martín; Pérez, Gilberto; Vidal, Concepción 11 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 23 2012 DEL-sequents for regression and epistemic planning. Zbl 1398.03068Aucher, Guillaume 8 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 Adaptively applying modus ponens in conditional logics of normality. Zbl 1398.03146Straßer, Christian 1 2012 Modal logics for reasoning about infinite unions and intersections of binary relations. Zbl 1398.03084Alechina, Natasha; Balbiani, Philippe; Shkatov, Dmitry 1 2012 Epistemic planning for single- and multi-agent systems. Zbl 1242.68285Bolander, Thomas; Andersen, Mikkel Birkegaard 46 2011 ...and 235 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,592 Authors 37 van Ditmarsch, Hans Pieter 26 van Benthem, Johan F. A. K. 23 Balbiani, Philippe 20 Wansing, Heinrich Theodor 18 Gabbay, Dov M. 17 Ågotnes, Thomas 16 Montanari, Angelo 15 Simari, Guillermo Ricardo 14 Pynko, Alexej P. 13 Bezhanishvili, Guram 13 Demri, Stéphane P. 13 Dubois, Didier 13 Godo, Lluís 13 Kamide, Norihiro 13 Robles, Gemma 13 Smets, Sonja J. L. 13 Vakarelov, Dimiter 12 Amgoud, Leila 12 Baltag, Alexandru 12 Bergstra, Jan A. 12 Dixon, Clare 12 Goranko, Valentin F. 12 Herzig, Andreas 12 Lorini, Emiliano 12 Ognjanović, Zoran 12 Ponse, Alban 12 Velázquez-Quesada, Fernando Raymundo 11 Schaub, Torsten H. 11 Sciavicco, Guido 10 Gilio, Angelo 10 Odintsov, Sergei P. 10 Pacuit, Eric 10 Schwarzentruber, François 10 van der Hoek, Wiebe 10 Wang, Yanjing 9 Arieli, Ofer 9 Avron, Arnon 9 Düntsch, Ivo 9 Jamroga, Wojciech 9 Jenei, Sándor 9 Özgün, Aybüke 9 Prade, Henri M. 9 Rivieccio, Umberto 9 Woltran, Stefan 8 Bloch, Isabelle 8 Bolander, Thomas 8 Falappa, Marcelo Alejandro 8 Fariñas del Cerro, Luis 8 Hansson, Sven Ove 8 Hunter, Anthony 8 Konieczny, Sébastien 8 Naumov, Pavel G. 8 Petrukhin, Yaroslav Igorevich 8 Sala, Pietro 8 Sanfilippo, Giuseppe 8 Shramko, Yaroslav V. 8 Studer, Thomas 8 Szmuc, Damian Enrique 8 Varzinczak, Ivan Jóse 8 Wolter, Frank 8 Zakharyaschev, Michael Viktorovich 7 Bozzelli, Laura 7 Bresolin, Davide 7 Cabalar, Pedro 7 Chakraborty, Mihir Kumar 7 Fervari, Raul 7 Finkel, Alain 7 French, Tim 7 Guelev, Dimitar P. 7 Hustadt, Ullrich 7 Kern-Isberner, Gabriele 7 Mesiar, Radko 7 Orłowska, Ewa S. 7 Pino Pérez, Ramón 7 Rašković, Miodrag D. 7 Simari, Gerardo I. 7 Szałas, Andrzej 7 Vetterlein, Thomas 6 Bezhanishvili, Nick 6 Bonzio, Stefano 6 Caminada, Martin W. A. 6 Chesñevar, Carlos Iván 6 Conradie, Willem 6 De Baets, Bernard 6 Dimov, Georgi D. 6 Doder, Dragan 6 Esteva, Francesc 6 Ferguson, Thomas Macaulay 6 Gabelaia, David 6 García, Alejandro Javier 6 Golińska-Pilarek, Joanna 6 Liu, Fenrong 6 Lutz, Carsten 6 Nalon, Cláudia 6 Omori, Hitoshi 6 Rendsvig, Rasmus Kræmmer 6 Sano, Katsuhiko 6 Sayed Ahmed, Tarek 6 Singh, Prem Kumar 6 Tao, Jia ...and 1,492 more Authors all top 5 Cited in 127 Journals 121 Studia Logica 115 Artificial Intelligence 112 Journal of Applied Non-Classical Logics 78 Journal of Philosophical Logic 70 International Journal of Approximate Reasoning 69 Fuzzy Sets and Systems 52 Synthese 49 Annals of Mathematics and Artificial Intelligence 45 Journal of Logic, Language and Information 40 Theoretical Computer Science 37 Journal of Applied Logic 31 Theory and Practice of Logic Programming 30 Annals of Pure and Applied Logic 27 Logica Universalis 26 The Review of Symbolic Logic 23 Logic and Logical Philosophy 18 Journal of Logical and Algebraic Methods in Programming 17 The Journal of Symbolic Logic 17 Information and Computation 16 Journal of Automated Reasoning 12 Information Sciences 11 Algebra Universalis 10 International Journal of Intelligent Systems 10 Archive for Mathematical Logic 9 Soft Computing 9 The Journal of Logic and Algebraic Programming 9 ACM Transactions on Computational Logic 8 Mathematical Logic Quarterly (MLQ) 7 Notre Dame Journal of Formal Logic 7 Logical Methods in Computer Science 6 Theory of Computing Systems 5 Journal of Symbolic Computation 5 Topoi 5 Erkenntnis 5 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 4 Acta Informatica 4 Lithuanian Mathematical Journal 4 Kybernetika 4 Bulletin of the Section of Logic 4 Topology and its Applications 4 Formal Aspects of Computing 4 The Journal of Artificial Intelligence Research (JAIR) 4 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 Armenian Journal of Mathematics 2 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications 2 European Journal of Mathematics 1 International Journal of Theoretical Physics 1 Journal of Mathematical Analysis and Applications 1 Metrika 1 Applied Mathematics and Computation 1 Computing 1 Demonstratio Mathematica 1 Journal of Mathematical Economics 1 Journal of Statistical Planning and Inference 1 Kybernetes 1 Linguistics and Philosophy 1 Mathematics and Computers in Simulation 1 Quaestiones Mathematicae 1 SIAM Journal on Computing 1 Science of Computer Programming 1 Mathematical Social Sciences 1 History and Philosophy of Logic 1 Acta Mathematica Hungarica 1 Acta Applicandae Mathematicae 1 Bulletin of the Iranian Mathematical Society 1 Social Choice and Welfare 1 Order 1 New Generation Computing 1 Mathematical and Computer Modelling 1 SIAM Journal on Discrete Mathematics 1 AI Communications 1 Machine Learning 1 Random Structures & Algorithms 1 Designs, Codes and Cryptography 1 Godishnik na Sofiĭskiya Universitet “Sv. Kliment Okhridski”. Fakultet po Matematika i Informatika 1 European Journal of Operational Research ...and 27 more Journals all top 5 Cited in 33 Fields 1,109 Mathematical logic and foundations (03-XX) 753 Computer science (68-XX) 118 Order, lattices, ordered algebraic structures (06-XX) 56 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 32 General topology (54-XX) 29 General algebraic systems (08-XX) 21 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) 9 General and overarching topics; collections (00-XX) 9 Probability theory and stochastic processes (60-XX) 9 Biology and other natural sciences (92-XX) 7 Statistics (62-XX) 6 Combinatorics (05-XX) 6 Geometry (51-XX) 6 Operations research, mathematical programming (90-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