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 306 Publications have been cited 1,704 times in 1,446 Documents Cited by ▼ Year ▼ Group announcement logic. Zbl 1200.03015 Ågotnes, Thomas; Balbiani, Philippe; Van Ditmarsch, Hans; Seban, Pablo 37 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 32 2006 Lightweight relevance filtering for machine-generated resolution problems. Zbl 1183.68560 Meng, Jia; Paulson, Lawrence C. 30 2009 Model checking propositional dynamic logic with all extras. Zbl 1095.68053 Lange, Martin 27 2006 Deontic epistemic stit logic distinguishing modes of mens rea. Zbl 1221.03017 Broersen, Jan 25 2011 Nonmonotonic abductive inductive learning. Zbl 1179.68125 Ray, Oliver 24 2009 Mathematical modal logic: A view of its evolution. Zbl 1041.03015 Goldblatt, Robert 23 2003 Model checking hybrid logics (with an application to semistructured data). Zbl 1100.68065 Franceschet, Massimo; de Rijke, Maarten 22 2006 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. 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 On negation: Pure local rules. Zbl 1063.03013 Marcos, João 19 2005 Extended-order algebras. Zbl 1157.03041 Guido, Cosimo; Toto, Paola 19 2008 Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. Zbl 1122.68076 Raimondi, Franco; Lomuscio, Alessio 19 2007 A logic for diffusion in social networks. Zbl 1311.03037 Christoff, Zoé; Hansen, Jens Ulrik 18 2015 Intuitionistic hybrid logic. Zbl 1106.03011 Braüner, Torben; de Paiva, Valeria 18 2006 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 16 2009 Framing human inference by coherence based probability logic. Zbl 1179.03025 Pfeifer, Niki; Kleiter, Gernot D. 16 2009 Tractable query answering and rewriting under description logic constraints. Zbl 1192.68218 Pérez-Urbina, Héctor; Motik, Boris; Horrocks, Ian 15 2010 Paraconsistent logic from a modal viewpoint. Zbl 1063.03011 Béziau, Jean-Yves 15 2005 Anti-intuitionism and paraconsistency. Zbl 1067.03033 Brunner, Andreas B. M.; Carnielli, Walter A. 15 2005 Epistemic protocols for dynamic gossip. Zbl 1401.68017 van Ditmarsch, Hans; van Eijck, Jan; Pardo, Pere; Ramezanian, Rahim; Schwarzentruber, François 15 2017 A logic for deontic dilemmas. Zbl 1079.03009 Goble, Lou 15 2005 Transitivity in coherence-based probability logic. Zbl 1436.03146 Gilio, Angelo; Pfeifer, Niki; Sanfilippo, Giuseppe 14 2016 Combining linear-time temporal logic with constructiveness and paraconsistency. Zbl 1207.03022 Kamide, Norihiro; Wansing, Heinrich 14 2010 Automata for the verification of monadic second-order graph properties. Zbl 1285.03049 Courcelle, Bruno; Durand, Irène 14 2012 Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\). Zbl 1149.03023 Odintsov, S. P.; Wansing, H. 14 2008 Circle graphs and monadic second-order logic. Zbl 1149.03011 Courcelle, Bruno 14 2008 A more general general proof theory. Zbl 1436.03294 Wansing, Heinrich 14 2017 Gödel spaces and perfect MV-algebras. Zbl 1380.06007 Di Nola, Antonio; Grigolia, Revaz 13 2015 Propositional relevance through letter-sharing. Zbl 1203.03024 Makinson, David 13 2009 TPS: A hybrid automatic-interactive system for developing proofs. Zbl 1107.68091 Andrews, Peter B.; Brown, Chad E. 13 2006 Cut-free common knowledge. Zbl 1144.03009 Jäger, Gerhard; Kretz, Mathis; Studer, Thomas 13 2007 Algebraic model counting. Zbl 1436.68335 Kimmig, Angelika; Van den Broeck, Guy; De Raedt, Luc 13 2017 Relational semantics for full linear logic. Zbl 1335.03063 Coumans, Dion; Gehrke, Mai; van Rooijen, Lorijn 12 2014 The seven virtues of simple type theory. Zbl 1149.03012 Farmer, William M. 12 2008 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 Cut elimination for a logic with induction and co-induction. Zbl 1278.03086 Tiu, Alwen; Momigliano, Alberto 11 2012 Deontic action logic, atomic Boolean algebras and fault-tolerance. Zbl 1193.03060 Castro, Pablo F.; Maibaum, T. S. E. 11 2009 The monadic second-order logic of graphs. XV: On a conjecture by D. Seese. Zbl 1099.03007 Courcelle, Bruno 11 2006 Some comments on history based structures. Zbl 1138.03028 Pacuit, Eric 11 2007 Nonmonotonic conditionals that behave like conditional probabilities above a threshold. Zbl 1140.03009 Hawthorne, James 11 2007 Inversive meadows and divisive meadows. Zbl 1251.68144 Bergstra, J. A.; Middelburg, C. A. 11 2011 On the logical structure of de Finetti’s notion of event. Zbl 1352.03033 Flaminio, Tommaso; Godo, Lluis; Hosni, Hykel 10 2014 A deontic logic framework allowing for factual detachment. Zbl 1229.03021 Straßer, Christian 10 2011 On database query languages for K-relations. Zbl 1192.68211 Geerts, Floris; Poggi, Antonella 10 2010 Complexity of modal logics with Presburger constraints. Zbl 1220.03008 Demri, Stéphane; Lugiez, Denis 10 2010 Logic programs and connectionist networks. Zbl 1072.68090 Hitzler, Pascal; Hölldobler, Steffen; Seda, Anthony Karel 10 2004 The axiomatization of override and update. Zbl 1194.03020 Berendsen, Jasper; Jansen, David N.; Schmaltz, Julien; Vaandrager, Frits W. 10 2010 Action negation and alternative reductions for dynamic deontic logics. Zbl 1060.03045 Broersen, Jan 10 2004 Computing finite models by reduction to function-free clause logic. Zbl 1171.68040 Baumgartner, Peter; Fuchs, Alexander; de Nivelle, Hans; Tinelli, Cesare 10 2009 Can logic be combined with probability? Probably. Zbl 1171.03315 Howson, Colin 10 2009 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 Conditionals and consequences. Zbl 1138.03023 Kyburg, Henry E. jun.; Teng, Choh Man; Wheeler, Gregory 10 2007 Axiomatizing geometric constructions. Zbl 1143.03007 Pambuccian, Victor 10 2008 Ordered domain algebras. Zbl 1284.03275 Hirsch, Robin; Mikulás, Szabolcs 9 2013 Complete axiomatizations for XPath fragments. Zbl 1192.68223 ten Cate, Balder; Litak, Tadeusz; Marx, Maarten 9 2010 A theory of permission based on the notion of derogation. Zbl 1198.03035 Stolpe, Audun 9 2010 Future determination of entities in Talmudic public announcement logic. Zbl 1280.03017 Abraham, M.; Belfer, I.; Gabbay, D. M.; Schild, U. 9 2013 LEO-II and Satallax on the Sledgehammer test bench. Zbl 1262.68161 Sultana, Nik; Blanchette, Jasmin Christian; Paulson, Lawrence C. 9 2013 Constraint LTL satisfiability checking without automata. Zbl 1310.68141 Bersani, Marcello M.; Frigeri, Achille; Morzenti, Angelo; Pradella, Matteo; Rossi, Matteo; San Pietro, Pierluigi 9 2014 Are there degrees of belief? Zbl 1047.03005 Kyburg, Henry E. jun. 9 2003 Probabilistic argumentation systems. A new way to combine logic with probability. Zbl 1037.03018 Kohlas, Jürg 9 2003 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 9 2005 Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics. Zbl 1114.03007 Wiedijk, Freek 9 2006 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. 9 2007 An optimal construction of Hanf sentences. Zbl 1258.03048 Bollig, Benedikt; Kuske, Dietrich 9 2012 Topological \(\operatorname{FL}_{\operatorname{ew}}\)-algebras. Zbl 1468.06013 Nganou, Jean B.; Tebu, Serge F. T. 8 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 A QBF-based formalization of abstract argumentation semantics. Zbl 1284.68533 Arieli, Ofer; Caminada, Martin W. A. 8 2013 From Bayesian epistemology to inductive logic. Zbl 1284.03166 Williamson, Jon 8 2013 A model of type theory in simplicial sets. A brief introduction to Voevodsky’s homotopy type theory. Zbl 1335.03010 Streicher, T. 8 2014 A propositional linear time logic with time flow isomorphic to \(\omega^2\). Zbl 1328.03017 Marinković, Bojan; Ognjanović, Zoran; Doder, Dragan; Perović, Aleksandar 8 2014 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 System JLZ – rational default reasoning by minimal ranking constructions. Zbl 1076.68076 Weydert, Emil 8 2003 On obligations and normative ability: Towards a logical analysis of the social contract. Zbl 1081.03021 Wooldridge, Michael; van der Hoek, Wiebe 8 2005 Open answer set programming for the semantic web. Zbl 1116.68092 Heymans, Stijn; Van Nieuwenborgh, Davy; Vermeir, Dirk 8 2007 On modal \(\mu\)-calculus with explicit interpolants. Zbl 1106.03024 D’Agostino, G.; Lenzi, G. 8 2006 Computing the least common subsumer w.r.t. a background terminology. Zbl 1122.68117 Baader, Franz; Sertkaya, Baris; Turhan, Anni-Yasmin 8 2007 Skew lattices and binary operations on functions. Zbl 1284.03279 Cvetko-Vah, Karin; Leech, Jonathan; Spinks, Matthew 7 2013 Division by zero in non-involutive meadows. Zbl 1401.68209 Bergstra, J. A.; Middelburg, C. A. 7 2015 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 A procedural criterion for final derivability in inconsistency-adaptive logics. Zbl 1063.03010 Batens, Diderik 7 2005 Combined reasoning by automated cooperation. Zbl 1162.68646 Benzmüller, Christoph; Sorge, Volker; Jamnik, Mateja; Kerber, Manfred 7 2008 Translating regular expression matching into transducers. Zbl 1238.68052 Sakuma, Yuto; Minamide, Yasuhiko; Voronkov, Andrei 7 2012 Fresh logic: Proof-theory and semantics for FM and nominal techniques. Zbl 1124.03010 Gabbay, Murdoch J. 7 2007 Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons). Zbl 1436.03289 Gabbay, Michael 7 2017 An approach to abstract argumentation with recursive attack and support. Zbl 1386.68156 Cohen, Andrea; Gottifredi, Sebastian; García, Alejandro J.; Simari, Guillermo R. 6 2015 Ultralarge lotteries: analyzing the lottery paradox using non-standard analysis. Zbl 1284.03114 Wenmackers, Sylvia 6 2013 Towards classifying propositional probabilistic logics. Zbl 1352.03032 De Bona, Glauber; Cozman, Fabio Gagliardi; Finger, Marcelo 6 2014 Robot location estimation in the situation calculus. Zbl 1388.68274 Belle, Vaishak; Levesque, Hector J. 6 2015 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 Aristotle’s Thesis between paraconsistency and modalization. Zbl 1063.03008 Pizzi, Claudio 6 2005 Rich deontic logic: A preliminary study. Zbl 1056.03010 Brown, Mark A. 6 2004 Agential obligation as non-agential personal obligation plus agency. Zbl 1052.03004 McNamara, Paul 6 2004 Probability and logic. Zbl 1037.03017 Howson, Colin 6 2003 Strongly polynomial sequences as interpretations. Zbl 1436.05052 Goodall, A. J.; Nešetřil, J.; Ossona de Mendez, P. 6 2016 Epistemic protocols for dynamic gossip. Zbl 1401.68017 van Ditmarsch, Hans; van Eijck, Jan; Pardo, Pere; Ramezanian, Rahim; Schwarzentruber, François 15 2017 A more general general proof theory. Zbl 1436.03294 Wansing, Heinrich 14 2017 Algebraic model counting. Zbl 1436.68335 Kimmig, Angelika; Van den Broeck, Guy; De Raedt, Luc 13 2017 Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons). Zbl 1436.03289 Gabbay, Michael 7 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 4 2017 On expressive power of basic modal intuitionistic logic as a fragment of classical FOL. Zbl 1436.03140 Olkhovikov, Grigory K. 4 2017 Price of privacy. Zbl 1442.68240 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 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 Natural deduction for bi-intuitionistic logic. Zbl 1436.03095 Tranchini, Luca 2 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 Factored performance functions and decision making in continuous time Bayesian networks. Zbl 1436.68358 Sturlaugson, Liessman; Perreault, Logan; Sheppard, John W. 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 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 Transitivity in coherence-based probability logic. Zbl 1436.03146 Gilio, Angelo; Pfeifer, Niki; Sanfilippo, Giuseppe 14 2016 Strongly polynomial sequences as interpretations. Zbl 1436.05052 Goodall, A. J.; Nešetřil, J.; Ossona de Mendez, P. 6 2016 Representable posets. Zbl 1436.06004 Egrot, Rob 6 2016 Transformation of fractions into simple fractions in divisive meadows. Zbl 1401.68210 Bergstra, J. A.; Middelburg, C. A. 5 2016 The principle of signature exchangeability. Zbl 1436.03149 Ronel, Tahel; Vencovská, Alena 4 2016 Intuitionistic common knowledge or belief. Zbl 1436.03111 Jäger, Gerhard; Marti, Michel 4 2016 Formalization of reliability block diagrams in higher-order logic. Zbl 1436.68390 Ahmed, Waqar; Hasan, Osman; Tahar, Sofiène 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 A cirquent calculus system with clustering and ranking. Zbl 1436.03180 Xu, Wenyan 3 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 Lakatos’s criticism of Carnapian inductive logic was mistaken. Zbl 1436.03038 Groves, Teddy 2 2016 Hoop twist-structures. Zbl 1436.03321 Ghorbani, Shokoofeh 2 2016 Bridging Curry and Church’s typing style. Zbl 1436.03106 Kamareddine, Fairouz; Seldin, Jonathan P.; Wells, J. B. 2 2016 From reasonable preferences, via argumentation, to logic. Zbl 1436.03171 Jacot, Justine; Genot, Emmanuel; Zenker, Frank 2 2016 Reasoning about negligibility and proximity in the set of all hyperreals. Zbl 1436.03326 Balbiani, Philippe 2 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 Special issue: Combining probability and logic. Zbl 1332.00088 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 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 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 18 2015 Gödel spaces and perfect MV-algebras. Zbl 1380.06007 Di Nola, Antonio; Grigolia, Revaz 13 2015 Topological \(\operatorname{FL}_{\operatorname{ew}}\)-algebras. Zbl 1468.06013 Nganou, Jean B.; Tebu, Serge F. T. 8 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 Division by zero in non-involutive meadows. Zbl 1401.68209 Bergstra, J. A.; Middelburg, C. A. 7 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. 6 2015 Robot location estimation in the situation calculus. Zbl 1388.68274 Belle, Vaishak; Levesque, Hector J. 6 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 Using inductive reasoning for completing OCF-networks. Zbl 1409.68290 Eichhorn, Christian; Kern-Isberner, Gabriele 4 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 Naturalizing logic. Zbl 1311.03021 Magnani, Lorenzo 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 Lexicographic pseudo MV-algebras. Zbl 1380.06008 Dvurečenskij, Anatolij 3 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 Conventional controller design based on Takagi-Sugeno fuzzy models. Zbl 1319.93046 Nowaková, Jana; Pokorný, Miroslav; Pieš, Martin 2 2015 Abduction: a categorical characterization. Zbl 1323.03009 Tohmé, Fernando; Caterina, Gianluca; Gangle, Rocco 2 2015 Towards a logical belief function theory. Zbl 1378.03013 Cholvy, Laurence 2 2015 Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks. Zbl 1394.68363 Arieli, Ofer 2 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 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 Equations for formally real meadows. Zbl 1350.68189 Bergstra, Jan A.; Bethke, Inge; Ponse, Alban 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 Relational semantics for full linear logic. Zbl 1335.03063 Coumans, Dion; Gehrke, Mai; van Rooijen, Lorijn 12 2014 On the logical structure of de Finetti’s notion of event. Zbl 1352.03033 Flaminio, Tommaso; Godo, Lluis; Hosni, Hykel 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 9 2014 A model of type theory in simplicial sets. A brief introduction to Voevodsky’s homotopy type theory. Zbl 1335.03010 Streicher, T. 8 2014 A propositional linear time logic with time flow isomorphic to \(\omega^2\). Zbl 1328.03017 Marinković, Bojan; Ognjanović, Zoran; Doder, Dragan; Perović, Aleksandar 8 2014 Towards classifying propositional probabilistic logics. Zbl 1352.03032 De Bona, Glauber; Cozman, Fabio Gagliardi; Finger, Marcelo 6 2014 Stochastic \(\lambda\)-calculi: an extended abstract. Zbl 1352.03020 Scott, Dana S. 5 2014 The paradoxes of permission an action based solution. Zbl 1317.03025 Gabbay, Dov; Gammaitoni, Loïc; Sun, Xin 4 2014 Propositional dynamic logic for searching games with errors. Zbl 1395.03011 Teheux, Bruno 4 2014 The existence of superluminal particles is consistent with relativistic dynamics. Zbl 1301.83004 Madarász, Judit X.; Székely, Gergely 4 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 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 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 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 A logical calculus for controlled monotonicity. Zbl 1345.03102 D’Agostino, Marcello; Piazza, Mario; Pulcini, Gabriele 2 2014 Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited. Zbl 1310.68140 Baader, Franz; Lippmann, Marcel 2 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 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 Confirmation as partial entailment: a representation theorem in inductive logic. Zbl 1284.03157 Crupi, Vincenzo; Tentori, Katya 16 2013 ...and 206 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,815 Authors 21 van Ditmarsch, Hans Pieter 20 Bergstra, Jan A. 15 Sanfilippo, Giuseppe 15 Wansing, Heinrich Theodor 14 Benzmüller, Christoph Ewald 14 Courcelle, Bruno 13 Gilio, Angelo 13 Kamide, Norihiro 12 Naumov, Pavel G. 11 Ågotnes, Thomas 11 Blanchette, Jasmin Christian 11 Dvurečenskij, Anatolij 11 Godo, Lluís 10 Arieli, Ofer 10 Middelburg, Cornelis A. 10 Pfeifer, Niki 10 Urban, Josef 9 Avron, Arnon 9 Hosni, Hykel 9 Inoue, Katsumi 9 Medina, Jesús 9 Studer, Thomas 8 Broersen, Jan M. 8 Dubois, Didier 8 Flaminio, Tommaso 8 Gabbay, Dov M. 8 Galimullin, Rustam 8 Herzig, Andreas 8 Landes, Jürgen 8 Lomuscio, Alessio 8 Paulson, Lawrence Charles 8 Prade, Henri M. 8 Russo, Alessandra M. 8 Zamansky, Anna 7 Alechina, Natasha 7 Balbiani, Philippe 7 Belle, Vaishak 7 Bollig, Benedikt 7 Cohen, Liron 7 Fervari, Raul 7 Hansson, Sven Ove 7 Janičić, Predrag 7 Lange, Martin 7 Montanari, Angelo 7 Ognjanović, Zoran 7 Rossi, Matteo A. C. 7 Smets, Sonja J. L. 7 Strasser, Christian 7 Sutcliffe, Geoff 7 Tao, Jia 7 van der Hoek, Wiebe 7 Wheeler, Gregory R. 6 Areces, Carlos 6 Beirlaen, Mathieu 6 Bersani, Marcello Maria 6 Bredikhin, Dmitriĭ Aleksandrovich 6 Broda, Krysia B. 6 Brown, Chad Edward 6 Constable, Robert Lee 6 Cornejo, Maria Eugenia 6 De Raedt, Luc 6 Doder, Dragan 6 Eiter, Thomas 6 Giordano, Laura 6 Hitzler, Pascal 6 Kaliszyk, Cezary 6 Kern-Isberner, Gabriele 6 Kuijer, Louwe Bouke 6 Olkhovikov, Grigory K. 6 Omori, Hitoshi 6 Osorio Galindo, Mauricio 6 Pacuit, Eric 6 Palmigiano, Alessandra 6 Pulcini, Gabriele 6 Schneider, Thomas 6 Tahar, Sofiène 6 Żynel, Mariusz 5 Ayhan, Sara 5 Banerjee, Mohua 5 Batens, Diderik 5 Böhme, Sascha 5 Bolotov, Alexander 5 Bresolin, Davide 5 Burrieza, Alfredo 5 Castro, Pablo F. 5 Egrot, Rob 5 Fariñas del Cerro, Luis 5 Hasan, Osman 5 Johansson, Moa 5 Kimmig, Angelika 5 Kulicki, Piotr 5 Kutz, Oliver 5 Law, Mark M. 5 Miller, Dale Allen 5 Mundhenk, Martin 5 Piazza, Mario 5 Pietarinen, Ahti-Veikko 5 Ponse, Alban 5 Potyka, Nico 5 Rotolo, Antonino ...and 1,715 more Authors all top 5 Cited in 156 Journals 75 Journal of Applied Logic 68 Artificial Intelligence 61 Studia Logica 48 Synthese 46 Journal of Philosophical Logic 45 International Journal of Approximate Reasoning 42 Journal of Automated Reasoning 37 Annals of Mathematics and Artificial Intelligence 34 Theoretical Computer Science 32 Journal of Logic, Language and Information 32 Journal of Applied Non-Classical Logics 26 Annals of Pure and Applied Logic 26 The Review of Symbolic Logic 24 Fuzzy Sets and Systems 19 Theory and Practice of Logic Programming 18 Algebra Universalis 17 Logical Methods in Computer Science 16 Machine Learning 16 Soft Computing 16 Logica Universalis 15 Information and Computation 14 Information Sciences 13 Logic and Logical Philosophy 12 Mathematical Structures in Computer Science 11 Erkenntnis 11 Journal of Logical and Algebraic Methods in Programming 9 Formal Aspects of Computing 9 Theory of Computing Systems 9 ACM Transactions on Computational Logic 8 Journal of Symbolic Computation 8 The Journal of Artificial Intelligence Research (JAIR) 7 Discrete Applied Mathematics 7 Bulletin of the Section of Logic 7 Formal Methods in System Design 7 Logicheskie Issledovaniya 6 Acta Informatica 6 Information Processing Letters 6 Mathematical Logic Quarterly (MLQ) 5 The Journal of Symbolic Logic 5 The Bulletin of Symbolic Logic 4 Nôus 3 Discrete Mathematics 3 Algebra and Logic 3 Journal of Computer and System Sciences 3 Journal of Pure and Applied Algebra 3 European Journal of Combinatorics 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 3 Open Mathematics 2 Journal of Mathematical Psychology 2 Mathematica Slovaca 2 Notre Dame Journal of Formal Logic 2 SIAM Journal on Computing 2 Transactions of the American Mathematical Society 2 Bulletin of the Iranian Mathematical Society 2 Journal of Computer Science and Technology 2 Algorithmica 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 Foundations of Science 2 Sādhanā 2 Mathematics in Computer Science 2 Philosophy of Science 2 Computer Science Review 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 the London Mathematical Society. Second Series 1 Kybernetika 1 Mathematics and Computers in Simulation 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 Studies in Applied Mathematics 1 Theory and Decision 1 Topology and its Applications 1 Advances in Applied Mathematics 1 History and Philosophy of Logic ...and 56 more Journals all top 5 Cited in 39 Fields 896 Mathematical logic and foundations (03-XX) 802 Computer science (68-XX) 90 Order, lattices, ordered algebraic structures (06-XX) 66 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 50 Combinatorics (05-XX) 31 Statistics (62-XX) 30 Probability theory and stochastic processes (60-XX) 24 Category theory; homological algebra (18-XX) 23 General algebraic systems (08-XX) 21 Geometry (51-XX) 15 Information and communication theory, circuits (94-XX) 11 General and overarching topics; collections (00-XX) 10 History and biography (01-XX) 9 Convex and discrete geometry (52-XX) 9 Quantum theory (81-XX) 8 General topology (54-XX) 7 Algebraic topology (55-XX) 7 Biology and other natural sciences (92-XX) 6 Group theory and generalizations (20-XX) 4 Number theory (11-XX) 4 Associative rings and algebras (16-XX) 4 Relativity and gravitational theory (83-XX) 4 Systems theory; control (93-XX) 3 Commutative algebra (13-XX) 3 Real functions (26-XX) 3 Ordinary differential equations (34-XX) 3 Operations research, mathematical programming (90-XX) 2 Algebraic geometry (14-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Numerical analysis (65-XX) 2 Mechanics of particles and systems (70-XX) 1 Measure and integration (28-XX) 1 Partial differential equations (35-XX) 1 Functional analysis (46-XX) 1 Manifolds and cell complexes (57-XX) 1 Optics, electromagnetic theory (78-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Mathematics education (97-XX) Citations by Year