×

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: No longer indexed
Documents Indexed: 413 Publications (2003–2017)
References Indexed: 382 Publications with 12,395 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 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
2 Orgun, Mehmet Ali
...and 566 more Authors

Publications by Year

Citations contained in zbMATH Open

291 Publications have been cited 1,270 times in 1,118 Documents Cited by Year
Group announcement logic. Zbl 1200.03015
Ågotnes, Thomas; Balbiani, Philippe; Van Ditmarsch, Hans; Seban, Pablo
26
2010
Lightweight relevance filtering for machine-generated resolution problems. Zbl 1183.68560
Meng, Jia; Paulson, Lawrence C.
25
2009
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
25
2006
Mathematical modal logic: A view of its evolution. Zbl 1041.03015
Goldblatt, Robert
20
2003
Model checking propositional dynamic logic with all extras. Zbl 1095.68053
Lange, Martin
18
2006
Nonmonotonic abductive inductive learning. Zbl 1179.68125
Ray, Oliver
17
2009
Deontic epistemic stit logic distinguishing modes of mens rea. Zbl 1221.03017
Broersen, Jan
17
2011
Model checking hybrid logics (with an application to semistructured data). Zbl 1100.68065
Franceschet, Massimo; de Rijke, Maarten
17
2006
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. Zbl 1122.68076
Raimondi, Franco; Lomuscio, Alessio
17
2007
Extended-order algebras. Zbl 1157.03041
Guido, Cosimo; Toto, Paola
16
2008
Automata for the verification of monadic second-order graph properties. Zbl 1285.03049
Courcelle, Bruno; Durand, Irène
14
2012
Efficiently checking propositional refutations in HOL theorem provers. Zbl 1171.68041
Weber, Tjark; Amjad, Hasan
14
2009
Anti-intuitionism and paraconsistency. Zbl 1067.03033
Brunner, Andreas B. M.; Carnielli, Walter A.
14
2005
A logic for diffusion in social networks. Zbl 1311.03037
Christoff, Zoé; Hansen, Jens Ulrik
14
2015
Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\). Zbl 1149.03023
Odintsov, S. P.; Wansing, H.
14
2008
Intuitionistic hybrid logic. Zbl 1106.03011
Braüner, Torben; de Paiva, Valeria
14
2006
Termination of logic programs with imperfect information: applications and query procedure. Zbl 1122.68025
Damásio, C. V.; Medina, J.; Ojeda-Aciego, M.
14
2007
Framing human inference by coherence based probability logic. Zbl 1179.03025
Pfeifer, Niki; Kleiter, Gernot D.
13
2009
A logic for deontic dilemmas. Zbl 1079.03009
Goble, Lou
13
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.
13
2006
Paraconsistent logic from a modal viewpoint. Zbl 1063.03011
Béziau, Jean-Yves
12
2005
On negation: Pure local rules. Zbl 1063.03013
Marcos, João
12
2005
TPS: A hybrid automatic-interactive system for developing proofs. Zbl 1107.68091
Andrews, Peter B.; Brown, Chad E.
12
2006
Tractable query answering and rewriting under description logic constraints. Zbl 1192.68218
Pérez-Urbina, Héctor; Motik, Boris; Horrocks, Ian
12
2010
Combining linear-time temporal logic with constructiveness and paraconsistency. Zbl 1207.03022
Kamide, Norihiro; Wansing, Heinrich
12
2010
Cut-free common knowledge. Zbl 1144.03009
Jäger, Gerhard; Kretz, Mathis; Studer, Thomas
12
2007
Confirmation as partial entailment: a representation theorem in inductive logic. Zbl 1284.03157
Crupi, Vincenzo; Tentori, Katya
11
2013
Circle graphs and monadic second-order logic. Zbl 1149.03011
Courcelle, Bruno
11
2008
Inversive meadows and divisive meadows. Zbl 1251.68144
Bergstra, J. A.; Middelburg, C. A.
10
2011
Transitivity in coherence-based probability logic. Zbl 1436.03146
Gilio, Angelo; Pfeifer, Niki; Sanfilippo, Giuseppe
10
2016
The monadic second-order logic of graphs. XV: On a conjecture by D. Seese. Zbl 1099.03007
Courcelle, Bruno
10
2006
Epistemic protocols for dynamic gossip. Zbl 1401.68017
van Ditmarsch, Hans; van Eijck, Jan; Pardo, Pere; Ramezanian, Rahim; Schwarzentruber, François
10
2017
Nonmonotonic conditionals that behave like conditional probabilities above a threshold. Zbl 1140.03009
Hawthorne, James
10
2007
Propositional relevance through letter-sharing. Zbl 1203.03024
Makinson, David
9
2009
Deontic action logic, atomic Boolean algebras and fault-tolerance. Zbl 1193.03060
Castro, Pablo F.; Maibaum, T. S. E.
9
2009
A deontic logic framework allowing for factual detachment. Zbl 1229.03021
Straßer, Christian
9
2011
Computing finite models by reduction to function-free clause logic. Zbl 1171.68040
Baumgartner, Peter; Fuchs, Alexander; de Nivelle, Hans; Tinelli, Cesare
9
2009
Gödel spaces and perfect MV-algebras. Zbl 1380.06007
Di Nola, Antonio; Grigolia, Revaz
9
2015
MizarMode – an integrated proof assistance tool for the Mizar way of formalizing mathematics. Zbl 1107.68103
Urban, Josef
9
2006
The axiomatization of override and update. Zbl 1194.03020
Berendsen, Jasper; Jansen, David N.; Schmaltz, Julien; Vaandrager, Frits W.
9
2010
Conditionals and consequences. Zbl 1138.03023
Kyburg, Henry E. jun.; Teng, Choh Man; Wheeler, Gregory
9
2007
The seven virtues of simple type theory. Zbl 1149.03012
Farmer, William M.
9
2008
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
8
2005
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
Computer supported mathematics with \(\Omega\)MEGA. Zbl 1107.68101
Siekmann, Jörg; Benzmüller, Christoph; Autexier, Serge
8
2006
Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics. Zbl 1114.03007
Wiedijk, Freek
8
2006
A general tableau method for propositional interval temporal logics: theory and implementation. Zbl 1104.03010
Goranko, V.; Montanari, A.; Sala, P.; Sciavicco, G.
8
2006
Action negation and alternative reductions for dynamic deontic logics. Zbl 1060.03045
Broersen, Jan
8
2004
Relational semantics for full linear logic. Zbl 1335.03063
Coumans, Dion; Gehrke, Mai; van Rooijen, Lorijn
7
2014
Cut elimination for a logic with induction and co-induction. Zbl 1278.03086
Tiu, Alwen; Momigliano, Alberto
7
2012
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
Models for a paraconsistent set theory. Zbl 1063.03040
Libert, Thierry
7
2005
An encompassing framework for paraconsistent logic programs. Zbl 1063.03015
Alcântara, João; Damásio, Carlos Viegas; Pereira, Luís Moniz
7
2005
Logic programs and connectionist networks. Zbl 1072.68090
Hitzler, Pascal; Hölldobler, Steffen; Seda, Anthony Karel
7
2004
Constraint LTL satisfiability checking without automata. Zbl 1310.68141
Bersani, Marcello M.; Frigeri, Achille; Morzenti, Angelo; Pradella, Matteo; Rossi, Matteo; San Pietro, Pierluigi
7
2014
Ordered domain algebras. Zbl 1284.03275
Hirsch, Robin; Mikulás, Szabolcs
7
2013
Topological \(\operatorname{FL}_{\operatorname{ew}}\)-algebras. Zbl 1468.06013
Nganou, Jean B.; Tebu, Serge F. T.
7
2015
Complete axiomatizations for XPath fragments. Zbl 1192.68223
ten Cate, Balder; Litak, Tadeusz; Marx, Maarten
7
2010
A theory of permission based on the notion of derogation. Zbl 1198.03035
Stolpe, Audun
7
2010
Some comments on history based structures. Zbl 1138.03028
Pacuit, Eric
7
2007
Axiomatizing geometric constructions. Zbl 1143.03007
Pambuccian, Victor
7
2008
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.
7
2007
LEO-II and Satallax on the Sledgehammer test bench. Zbl 1262.68161
Sultana, Nik; Blanchette, Jasmin Christian; Paulson, Lawrence C.
6
2013
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
A procedural criterion for final derivability in inconsistency-adaptive logics. Zbl 1063.03010
Batens, Diderik
6
2005
A neural implementation of multi-adjoint logic programming. Zbl 1073.68025
Medina, J.; Mérida-Casermeiro, E.; Ojeda-Aciego, M.
6
2004
A QBF-based formalization of abstract argumentation semantics. Zbl 1284.68533
Arieli, Ofer; Caminada, Martin W. A.
6
2013
Skew lattices and binary operations on functions. Zbl 1284.03279
Cvetko-Vah, Karin; Leech, Jonathan; Spinks, Matthew
6
2013
On the logical structure of de Finetti’s notion of event. Zbl 1352.03033
Flaminio, Tommaso; Godo, Lluis; Hosni, Hykel
6
2014
On modal \(\mu\)-calculus with explicit interpolants. Zbl 1106.03024
D’Agostino, G.; Lenzi, G.
6
2006
Open answer set programming for the semantic web. Zbl 1116.68092
Heymans, Stijn; Van Nieuwenborgh, Davy; Vermeir, Dirk
6
2007
Fresh logic: Proof-theory and semantics for FM and nominal techniques. Zbl 1124.03010
Gabbay, Murdoch J.
6
2007
Computing the least common subsumer w.r.t. a background terminology. Zbl 1122.68117
Baader, Franz; Sertkaya, Baris; Turhan, Anni-Yasmin
6
2007
Algebraic model counting. Zbl 1436.68335
Kimmig, Angelika; Van den Broeck, Guy; De Raedt, Luc
6
2017
Are there degrees of belief? Zbl 1047.03005
Kyburg, Henry E. jun.
6
2003
System JLZ – rational default reasoning by minimal ranking constructions. Zbl 1076.68076
Weydert, Emil
6
2003
Rich deontic logic: A preliminary study. Zbl 1056.03010
Brown, Mark A.
6
2004
Representable posets. Zbl 1436.06004
Egrot, Rob
5
2016
Can logic be combined with probability? Probably. Zbl 1171.03315
Howson, Colin
5
2009
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.
5
2009
Combining classical logic, paraconsistency and relevance. Zbl 1067.03030
Avron, Arnon
5
2005
Measuring coherence using LP-models. Zbl 1076.03017
Oller, Carlos A.
5
2004
On obligations and normative ability: Towards a logical analysis of the social contract. Zbl 1081.03021
Wooldridge, Michael; van der Hoek, Wiebe
5
2005
Conflicting imperatives and dyadic deontic logic. Zbl 1077.03014
Hansen, Jörg
5
2005
Translating regular expression matching into transducers. Zbl 1238.68052
Sakuma, Yuto; Minamide, Yasuhiko; Voronkov, Andrei
5
2012
Division by zero in non-involutive meadows. Zbl 1401.68209
Bergstra, J. A.; Middelburg, C. A.
5
2015
Representation of interlaced trilattices. Zbl 1284.03282
Rivieccio, Umberto
5
2013
Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty. Zbl 1284.68551
Link, Sebastian
5
2013
Towards classifying propositional probabilistic logics. Zbl 1352.03032
De Bona, Glauber; Cozman, Fabio Gagliardi; Finger, Marcelo
5
2014
Similarity based approximate reasoning: Fuzzy control. Zbl 1148.68046
Raha, Swapan; Hossain, Abul; Ghosh, Sujata
5
2008
Deduction chains for common knowledge. Zbl 1104.03009
Kretz, Mathis; Studer, Thomas
5
2006
Execution architectures for program algebra. Zbl 1116.68024
Bergstra, Jan A.; Ponse, Alban
5
2007
The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator. Zbl 1137.03014
Doberkat, Ernst-Erich
5
2007
Strongly polynomial sequences as interpretations. Zbl 1436.05052
Goodall, A. J.; Nešetřil, J.; Ossona de Mendez, P.
5
2016
Probability and logic. Zbl 1037.03017
Howson, Colin
5
2003
Problems and results for logics about imperatives. Zbl 1056.03011
Hansen, Jörg
5
2004
A model of type theory in simplicial sets. A brief introduction to Voevodsky’s homotopy type theory. Zbl 1335.03010
Streicher, T.
4
2014
Hypothesizing about signaling networks. Zbl 1168.92002
Tran, Nam; Baral, Chitta
4
2009
Epistemic protocols for dynamic gossip. Zbl 1401.68017
van Ditmarsch, Hans; van Eijck, Jan; Pardo, Pere; Ramezanian, Rahim; Schwarzentruber, François
10
2017
Algebraic model counting. Zbl 1436.68335
Kimmig, Angelika; Van den Broeck, Guy; De Raedt, Luc
6
2017
Assertion and denial: Aa contribution from logical notations. Zbl 1436.03066
Pietarinen, Ahti-Veikko; Bellucci, Francesco
3
2017
A more general general proof theory. Zbl 1436.03294
Wansing, Heinrich
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
Marketing impact on diffusion in social networks. Zbl 1358.91086
Naumov, Pavel; Tao, Jia
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
What kind of independence do we need for multiple iterated belief change? Zbl 1436.03112
Kern-Isberner, Gabriele; Huvermann, Daniela
2
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
Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons). Zbl 1436.03289
Gabbay, Michael
1
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
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
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
10
2016
Representable posets. Zbl 1436.06004
Egrot, Rob
5
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.
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
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
On the applicability of the “number of possible states” argument in multi-expert reasoning. Zbl 1401.68318
Adamčík, Martin
2
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
Intuitionistic common knowledge or belief. Zbl 1436.03111
Jäger, Gerhard; Marti, Michel
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
The principle of signature exchangeability. Zbl 1436.03149
Ronel, Tahel; Vencovská, Alena
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
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
A cirquent calculus system with clustering and ranking. Zbl 1436.03180
Xu, Wenyan
1
2016
Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach. Zbl 1436.68193
Babenyshev, Sergey; Martins, Manuel A.
1
2016
Lakatos’s criticism of Carnapian inductive logic was mistaken. Zbl 1436.03038
Groves, Teddy
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
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
A logic for diffusion in social networks. Zbl 1311.03037
Christoff, Zoé; Hansen, Jens Ulrik
14
2015
Gödel spaces and perfect MV-algebras. Zbl 1380.06007
Di Nola, Antonio; Grigolia, Revaz
9
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.
5
2015
Approximate postdictive reasoning with answer set programming. Zbl 1457.68255
Eppe, Manfred; Bhatt, Mehul
4
2015
Robot location estimation in the situation calculus. Zbl 1388.68274
Belle, Vaishak; Levesque, Hector J.
4
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.
4
2015
Abduction: a categorical characterization. Zbl 1323.03009
Tohmé, Fernando; Caterina, Gianluca; Gangle, Rocco
3
2015
Possibilistic reasoning with partially ordered beliefs. Zbl 1386.03030
Touazi, Fayçal; Cayrol, Claudette; Dubois, Didier
3
2015
Lexicographic pseudo MV-algebras. Zbl 1380.06008
Dvurečenskij, Anatolij
3
2015
Conventional controller design based on Takagi-Sugeno fuzzy models. Zbl 1319.93046
Nowaková, Jana; Pokorný, Miroslav; Pieš, Martin
2
2015
A history based approximate epistemic action theory for efficient postdictive reasoning. Zbl 1457.68256
Eppe, Manfred; Bhatt, Mehul
2
2015
On classifying abduction. Zbl 1327.03005
Park, Woosuk
2
2015
The eco-cognitive model of abduction. Ἀπαγωγή now: naturalizing the logic of abduction. Zbl 1378.03006
Magnani, Lorenzo
2
2015
Relativized common knowledge for dynamic epistemic logic. Zbl 1378.03015
Wáng, Yì N.; Ågotnes, Thomas
2
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
2
2015
Similarity-based relaxed instance queries. Zbl 1386.68165
Ecke, Andreas; Peñaloza, Rafael; Turhan, Anni-Yasmin
2
2015
A hybrid evolutionary model for supplier assessment and selection in inbound logistics. Zbl 06433917
Simić, Dragan; Svirčević, Vasa; Simić, Svetlana
1
2015
Equations for formally real meadows. Zbl 1350.68189
Bergstra, Jan A.; Bethke, Inge; Ponse, Alban
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
Computing the Lagrangians of the standard model. Zbl 1386.81046
Selesnick, S. A.; Rawling, J. P.
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 concept approach to input/output logic. Zbl 1378.03020
Stolpe, Audun
1
2015
Logic programming as classical inference. Zbl 06522459
Martin, Eric A.
1
2015
Towards a logical belief function theory. Zbl 1378.03013
Cholvy, Laurence
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
Using inductive reasoning for completing OCF-networks. Zbl 1409.68290
Eichhorn, Christian; Kern-Isberner, Gabriele
1
2015
Relational semantics for full linear logic. Zbl 1335.03063
Coumans, Dion; Gehrke, Mai; van Rooijen, Lorijn
7
2014
Constraint LTL satisfiability checking without automata. Zbl 1310.68141
Bersani, Marcello M.; Frigeri, Achille; Morzenti, Angelo; Pradella, Matteo; Rossi, Matteo; San Pietro, Pierluigi
7
2014
On the logical structure of de Finetti’s notion of event. Zbl 1352.03033
Flaminio, Tommaso; Godo, Lluis; Hosni, Hykel
6
2014
Towards classifying propositional probabilistic logics. Zbl 1352.03032
De Bona, Glauber; Cozman, Fabio Gagliardi; Finger, Marcelo
5
2014
A model of type theory in simplicial sets. A brief introduction to Voevodsky’s homotopy type theory. Zbl 1335.03010
Streicher, T.
4
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 existence of superluminal particles is consistent with relativistic dynamics. Zbl 1301.83004
Madarász, Judit X.; Székely, Gergely
3
2014
The paradoxes of permission an action based solution. Zbl 1317.03025
Gabbay, Dov; Gammaitoni, Loïc; Sun, Xin
3
2014
Capturing equilibrium models in modal logic. Zbl 1328.03018
Fariñas del Cerro, Luis; Herzig, Andreas; Su, Ezgi Iraz
3
2014
A propositional linear time logic with time flow isomorphic to \(\omega^2\). Zbl 1328.03017
Marinković, Bojan; Ognjanović, Zoran; Doder, Dragan; Perović, Aleksandar
3
2014
Erratum to “Confirmation as partial entailment”. Zbl 1284.03158
Crupi, Vincenzo; Tentori, Katya
3
2014
Stochastic \(\lambda\)-calculi: an extended abstract. Zbl 1352.03020
Scott, Dana S.
3
2014
Natural language semantics in biproduct dagger categories. Zbl 1335.03029
Preller, Anne
2
2014
The categorical imperative: category theory as a foundation for deontic logic. Zbl 1395.03010
Peterson, Clayton
2
2014
Information, confirmation, and conditionals. Zbl 1352.03010
Milne, Peter
2
2014
Continuity and geometric logic. Zbl 1335.03074
Vickers, Steven
1
2014
Selectional restrictions, types and categories. Zbl 1335.03028
Asher, Nicholas
1
2014
Propositional dynamic logic for searching games with errors. Zbl 1395.03011
Teheux, Bruno
1
2014
Second order inductive logic and Wilmers’ principle. Zbl 1395.03013
Kließ, M. S.; Paris, J. B.
1
2014
A logical calculus for controlled monotonicity. Zbl 1345.03102
D’Agostino, Marcello; Piazza, Mario; Pulcini, Gabriele
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
Probabilities of counterfactuals and counterfactual probabilities. Zbl 1352.03008
Hájek, Alan
1
2014
An application of Carnapian inductive logic to an argument in the philosophy of statistics. Zbl 1352.03007
Groves, Teddy
1
2014
Confirmation as partial entailment: a representation theorem in inductive logic. Zbl 1284.03157
Crupi, Vincenzo; Tentori, Katya
11
2013
Ordered domain algebras. Zbl 1284.03275
Hirsch, Robin; Mikulás, Szabolcs
7
2013
LEO-II and Satallax on the Sledgehammer test bench. Zbl 1262.68161
Sultana, Nik; Blanchette, Jasmin Christian; Paulson, Lawrence C.
6
2013
A QBF-based formalization of abstract argumentation semantics. Zbl 1284.68533
Arieli, Ofer; Caminada, Martin W. A.
6
2013
Skew lattices and binary operations on functions. Zbl 1284.03279
Cvetko-Vah, Karin; Leech, Jonathan; Spinks, Matthew
6
2013
Representation of interlaced trilattices. Zbl 1284.03282
Rivieccio, Umberto
5
2013
...and 191 more Documents
all top 5

Cited by 1,510 Authors

17 Bergstra, Jan A.
14 Courcelle, Bruno
13 Kamide, Norihiro
13 van Ditmarsch, Hans Pieter
11 Benzmüller, Christoph Ewald
11 Gilio, Angelo
11 Sanfilippo, Giuseppe
10 Ågotnes, Thomas
10 Arieli, Ofer
10 Wansing, Heinrich Theodor
9 Blanchette, Jasmin Christian
9 Dvurečenskij, Anatolij
9 Middelburg, Cornelis A.
9 Naumov, Pavel G.
9 Urban, Josef
8 Gabbay, Dov M.
8 Godo, Lluís
8 Inoue, Katsumi
8 Lomuscio, Alessio
8 Studer, Thomas
7 Avron, Arnon
7 Balbiani, Philippe
7 Herzig, Andreas
7 Paulson, Lawrence Charles
7 Pfeifer, Niki
7 Rossi, Matteo A. C.
7 Strasser, Christian
7 Zamansky, Anna
6 Alechina, Natasha
6 Beirlaen, Mathieu
6 Belle, Vaishak
6 Bersani, Marcello Maria
6 Bollig, Benedikt
6 Brown, Chad Edward
6 Hansson, Sven Ove
6 Hitzler, Pascal
6 Hosni, Hykel
6 Kaliszyk, Cezary
6 Montanari, Angelo
6 Prade, Henri M.
6 Schneider, Thomas
6 Smets, Sonja J. L.
5 Böhme, Sascha
5 Broersen, Jan M.
5 Castro, Pablo F.
5 Dubois, Didier
5 Flaminio, Tommaso
5 Hasan, Osman
5 Janičić, Predrag
5 Kutz, Oliver
5 Landes, Jürgen
5 Lange, Martin
5 Medina, Jesús
5 Mundhenk, Martin
5 Ponse, Alban
5 Russo, Alessandra M.
5 Schockaert, Steven
5 Tahar, Sofiène
5 Tao, Jia
5 van der Hoek, Wiebe
5 Wheeler, Gregory R.
5 Yang, Jiang
5 Żynel, Mariusz
4 Amendola, Giovanni
4 Belardinelli, Francesco
4 Bolotov, Alexander
4 Braüner, Torben
4 Bredikhin, Dmitriĭ Aleksandrovich
4 Bresolin, Davide
4 Brünnler, Kai
4 Carnielli, Walter Alexandre
4 Conradie, Willem
4 Cornejo, Maria Eugenia
4 Crupi, Vincenzo
4 Egrot, Rob
4 Eppe, Manfred
4 Fariñas del Cerro, Luis
4 Galimullin, Rustam
4 Giordano, Laura
4 Guido, Cosimo
4 He, Pengfei
4 Hodkinson, Ian Martin
4 Johansson, Moa
4 Kern-Isberner, Gabriele
4 Kuijer, Louwe Bouke
4 Kulicki, Piotr
4 Lin, Zuoquan
4 Meier, Arne
4 Miller, Dale Allen
4 Odintsov, Sergei P.
4 Olkhovikov, Grigory K.
4 Omori, Hitoshi
4 Pacuit, Eric
4 Palmigiano, Alessandra
4 Pietro, Pierluigi San
4 Potyka, Nico
4 Reynolds, Andrew
4 Rönnedal, Daniel
4 Rotolo, Antonino
4 Schwarzentruber, François
...and 1,410 more Authors
all top 5

Cited in 142 Journals

74 Journal of Applied Logic
57 Artificial Intelligence
53 Studia Logica
41 Journal of Automated Reasoning
38 Synthese
36 Journal of Philosophical Logic
35 International Journal of Approximate Reasoning
33 Theoretical Computer Science
32 Annals of Mathematics and Artificial Intelligence
29 Journal of Logic, Language and Information
27 Journal of Applied Non-Classical Logics
20 Fuzzy Sets and Systems
20 The Review of Symbolic Logic
18 Annals of Pure and Applied Logic
16 Theory and Practice of Logic Programming
14 Algebra Universalis
14 Machine Learning
14 Logica Universalis
13 Information Sciences
12 Information and Computation
12 Soft Computing
10 MSCS. Mathematical Structures in Computer Science
10 Logic and Logical Philosophy
10 Logical Methods in Computer Science
9 Formal Aspects of Computing
9 Erkenntnis
9 Journal of Logical and Algebraic Methods in Programming
8 Theory of Computing Systems
7 Discrete Applied Mathematics
7 Journal of Symbolic Computation
7 Formal Methods in System Design
6 Acta Informatica
6 Information Processing Letters
5 Mathematical Logic Quarterly (MLQ)
4 The Journal of Symbolic Logic
4 The Bulletin of Symbolic Logic
3 Discrete Mathematics
3 Algebra and Logic
3 Journal of Computer and System Sciences
3 Order
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 Applied Mathematics and Computation
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 The Journal of Artificial Intelligence Research (JAIR)
2 Mathematical Problems in Engineering
2 Foundations of Science
2 Sādhanā
2 ACM Transactions on Computational Logic
2 Mathematics in Computer 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 Demonstratio Mathematica
1 Journal of Algebra
1 Journal of Combinatorial Theory. Series B
1 Journal of Computational and Applied Mathematics
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 Bulletin of the Section of Logic
1 Topology and its Applications
1 Advances in Applied Mathematics
1 History and Philosophy of Logic
1 Acta Mathematica Hungarica
1 New Generation Computing
1 Algorithmica
1 SIAM Journal on Discrete Mathematics
1 Forum Mathematicum
1 Neural Networks
1 International Journal of Information and Management Sciences
1 Economics Letters
1 International Journal of Foundations of Computer Science
...and 42 more Journals
all top 5

Cited in 39 Fields

670 Mathematical logic and foundations (03-XX)
640 Computer science (68-XX)
74 Order, lattices, ordered algebraic structures (06-XX)
47 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
41 Combinatorics (05-XX)
25 Statistics (62-XX)
21 Probability theory and stochastic processes (60-XX)
18 General algebraic systems (08-XX)
15 Category theory; homological algebra (18-XX)
15 Geometry (51-XX)
10 General topology (54-XX)
9 General and overarching topics; collections (00-XX)
9 History and biography (01-XX)
9 Convex and discrete geometry (52-XX)
9 Information and communication theory, circuits (94-XX)
8 Quantum theory (81-XX)
7 Operations research, mathematical programming (90-XX)
6 Group theory and generalizations (20-XX)
6 Biology and other natural sciences (92-XX)
4 Associative rings and algebras (16-XX)
3 Algebraic topology (55-XX)
3 Numerical analysis (65-XX)
3 Relativity and gravitational theory (83-XX)
3 Systems theory; control (93-XX)
2 Number theory (11-XX)
2 Commutative algebra (13-XX)
2 Real functions (26-XX)
2 Ordinary differential equations (34-XX)
2 Dynamical systems and ergodic theory (37-XX)
1 Algebraic geometry (14-XX)
1 Linear and multilinear algebra; matrix theory (15-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 Mechanics of particles and systems (70-XX)
1 Fluid mechanics (76-XX)
1 Optics, electromagnetic theory (78-XX)
1 Classical thermodynamics, heat transfer (80-XX)

Citations by Year