×

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

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

Publications by Year

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 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