Journal of Applied Logic Short Title: J. Appl. Log. Publisher: Elsevier, Amsterdam ISSN: 1570-8683 Online: https://www.sciencedirect.com/journal/journal-of-applied-logic/issues Successor: Journal of Applied Logics - IfCoLog Journal of Logics and their Applications Comments: Journal; No longer indexed Documents Indexed: 412 Publications (2003–2017) References Indexed: 381 Publications with 12,384 References. all top 5 Latest Issues 25 Suppl. (2017) 25 (2017) 24, Part B (2017) 24, Part A (2017) 23 (2017) 22 (2017) 21 (2017) 20 (2017) 19, Part 2 (2016) 19, Part 1 (2016) 18 (2016) 17 (2016) 16 (2016) 15 (2016) 14 (2016) 13, No. 4, Part 3 (2015) 13, No. 4, Part 2 (2015) 13, No. 4, Part 1 (2015) 13, No. 3 (2015) 13, No. 2, Part B (2015) 13, No. 2, Part A (2015) 13, No. 1 (2015) 12, No. 4 (2014) 12, No. 3 (2014) 12, No. 2 (2014) 12, No. 1 (2014) 11, No. 4 (2013) 11, No. 3 (2013) 11, No. 2 (2013) 11, No. 1 (2013) 10, No. 4 (2012) 10, No. 3 (2012) 10, No. 2 (2012) 10, No. 1 (2012) 9, No. 4 (2011) 9, No. 3 (2011) 9, No. 2 (2011) 9, No. 1 (2011) 8, No. 4 (2010) 8, No. 3 (2010) 8, No. 2 (2010) 8, No. 1 (2010) 7, No. 4 (2009) 7, No. 3 (2009) 7, No. 2 (2009) 7, No. 1 (2009) 6, No. 4 (2008) 6, No. 3 (2008) 6, No. 2 (2008) 6, No. 1 (2008) 5, No. 4 (2007) 5, No. 3 (2007) 5, No. 2 (2007) 5, No. 1 (2007) 4, No. 4 (2006) 4, No. 3 (2006) 4, No. 2 (2006) 4, No. 1 (2006) 3, No. 3-4 (2005) 3, No. 2 (2005) 3, No. 1 (2005) 2, No. 4 (2004) 2, No. 3 (2004) 2, No. 2 (2004) 2, No. 1 (2004) 1, No. 5-6 (2003) 1, No. 3-4 (2003) 1, No. 1-2 (2003) all top 5 Authors 7 Bergstra, Jan A. 5 Balbiani, Philippe 5 Corchado, Emilio S. 5 Gabbay, Dov M. 5 Middelburg, Cornelis A. 5 Moniz Pereira, Luís 4 Arieli, Ofer 4 Herrero, Álvaro 4 Kern-Isberner, Gabriele 4 Magnani, Lorenzo 4 Paris, Jeffrey Bruce 4 Quintián, Héctor 4 Tahar, Sofiène 4 Wansing, Heinrich Theodor 4 Wheeler, Gregory R. 4 Żynel, Mariusz 3 Abraham, Ajith 3 Baruque, Bruno 3 Beierle, Christoph 3 Benzmüller, Christoph Ewald 3 Carrara, Massimiliano 3 Courcelle, Bruno 3 Gabbay, Murdoch James 3 Governatori, Guido 3 Hasan, Osman 3 Kaci, Souhila 3 Lindahl, Lars-Ake 3 Meyer, John-Jules Charles 3 Mundhenk, Martin 3 Odelstad, Jan 3 Pfeifer, Niki 3 Sedano, Javier 3 Seldin, Jonathan P. 3 Snášel, Václav 3 van der Torre, Leendert W. N. 3 Vencovská, Alena 3 Williamson, Jon 2 Ågotnes, Thomas 2 Areces, Carlos 2 Armengol, Eva 2 Arrazola Ramírez, José Ramón Enrique 2 Baader, Franz 2 Ballarin, Roberta 2 Bellucci, Francesco 2 Béziau, Jean-Yves 2 Bhatt, Mehul 2 Boella, Guido 2 Boixader, Dionis 2 Bollig, Benedikt 2 Broersen, Jan M. 2 Brown, Mark A. 2 Caminada, Martin W. A. 2 Chiffi, Daniele 2 Crupi, Vincenzo 2 D’Agostino, Marcello 2 De Florio, Ciro 2 Dell’Acqua, Pierangelo 2 Delrieux, Claudio 2 Dixon, Clare 2 Douven, Igor 2 Eiter, Thomas 2 Eppe, Manfred 2 Fariñas del Cerro, Luis 2 Fisher, Michael 2 Franceschet, Massimo 2 Francez, Nissim 2 Gagliardi Cozman, Fabio 2 García Bringas, Pablo 2 Gentilini, Paolo 2 Goble, Lou 2 Godo, Lluís 2 Goranko, Valentin F. 2 Grossi, Davide 2 Groves, Teddy 2 Haenni, Rolf 2 Hansen, Jörg 2 Hansson, Sven Ove 2 Hitzler, Pascal 2 Holm, Ruurik 2 Howson, Colin 2 Inoue, Katsumi 2 Jäger, Gerhard 2 Kamareddine, Fairouz D. 2 Kamide, Norihiro 2 Kretz, Mathis 2 Kyburg, Henry E. jun. 2 Lawry, Jonathan 2 Lele, Celestin 2 Liu, Chuchang 2 Lloyd, John Wylie 2 Lomuscio, Alessio 2 McNamara, Paul 2 Medina, Jesús 2 Miranker, Willard Lee 2 Montanari, Angelo 2 Naumov, Pavel G. 2 Ng, Kee Siong 2 Nganou, Jean Bernard 2 Odintsov, Sergei P. 2 Ojeda-Aciego, Manuel ...and 565 more Authors all top 5 Fields 293 Mathematical logic and foundations (03-XX) 207 Computer science (68-XX) 27 General and overarching topics; collections (00-XX) 14 Order, lattices, ordered algebraic structures (06-XX) 14 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 10 Probability theory and stochastic processes (60-XX) 7 History and biography (01-XX) 7 Statistics (62-XX) 6 Combinatorics (05-XX) 6 Geometry (51-XX) 6 Biology and other natural sciences (92-XX) 5 Category theory; homological algebra (18-XX) 4 General algebraic systems (08-XX) 3 Operations research, mathematical programming (90-XX) 3 Systems theory; control (93-XX) 2 Commutative algebra (13-XX) 2 Algebraic topology (55-XX) 2 Quantum theory (81-XX) 2 Information and communication theory, circuits (94-XX) 1 Group theory and generalizations (20-XX) 1 Mechanics of particles and systems (70-XX) 1 Relativity and gravitational theory (83-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 299 Publications have been cited 1,551 times in 1,313 Documents Cited by ▼ Year ▼ Group announcement logic. Zbl 1200.03015 Ågotnes, Thomas; Balbiani, Philippe; Van Ditmarsch, Hans; Seban, Pablo 32 2010 Theorema: Towards computer-aided mathematical theory exploration. Zbl 1107.68095 Buchberger, Bruno; Crǎciun, Adrian; Jebelean, Tudor; Kovács, Laura; Kutsia, Temur; Nakagawa, Koji; Piroi, Florina; Popov, Nikolaj; Robu, Judit; Rosenkranz, Markus; Windsteiger, Wolfgang 31 2006 Lightweight relevance filtering for machine-generated resolution problems. Zbl 1183.68560 Meng, Jia; Paulson, Lawrence C. 28 2009 Deontic epistemic stit logic distinguishing modes of mens rea. Zbl 1221.03017 Broersen, Jan 23 2011 Nonmonotonic abductive inductive learning. Zbl 1179.68125 Ray, Oliver 23 2009 Mathematical modal logic: A view of its evolution. Zbl 1041.03015 Goldblatt, Robert 23 2003 Model checking propositional dynamic logic with all extras. Zbl 1095.68053 Lange, Martin 23 2006 Model checking hybrid logics (with an application to semistructured data). Zbl 1100.68065 Franceschet, Massimo; de Rijke, Maarten 21 2006 Termination of logic programs with imperfect information: applications and query procedure. Zbl 1122.68025 Damásio, C. V.; Medina, J.; Ojeda-Aciego, M. 20 2007 Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. Zbl 1122.68076 Raimondi, Franco; Lomuscio, Alessio 19 2007 Extended-order algebras. Zbl 1157.03041 Guido, Cosimo; Toto, Paola 19 2008 Intuitionistic hybrid logic. Zbl 1106.03011 Braüner, Torben; de Paiva, Valeria 16 2006 A logic for diffusion in social networks. Zbl 1311.03037 Christoff, Zoé; Hansen, Jens Ulrik 16 2015 Confirmation as partial entailment: a representation theorem in inductive logic. Zbl 1284.03157 Crupi, Vincenzo; Tentori, Katya 16 2013 Efficiently checking propositional refutations in HOL theorem provers. Zbl 1171.68041 Weber, Tjark; Amjad, Hasan 15 2009 Anti-intuitionism and paraconsistency. Zbl 1067.03033 Brunner, Andreas B. M.; Carnielli, Walter A. 15 2005 On negation: Pure local rules. Zbl 1063.03013 Marcos, João 15 2005 Innovations in computational type theory using Nuprl. Zbl 1107.68090 Allen, S. F.; Bickford, M.; Constable, R. L.; Eaton, R.; Kreitz, C.; Lorigo, L.; Moran, E. 15 2006 Epistemic protocols for dynamic gossip. Zbl 1401.68017 van Ditmarsch, Hans; van Eijck, Jan; Pardo, Pere; Ramezanian, Rahim; Schwarzentruber, François 14 2017 Framing human inference by coherence based probability logic. Zbl 1179.03025 Pfeifer, Niki; Kleiter, Gernot D. 14 2009 Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\). Zbl 1149.03023 Odintsov, S. P.; Wansing, H. 14 2008 Automata for the verification of monadic second-order graph properties. Zbl 1285.03049 Courcelle, Bruno; Durand, Irène 14 2012 Cut-free common knowledge. Zbl 1144.03009 Jäger, Gerhard; Kretz, Mathis; Studer, Thomas 13 2007 Combining linear-time temporal logic with constructiveness and paraconsistency. Zbl 1207.03022 Kamide, Norihiro; Wansing, Heinrich 13 2010 A logic for deontic dilemmas. Zbl 1079.03009 Goble, Lou 13 2005 Paraconsistent logic from a modal viewpoint. Zbl 1063.03011 Béziau, Jean-Yves 13 2005 TPS: A hybrid automatic-interactive system for developing proofs. Zbl 1107.68091 Andrews, Peter B.; Brown, Chad E. 13 2006 Gödel spaces and perfect MV-algebras. Zbl 1380.06007 Di Nola, Antonio; Grigolia, Revaz 13 2015 Tractable query answering and rewriting under description logic constraints. Zbl 1192.68218 Pérez-Urbina, Héctor; Motik, Boris; Horrocks, Ian 12 2010 Propositional relevance through letter-sharing. Zbl 1203.03024 Makinson, David 12 2009 A more general general proof theory. Zbl 1436.03294 Wansing, Heinrich 12 2017 MizarMode – an integrated proof assistance tool for the Mizar way of formalizing mathematics. Zbl 1107.68103 Urban, Josef 12 2006 Computer supported mathematics with \(\Omega\)MEGA. Zbl 1107.68101 Siekmann, Jörg; Benzmüller, Christoph; Autexier, Serge 12 2006 Circle graphs and monadic second-order logic. Zbl 1149.03011 Courcelle, Bruno 12 2008 Nonmonotonic conditionals that behave like conditional probabilities above a threshold. Zbl 1140.03009 Hawthorne, James 11 2007 Deontic action logic, atomic Boolean algebras and fault-tolerance. Zbl 1193.03060 Castro, Pablo F.; Maibaum, T. S. E. 11 2009 Transitivity in coherence-based probability logic. Zbl 1436.03146 Gilio, Angelo; Pfeifer, Niki; Sanfilippo, Giuseppe 11 2016 The seven virtues of simple type theory. Zbl 1149.03012 Farmer, William M. 11 2008 Some comments on history based structures. Zbl 1138.03028 Pacuit, Eric 10 2007 Conditionals and consequences. Zbl 1138.03023 Kyburg, Henry E. jun.; Teng, Choh Man; Wheeler, Gregory 10 2007 A deontic logic framework allowing for factual detachment. Zbl 1229.03021 Straßer, Christian 10 2011 Inversive meadows and divisive meadows. Zbl 1251.68144 Bergstra, J. A.; Middelburg, C. A. 10 2011 The monadic second-order logic of graphs. XV: On a conjecture by D. Seese. Zbl 1099.03007 Courcelle, Bruno 10 2006 A general tableau method for propositional interval temporal logics: theory and implementation. Zbl 1104.03010 Goranko, V.; Montanari, A.; Sala, P.; Sciavicco, G. 10 2006 Computing finite models by reduction to function-free clause logic. Zbl 1171.68040 Baumgartner, Peter; Fuchs, Alexander; de Nivelle, Hans; Tinelli, Cesare 10 2009 Relational semantics for full linear logic. Zbl 1335.03063 Coumans, Dion; Gehrke, Mai; van Rooijen, Lorijn 10 2014 Cut elimination for a logic with induction and co-induction. Zbl 1278.03086 Tiu, Alwen; Momigliano, Alberto 10 2012 Axiomatizing geometric constructions. Zbl 1143.03007 Pambuccian, Victor 9 2008 A theory of permission based on the notion of derogation. Zbl 1198.03035 Stolpe, Audun 9 2010 The axiomatization of override and update. Zbl 1194.03020 Berendsen, Jasper; Jansen, David N.; Schmaltz, Julien; Vaandrager, Frits W. 9 2010 Probabilistic argumentation systems. A new way to combine logic with probability. Zbl 1037.03018 Kohlas, Jürg 9 2003 Action negation and alternative reductions for dynamic deontic logics. Zbl 1060.03045 Broersen, Jan 9 2004 Logic programs and connectionist networks. Zbl 1072.68090 Hitzler, Pascal; Hölldobler, Steffen; Seda, Anthony Karel 9 2004 Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics. Zbl 1114.03007 Wiedijk, Freek 9 2006 Ordered domain algebras. Zbl 1284.03275 Hirsch, Robin; Mikulás, Szabolcs 9 2013 Open answer set programming for the semantic web. Zbl 1116.68092 Heymans, Stijn; Van Nieuwenborgh, Davy; Vermeir, Dirk 8 2007 A verification framework for agent programming with declarative goals. Zbl 1122.68078 de Boer, F. S.; Hindriks, K. V.; van der Hoek, W.; Meyer, J.-J. Ch. 8 2007 Computing the least common subsumer w.r.t. a background terminology. Zbl 1122.68117 Baader, Franz; Sertkaya, Baris; Turhan, Anni-Yasmin 8 2007 On obligations and normative ability: Towards a logical analysis of the social contract. Zbl 1081.03021 Wooldridge, Michael; van der Hoek, Wiebe 8 2005 Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation. Zbl 1081.03016 Åqvist, Lennart 8 2005 Are there degrees of belief? Zbl 1047.03005 Kyburg, Henry E. jun. 8 2003 Models for a paraconsistent set theory. Zbl 1063.03040 Libert, Thierry 8 2005 An encompassing framework for paraconsistent logic programs. Zbl 1063.03015 Alcântara, João; Damásio, Carlos Viegas; Pereira, Luís Moniz 8 2005 Can logic be combined with probability? Probably. Zbl 1171.03315 Howson, Colin 8 2009 Algebraic model counting. Zbl 1436.68335 Kimmig, Angelika; Van den Broeck, Guy; De Raedt, Luc 8 2017 Constraint LTL satisfiability checking without automata. Zbl 1310.68141 Bersani, Marcello M.; Frigeri, Achille; Morzenti, Angelo; Pradella, Matteo; Rossi, Matteo; San Pietro, Pierluigi 8 2014 On the complexity of bribery and manipulation in tournaments with uncertain information. Zbl 1422.91225 Mattei, Nicholas; Goldsmith, Judy; Klapper, Andrew; Mundhenk, Martin 8 2015 Future determination of entities in Talmudic public announcement logic. Zbl 1280.03017 Abraham, M.; Belfer, I.; Gabbay, D. M.; Schild, U. 8 2013 LEO-II and Satallax on the Sledgehammer test bench. Zbl 1262.68161 Sultana, Nik; Blanchette, Jasmin Christian; Paulson, Lawrence C. 8 2013 The complexity of satisfiability for fragments of hybrid logic. I. Zbl 1215.03034 Meier, Arne; Mundhenk, Martin; Schneider, Thomas; Thomas, Michael; Weber, Volker; Weiss, Felix 7 2010 Complete axiomatizations for XPath fragments. Zbl 1192.68223 ten Cate, Balder; Litak, Tadeusz; Marx, Maarten 7 2010 On database query languages for K-relations. Zbl 1192.68211 Geerts, Floris; Poggi, Antonella 7 2010 System JLZ – rational default reasoning by minimal ranking constructions. Zbl 1076.68076 Weydert, Emil 7 2003 On modal \(\mu\)-calculus with explicit interpolants. Zbl 1106.03024 D’Agostino, G.; Lenzi, G. 7 2006 A procedural criterion for final derivability in inconsistency-adaptive logics. Zbl 1063.03010 Batens, Diderik 7 2005 On the logical structure of de Finetti’s notion of event. Zbl 1352.03033 Flaminio, Tommaso; Godo, Lluis; Hosni, Hykel 7 2014 Combined reasoning by automated cooperation. Zbl 1162.68646 Benzmüller, Christoph; Sorge, Volker; Jamnik, Mateja; Kerber, Manfred 7 2008 Topological \(\operatorname{FL}_{\operatorname{ew}}\)-algebras. Zbl 1468.06013 Nganou, Jean B.; Tebu, Serge F. T. 7 2015 Complexity of modal logics with Presburger constraints. Zbl 1220.03008 Demri, Stéphane; Lugiez, Denis 7 2010 A propositional linear time logic with time flow isomorphic to \(\omega^2\). Zbl 1328.03017 Marinković, Bojan; Ognjanović, Zoran; Doder, Dragan; Perović, Aleksandar 7 2014 A QBF-based formalization of abstract argumentation semantics. Zbl 1284.68533 Arieli, Ofer; Caminada, Martin W. A. 7 2013 Fresh logic: Proof-theory and semantics for FM and nominal techniques. Zbl 1124.03010 Gabbay, Murdoch J. 6 2007 Similarity based approximate reasoning: Fuzzy control. Zbl 1148.68046 Raha, Swapan; Hossain, Abul; Ghosh, Sujata 6 2008 Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA. Zbl 1214.03011 Conradie, Willem; Goranko, Valentin; Vakarelov, Dimitar 6 2010 Complexity of hybrid logics over transitive frames. Zbl 1215.03035 Mundhenk, Martin; Schneider, Thomas; Schwentick, Thomas; Weber, Volker 6 2010 Measuring coherence using LP-models. Zbl 1076.03017 Oller, Carlos A. 6 2004 Two approaches to the problems of self-attacking arguments and general odd-length cycles of attack. Zbl 1189.03006 Bodanza, Gustavo A.; Tohmé, Fernando A. 6 2009 Translating regular expression matching into transducers. Zbl 1238.68052 Sakuma, Yuto; Minamide, Yasuhiko; Voronkov, Andrei 6 2012 Rich deontic logic: A preliminary study. Zbl 1056.03010 Brown, Mark A. 6 2004 A neural implementation of multi-adjoint logic programming. Zbl 1073.68025 Medina, J.; Mérida-Casermeiro, E.; Ojeda-Aciego, M. 6 2004 Towards classifying propositional probabilistic logics. Zbl 1352.03032 De Bona, Glauber; Cozman, Fabio Gagliardi; Finger, Marcelo 6 2014 Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons). Zbl 1436.03289 Gabbay, Michael 6 2017 A model of type theory in simplicial sets. A brief introduction to Voevodsky’s homotopy type theory. Zbl 1335.03010 Streicher, T. 6 2014 Division by zero in non-involutive meadows. Zbl 1401.68209 Bergstra, J. A.; Middelburg, C. A. 6 2015 Representable posets. Zbl 1436.06004 Egrot, Rob 6 2016 An example of formalizing recent mathematical results in MIZAR. Zbl 1107.68100 Naumowicz, Adam 6 2006 Robot location estimation in the situation calculus. Zbl 1388.68274 Belle, Vaishak; Levesque, Hector J. 6 2015 Skew lattices and binary operations on functions. Zbl 1284.03279 Cvetko-Vah, Karin; Leech, Jonathan; Spinks, Matthew 6 2013 Ultralarge lotteries: analyzing the lottery paradox using non-standard analysis. Zbl 1284.03114 Wenmackers, Sylvia 6 2013 From Bayesian epistemology to inductive logic. Zbl 1284.03166 Williamson, Jon 6 2013 Epistemic protocols for dynamic gossip. Zbl 1401.68017 van Ditmarsch, Hans; van Eijck, Jan; Pardo, Pere; Ramezanian, Rahim; Schwarzentruber, François 14 2017 A more general general proof theory. Zbl 1436.03294 Wansing, Heinrich 12 2017 Algebraic model counting. Zbl 1436.68335 Kimmig, Angelika; Van den Broeck, Guy; De Raedt, Luc 8 2017 Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons). Zbl 1436.03289 Gabbay, Michael 6 2017 Assertion and denial: Aa contribution from logical notations. Zbl 1436.03066 Pietarinen, Ahti-Veikko; Bellucci, Francesco 5 2017 Marketing impact on diffusion in social networks. Zbl 1358.91086 Naumov, Pavel; Tao, Jia 3 2017 What kind of independence do we need for multiple iterated belief change? Zbl 1436.03112 Kern-Isberner, Gabriele; Huvermann, Daniela 3 2017 On the complexity of input/output logic. Zbl 1436.03142 Sun, Xin; Robaldo, Livio 3 2017 On expressive power of basic modal intuitionistic logic as a fragment of classical FOL. Zbl 1436.03140 Olkhovikov, Grigory K. 3 2017 Modeling group assessments by means of hesitant fuzzy linguistic term sets. Zbl 1436.03280 Montserrat-Adell, Jordi; Agell, Núria; Sánchez, Mónica; Prats, Francesc; Ruiz, Francisco Javier 2 2017 On harmony and permuting conversions. Zbl 1436.03288 Francez, Nissim 2 2017 Rewrite rules for \(\mathrm{CTL}^\ast\). Zbl 1436.03124 McCabe-Dansted, John C.; Reynolds, Mark 2 2017 Price of privacy. Zbl 1442.68240 Naumov, Pavel; Tao, Jia 1 2017 Factored performance functions and decision making in continuous time Bayesian networks. Zbl 1436.68358 Sturlaugson, Liessman; Perreault, Logan; Sheppard, John W. 1 2017 On the existence of free models in fuzzy universal Horn classes. Zbl 1436.03158 Costa, Vicent; Dellunde, Pilar 1 2017 Characterization of unidimensional averaged similarities. Zbl 1436.03273 Boixader, D.; Recasens, J. 1 2017 A reward-based approach for preference modeling: a case study. Zbl 1436.91057 Armengol, Eva; Puyol-Gruart, Josep 1 2017 Fuzzy microaggregation for the transparency principle. Zbl 1436.68099 Torra, Vicenç 1 2017 Reprint of: “A more general general proof theory”. Zbl 1436.03295 Wansing, Heinrich 1 2017 Iterated privation and positive predication. Zbl 1436.03172 Jespersen, Bjørn; Carrara, Massimiliano; Duží, Marie 1 2017 Natural deduction for bi-intuitionistic logic. Zbl 1436.03095 Tranchini, Luca 1 2017 Transitivity in coherence-based probability logic. Zbl 1436.03146 Gilio, Angelo; Pfeifer, Niki; Sanfilippo, Giuseppe 11 2016 Representable posets. Zbl 1436.06004 Egrot, Rob 6 2016 Strongly polynomial sequences as interpretations. Zbl 1436.05052 Goodall, A. J.; Nešetřil, J.; Ossona de Mendez, P. 5 2016 Transformation of fractions into simple fractions in divisive meadows. Zbl 1401.68210 Bergstra, J. A.; Middelburg, C. A. 4 2016 Intuitionistic common knowledge or belief. Zbl 1436.03111 Jäger, Gerhard; Marti, Michel 3 2016 On the applicability of the “number of possible states” argument in multi-expert reasoning. Zbl 1401.68318 Adamčík, Martin 3 2016 Revisiting da Costa logic. Zbl 1437.03104 Osorio Galindo, Mauricio; Borja Macías, Verónica; Arrazola Ramírez, José Ramón Enrique 3 2016 Formalization of reliability block diagrams in higher-order logic. Zbl 1436.68390 Ahmed, Waqar; Hasan, Osman; Tahar, Sofiène 2 2016 From reasonable preferences, via argumentation, to logic. Zbl 1436.03171 Jacot, Justine; Genot, Emmanuel; Zenker, Frank 2 2016 Lakatos’s criticism of Carnapian inductive logic was mistaken. Zbl 1436.03038 Groves, Teddy 2 2016 The principle of signature exchangeability. Zbl 1436.03149 Ronel, Tahel; Vencovská, Alena 2 2016 Translation of first order formulas into ground formulas via a completion theory. Zbl 1436.03100 Demolombe, Robert; Fariñas del Cerro, Luis; Obeid, Naji 2 2016 A cirquent calculus system with clustering and ranking. Zbl 1436.03180 Xu, Wenyan 2 2016 Hoop twist-structures. Zbl 1436.03321 Ghorbani, Shokoofeh 1 2016 Bridging Curry and Church’s typing style. Zbl 1436.03106 Kamareddine, Fairouz; Seldin, Jonathan P.; Wells, J. B. 1 2016 An examination of the SEP candidate analogical inference rule within pure inductive logic. Zbl 1436.03147 Howarth, E.; Paris, J. B.; Vencovská, A. 1 2016 The left adjoint of Spec from a category of lattice-ordered groups. Zbl 1436.06046 Castiglioni, José Luis; San Martín, Hernán Javier 1 2016 A multiple-valued logic approach to the design and verification of hardware circuits. Zbl 1436.68198 Rosenmann, Amnon 1 2016 The eco-cognitive model of abduction. II. Irrelevance and implausibility exculpated. Zbl 1436.03055 Magnani, Lorenzo 1 2016 Qualitative probabilistic inference under varied entropy levels. Zbl 1436.03151 Thorn, Paul D.; Schurz, Gerhard 1 2016 A non-commutative generalization of Łukasiewicz rings. Zbl 1436.06031 Kadji, Albert; Lele, Celestin; Nganou, Jean B. 1 2016 Reasoning about negligibility and proximity in the set of all hyperreals. Zbl 1436.03326 Balbiani, Philippe 1 2016 Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach. Zbl 1436.68193 Babenyshev, Sergey; Martins, Manuel A. 1 2016 A logic for diffusion in social networks. Zbl 1311.03037 Christoff, Zoé; Hansen, Jens Ulrik 16 2015 Gödel spaces and perfect MV-algebras. Zbl 1380.06007 Di Nola, Antonio; Grigolia, Revaz 13 2015 On the complexity of bribery and manipulation in tournaments with uncertain information. Zbl 1422.91225 Mattei, Nicholas; Goldsmith, Judy; Klapper, Andrew; Mundhenk, Martin 8 2015 Topological \(\operatorname{FL}_{\operatorname{ew}}\)-algebras. Zbl 1468.06013 Nganou, Jean B.; Tebu, Serge F. T. 7 2015 Division by zero in non-involutive meadows. Zbl 1401.68209 Bergstra, J. A.; Middelburg, C. A. 6 2015 Robot location estimation in the situation calculus. Zbl 1388.68274 Belle, Vaishak; Levesque, Hector J. 6 2015 An approach to abstract argumentation with recursive attack and support. Zbl 1386.68156 Cohen, Andrea; Gottifredi, Sebastian; García, Alejandro J.; Simari, Guillermo R. 5 2015 Approximate postdictive reasoning with answer set programming. Zbl 1457.68255 Eppe, Manfred; Bhatt, Mehul 4 2015 Possibilistic reasoning with partially ordered beliefs. Zbl 1386.03030 Touazi, Fayçal; Cayrol, Claudette; Dubois, Didier 4 2015 Relativized common knowledge for dynamic epistemic logic. Zbl 1378.03015 Wáng, Yì N.; Ågotnes, Thomas 4 2015 Similarity-based relaxed instance queries. Zbl 1386.68165 Ecke, Andreas; Peñaloza, Rafael; Turhan, Anni-Yasmin 4 2015 Lexicographic pseudo MV-algebras. Zbl 1380.06008 Dvurečenskij, Anatolij 3 2015 A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics. Zbl 1401.68326 Potyka, Nico; Beierle, Christoph; Kern-Isberner, Gabriele 3 2015 Abduction: a categorical characterization. Zbl 1323.03009 Tohmé, Fernando; Caterina, Gianluca; Gangle, Rocco 2 2015 Conventional controller design based on Takagi-Sugeno fuzzy models. Zbl 1319.93046 Nowaková, Jana; Pokorný, Miroslav; Pieš, Martin 2 2015 On classifying abduction. Zbl 1327.03005 Park, Woosuk 2 2015 A concept approach to input/output logic. Zbl 1378.03020 Stolpe, Audun 2 2015 The eco-cognitive model of abduction. Ἀπαγωγή now: naturalizing the logic of abduction. Zbl 1378.03006 Magnani, Lorenzo 2 2015 Logic programming as classical inference. Zbl 1521.68030 Martin, Eric A. 2 2015 Towards a logical belief function theory. Zbl 1378.03013 Cholvy, Laurence 2 2015 Using inductive reasoning for completing OCF-networks. Zbl 1409.68290 Eichhorn, Christian; Kern-Isberner, Gabriele 2 2015 Axiomatizing Lüttgen & Vogler’s ready simulation for finite processes in \(\mathrm{CLL}_{R}\). Zbl 1457.68196 Zhang, Yan; Zhu, Zhaohui; Zhang, Jinjin; Zhou, Yong 1 2015 A history based approximate epistemic action theory for efficient postdictive reasoning. Zbl 1457.68256 Eppe, Manfred; Bhatt, Mehul 1 2015 Computing the Lagrangians of the standard model. Zbl 1386.81046 Selesnick, S. A.; Rawling, J. P. 1 2015 Equations for formally real meadows. Zbl 1350.68189 Bergstra, Jan A.; Bethke, Inge; Ponse, Alban 1 2015 The complement of a point subset in a projective space and a Grassmann space. Zbl 1386.51002 Petelczyc, Krzysztof; Żynel, Mariusz 1 2015 A labeled argumentation framework. Zbl 1386.68164 Budán, Maximiliano C. D.; Lucero, Mauro Gómez; Viglizzo, Ignacio; Simari, Guillermo R. 1 2015 Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks. Zbl 1394.68363 Arieli, Ofer 1 2015 Relational semantics for full linear logic. Zbl 1335.03063 Coumans, Dion; Gehrke, Mai; van Rooijen, Lorijn 10 2014 Constraint LTL satisfiability checking without automata. Zbl 1310.68141 Bersani, Marcello M.; Frigeri, Achille; Morzenti, Angelo; Pradella, Matteo; Rossi, Matteo; San Pietro, Pierluigi 8 2014 On the logical structure of de Finetti’s notion of event. Zbl 1352.03033 Flaminio, Tommaso; Godo, Lluis; Hosni, Hykel 7 2014 A propositional linear time logic with time flow isomorphic to \(\omega^2\). Zbl 1328.03017 Marinković, Bojan; Ognjanović, Zoran; Doder, Dragan; Perović, Aleksandar 7 2014 Towards classifying propositional probabilistic logics. Zbl 1352.03032 De Bona, Glauber; Cozman, Fabio Gagliardi; Finger, Marcelo 6 2014 A model of type theory in simplicial sets. A brief introduction to Voevodsky’s homotopy type theory. Zbl 1335.03010 Streicher, T. 6 2014 Stochastic \(\lambda\)-calculi: an extended abstract. Zbl 1352.03020 Scott, Dana S. 4 2014 The existence of superluminal particles is consistent with relativistic dynamics. Zbl 1301.83004 Madarász, Judit X.; Székely, Gergely 4 2014 The paradoxes of permission an action based solution. Zbl 1317.03025 Gabbay, Dov; Gammaitoni, Loïc; Sun, Xin 4 2014 Probabilities of counterfactuals and counterfactual probabilities. Zbl 1352.03008 Hájek, Alan 3 2014 Information, confirmation, and conditionals. Zbl 1352.03010 Milne, Peter 3 2014 Propositional dynamic logic for searching games with errors. Zbl 1395.03011 Teheux, Bruno 3 2014 Temporal logics for concurrent recursive programs: satisfiability and model checking. Zbl 1310.68142 Bollig, Benedikt; Cyriac, Aiswarya; Gastin, Paul; Zeitoun, Marc 3 2014 The categorical imperative: category theory as a foundation for deontic logic. Zbl 1395.03010 Peterson, Clayton 3 2014 Capturing equilibrium models in modal logic. Zbl 1328.03018 Fariñas del Cerro, Luis; Herzig, Andreas; Su, Ezgi Iraz 3 2014 Erratum to “Confirmation as partial entailment”. Zbl 1284.03158 Crupi, Vincenzo; Tentori, Katya 3 2014 A logical calculus for controlled monotonicity. Zbl 1345.03102 D’Agostino, Marcello; Piazza, Mario; Pulcini, Gabriele 2 2014 Continuity and geometric logic. Zbl 1335.03074 Vickers, Steven 2 2014 Natural language semantics in biproduct dagger categories. Zbl 1335.03029 Preller, Anne 2 2014 An application of Carnapian inductive logic to an argument in the philosophy of statistics. Zbl 1352.03007 Groves, Teddy 1 2014 Empiricism, probability, and knowledge of arithmetic: a preliminary defense. Zbl 1352.03011 Walsh, Sean 1 2014 Second order inductive logic and Wilmers’ principle. Zbl 1395.03013 Kließ, M. S.; Paris, J. B. 1 2014 Selectional restrictions, types and categories. Zbl 1335.03028 Asher, Nicholas 1 2014 A logical framework for privacy-preserving social network publication. Zbl 1328.91263 Hsu, Tsan-sheng; Liau, Churn-Jung; Wang, Da-Wei 1 2014 Confirmation as partial entailment: a representation theorem in inductive logic. Zbl 1284.03157 Crupi, Vincenzo; Tentori, Katya 16 2013 Ordered domain algebras. Zbl 1284.03275 Hirsch, Robin; Mikulás, Szabolcs 9 2013 Future determination of entities in Talmudic public announcement logic. Zbl 1280.03017 Abraham, M.; Belfer, I.; Gabbay, D. M.; Schild, U. 8 2013 LEO-II and Satallax on the Sledgehammer test bench. Zbl 1262.68161 Sultana, Nik; Blanchette, Jasmin Christian; Paulson, Lawrence C. 8 2013 ...and 199 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,702 Authors 19 Bergstra, Jan A. 19 van Ditmarsch, Hans Pieter 14 Benzmüller, Christoph Ewald 14 Courcelle, Bruno 13 Kamide, Norihiro 13 Wansing, Heinrich Theodor 12 Gilio, Angelo 12 Sanfilippo, Giuseppe 11 Ågotnes, Thomas 11 Dvurečenskij, Anatolij 11 Godo, Lluís 10 Arieli, Ofer 10 Blanchette, Jasmin Christian 10 Naumov, Pavel G. 10 Urban, Josef 9 Inoue, Katsumi 9 Middelburg, Cornelis A. 9 Studer, Thomas 8 Avron, Arnon 8 Gabbay, Dov M. 8 Herzig, Andreas 8 Hosni, Hykel 8 Landes, Jürgen 8 Lomuscio, Alessio 8 Medina, Jesús 8 Paulson, Lawrence Charles 7 Alechina, Natasha 7 Balbiani, Philippe 7 Belle, Vaishak 7 Broersen, Jan M. 7 Hansson, Sven Ove 7 Janičić, Predrag 7 Montanari, Angelo 7 Pfeifer, Niki 7 Prade, Henri M. 7 Rossi, Matteo A. C. 7 Russo, Alessandra M. 7 Smets, Sonja J. L. 7 Strasser, Christian 7 Sutcliffe, Geoff 7 van der Hoek, Wiebe 7 Zamansky, Anna 6 Beirlaen, Mathieu 6 Bersani, Marcello Maria 6 Bollig, Benedikt 6 Bredikhin, Dmitriĭ Aleksandrovich 6 Brown, Chad Edward 6 Cornejo, Maria Eugenia 6 Dubois, Didier 6 Flaminio, Tommaso 6 Galimullin, Rustam 6 Hitzler, Pascal 6 Kaliszyk, Cezary 6 Kern-Isberner, Gabriele 6 Kuijer, Louwe Bouke 6 Ognjanović, Zoran 6 Pacuit, Eric 6 Palmigiano, Alessandra 6 Pulcini, Gabriele 6 Schneider, Thomas 6 Tao, Jia 6 Żynel, Mariusz 5 Ayhan, Sara 5 Batens, Diderik 5 Böhme, Sascha 5 Bresolin, Davide 5 Broda, Krysia B. 5 Castro, Pablo F. 5 Cohen, Liron 5 Doder, Dragan 5 Egrot, Rob 5 Giordano, Laura 5 Hasan, Osman 5 Johansson, Moa 5 Kutz, Oliver 5 Lange, Martin 5 Miller, Dale Allen 5 Mundhenk, Martin 5 Olkhovikov, Grigory K. 5 Omori, Hitoshi 5 Piazza, Mario 5 Pietarinen, Ahti-Veikko 5 Ponse, Alban 5 Potyka, Nico 5 Rotolo, Antonino 5 Schockaert, Steven 5 Sciavicco, Guido 5 Tahar, Sofiène 5 van Benthem, Johan F. A. K. 5 Wheeler, Gregory R. 5 Yang, Jiang 4 Amendola, Giovanni 4 Aravanis, Theofanis I. 4 Baader, Franz 4 Baltag, Alexandru 4 Banerjee, Mohua 4 Belardinelli, Francesco 4 Bentkamp, Alexander 4 Bolotov, Alexander 4 Boudou, Joseph ...and 1,602 more Authors all top 5 Cited in 152 Journals 74 Journal of Applied Logic 62 Artificial Intelligence 57 Studia Logica 48 Synthese 44 Journal of Philosophical Logic 42 Journal of Automated Reasoning 42 International Journal of Approximate Reasoning 36 Annals of Mathematics and Artificial Intelligence 34 Theoretical Computer Science 30 Journal of Logic, Language and Information 30 Journal of Applied Non-Classical Logics 24 Fuzzy Sets and Systems 23 The Review of Symbolic Logic 20 Annals of Pure and Applied Logic 19 Theory and Practice of Logic Programming 17 Algebra Universalis 17 Soft Computing 16 Machine Learning 15 Logica Universalis 14 Information and Computation 13 Information Sciences 11 Logic and Logical Philosophy 11 Logical Methods in Computer Science 10 MSCS. Mathematical Structures in Computer Science 9 Formal Aspects of Computing 9 Erkenntnis 9 Journal of Logical and Algebraic Methods in Programming 8 Theory of Computing Systems 8 ACM Transactions on Computational Logic 7 Discrete Applied Mathematics 7 Bulletin of the Section of Logic 7 Journal of Symbolic Computation 7 Formal Methods in System Design 7 Logicheskie Issledovaniya 6 Acta Informatica 6 Information Processing Letters 6 Mathematical Logic Quarterly (MLQ) 6 The Journal of Artificial Intelligence Research (JAIR) 5 The Journal of Symbolic Logic 5 The Bulletin of Symbolic Logic 3 Discrete Mathematics 3 Algebra and Logic 3 Journal of Computer and System Sciences 3 Order 3 Archive for Mathematical Logic 3 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 3 The Journal of Logic and Algebraic Programming 3 European Journal for Philosophy of Science 2 Journal of Mathematical Psychology 2 Journal of Pure and Applied Algebra 2 Notre Dame Journal of Formal Logic 2 European Journal of Combinatorics 2 Bulletin of the Iranian Mathematical Society 2 Journal of Computer Science and Technology 2 AI Communications 2 International Journal of Algebra and Computation 2 Aequationes Mathematicae 2 Communications in Statistics. Theory and Methods 2 International Journal of Computer Mathematics 2 Indagationes Mathematicae. New Series 2 Mathematical Problems in Engineering 2 Foundations of Science 2 Sādhanā 2 Mathematics in Computer Science 2 Philosophy of Science 2 Computer Science Review 2 Open Mathematics 2 Korean Journal of Mathematics 2 The Art of Discrete and Applied Mathematics 1 Archive for History of Exact Sciences 1 Bulletin of the Australian Mathematical Society 1 Computers & Mathematics with Applications 1 International Journal of Theoretical Physics 1 Israel Journal of Mathematics 1 Mathematical Notes 1 Reports on Mathematical Physics 1 Beiträge zur Algebra und Geometrie 1 Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 1 Applied Mathematics and Computation 1 Bulletin of the London Mathematical Society 1 Demonstratio Mathematica 1 Journal of Algebra 1 Journal of Combinatorial Theory. Series B 1 Journal of Computational and Applied Mathematics 1 Journal of the London Mathematical Society. Second Series 1 Kybernetika 1 Mathematics and Computers in Simulation 1 Mathematica Slovaca 1 Proceedings of the American Mathematical Society 1 Programming and Computer Software 1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 1 Results in Mathematics 1 Semigroup Forum 1 Theory and Decision 1 Transactions of the American Mathematical Society 1 Topology and its Applications 1 Advances in Applied Mathematics 1 History and Philosophy of Logic 1 Acta Mathematica Hungarica 1 New Generation Computing ...and 52 more Journals all top 5 Cited in 40 Fields 803 Mathematical logic and foundations (03-XX) 729 Computer science (68-XX) 88 Order, lattices, ordered algebraic structures (06-XX) 58 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 43 Combinatorics (05-XX) 28 Statistics (62-XX) 25 Probability theory and stochastic processes (60-XX) 21 General algebraic systems (08-XX) 20 Category theory; homological algebra (18-XX) 19 Geometry (51-XX) 14 Information and communication theory, circuits (94-XX) 10 General and overarching topics; collections (00-XX) 10 Quantum theory (81-XX) 9 History and biography (01-XX) 9 Convex and discrete geometry (52-XX) 8 General topology (54-XX) 6 Operations research, mathematical programming (90-XX) 6 Biology and other natural sciences (92-XX) 5 Group theory and generalizations (20-XX) 4 Algebraic topology (55-XX) 3 Number theory (11-XX) 3 Commutative algebra (13-XX) 3 Associative rings and algebras (16-XX) 3 Real functions (26-XX) 3 Ordinary differential equations (34-XX) 3 Numerical analysis (65-XX) 3 Relativity and gravitational theory (83-XX) 3 Systems theory; control (93-XX) 2 Algebraic geometry (14-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Mechanics of particles and systems (70-XX) 1 Measure and integration (28-XX) 1 Special functions (33-XX) 1 Partial differential equations (35-XX) 1 Functional analysis (46-XX) 1 Manifolds and cell complexes (57-XX) 1 Fluid mechanics (76-XX) 1 Optics, electromagnetic theory (78-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Statistical mechanics, structure of matter (82-XX) Citations by Year