×

zbMATH — the first resource for mathematics

Journal of Applied Logic

Short Title: J. Appl. Log.
Publisher: Elsevier, Amsterdam
ISSN: 1570-8683
Online: http://www.sciencedirect.com/science/journal/15708683/
Documents Indexed: 413 Publications (since 2003)
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 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
2 Paulson, Lawrence Charles
...and 565 more Authors

Publications by Year

Citations contained in zbMATH Open

283 Publications have been cited 1,151 times in 1,008 Documents Cited by Year
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
24
2006
Lightweight relevance filtering for machine-generated resolution problems. Zbl 1183.68560
Meng, Jia; Paulson, Lawrence C.
22
2009
Group announcement logic. Zbl 1200.03015
Ågotnes, Thomas; Balbiani, Philippe; Van Ditmarsch, Hans; Seban, Pablo
20
2010
Mathematical modal logic: A view of its evolution. Zbl 1041.03015
Goldblatt, Robert
19
2003
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
Model checking propositional dynamic logic with all extras. Zbl 1095.68053
Lange, Martin
16
2006
Nonmonotonic abductive inductive learning. Zbl 1179.68125
Ray, Oliver
15
2009
Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\). Zbl 1149.03023
Odintsov, S. P.; Wansing, H.
14
2008
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
Termination of logic programs with imperfect information: applications and query procedure. Zbl 1122.68025
Damásio, C. V.; Medina, J.; Ojeda-Aciego, M.
13
2007
Extended-order algebras. Zbl 1157.03041
Guido, Cosimo; Toto, Paola
13
2008
Automata for the verification of monadic second-order graph properties. Zbl 1285.03049
Courcelle, Bruno; Durand, Irène
13
2012
Deontic epistemic stit logic distinguishing modes of mens rea. Zbl 1221.03017
Broersen, Jan
13
2011
A logic for deontic dilemmas. Zbl 1079.03009
Goble, Lou
12
2005
Intuitionistic hybrid logic. Zbl 1106.03011
Braüner, Torben; de Paiva, Valeria
12
2006
On negation: Pure local rules. Zbl 1063.03013
Marcos, João
12
2005
Framing human inference by coherence based probability logic. Zbl 1179.03025
Pfeifer, Niki; Kleiter, Gernot D.
12
2009
Combining linear-time temporal logic with constructiveness and paraconsistency. Zbl 1207.03022
Kamide, Norihiro; Wansing, Heinrich
11
2010
Cut-free common knowledge. Zbl 1144.03009
Jäger, Gerhard; Kretz, Mathis; Studer, Thomas
11
2007
TPS: A hybrid automatic-interactive system for developing proofs. Zbl 1107.68091
Andrews, Peter B.; Brown, Chad E.
11
2006
Paraconsistent logic from a modal viewpoint. Zbl 1063.03011
Béziau, Jean-Yves
11
2005
Tractable query answering and rewriting under description logic constraints. Zbl 1192.68218
Pérez-Urbina, Héctor; Motik, Boris; Horrocks, Ian
10
2010
Circle graphs and monadic second-order logic. Zbl 1149.03011
Courcelle, Bruno
10
2008
A logic for diffusion in social networks. Zbl 1311.03037
Christoff, Zoé; Hansen, Jens Ulrik
10
2015
Confirmation as partial entailment: a representation theorem in inductive logic. Zbl 1284.03157
Crupi, Vincenzo; Tentori, Katya
10
2013
Probabilistic argumentation systems. A new way to combine logic with probability. Zbl 1037.03018
Kohlas, Jürg
9
2003
Nonmonotonic conditionals that behave like conditional probabilities above a threshold. Zbl 1140.03009
Hawthorne, James
9
2007
Conditionals and consequences. Zbl 1138.03023
Kyburg, Henry E. jun.; Teng, Choh Man; Wheeler, Gregory
9
2007
MizarMode – an integrated proof assistance tool for the Mizar way of formalizing mathematics. Zbl 1107.68103
Urban, Josef
9
2006
The seven virtues of simple type theory. Zbl 1149.03012
Farmer, William M.
9
2008
The monadic second-order logic of graphs. XV: On a conjecture by D. Seese. Zbl 1099.03007
Courcelle, Bruno
9
2006
Computing finite models by reduction to function-free clause logic. Zbl 1171.68040
Baumgartner, Peter; Fuchs, Alexander; de Nivelle, Hans; Tinelli, Cesare
9
2009
A deontic logic framework allowing for factual detachment. Zbl 1229.03021
Straßer, Christian
9
2011
Inversive meadows and divisive meadows. Zbl 1251.68144
Bergstra, J. A.; Middelburg, C. A.
9
2011
Gödel spaces and perfect MV-algebras. Zbl 1380.06007
Di Nola, Antonio; Grigolia, Revaz
9
2015
Deontic action logic, atomic Boolean algebras and fault-tolerance. Zbl 1193.03060
Castro, Pablo F.; Maibaum, T. S. E.
9
2009
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
Action negation and alternative reductions for dynamic deontic logics. Zbl 1060.03045
Broersen, Jan
8
2004
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
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
Complete axiomatizations for XPath fragments. Zbl 1192.68223
ten Cate, Balder; Litak, Tadeusz; Marx, Maarten
7
2010
The axiomatization of override and update. Zbl 1194.03020
Berendsen, Jasper; Jansen, David N.; Schmaltz, Julien; Vaandrager, Frits W.
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
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.
7
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.
7
2007
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
An encompassing framework for paraconsistent logic programs. Zbl 1063.03015
Alcântara, João; Damásio, Carlos Viegas; Pereira, Luís Moniz
7
2005
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
Transitivity in coherence-based probability logic. Zbl 1436.03146
Gilio, Angelo; Pfeifer, Niki; Sanfilippo, Giuseppe
7
2016
Topological \(\operatorname{FL}_{\operatorname{ew}}\)-algebras. Zbl 1468.06013
Nganou, Jean B.; Tebu, Serge F. T.
7
2015
Propositional relevance through letter-sharing. Zbl 1203.03024
Makinson, David
7
2009
A theory of permission based on the notion of derogation. Zbl 1198.03035
Stolpe, Audun
6
2010
Rich deontic logic: A preliminary study. Zbl 1056.03010
Brown, Mark A.
6
2004
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
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
Epistemic protocols for dynamic gossip. Zbl 1401.68017
van Ditmarsch, Hans; van Eijck, Jan; Pardo, Pere; Ramezanian, Rahim; Schwarzentruber, François
6
2017
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
Ordered domain algebras. Zbl 1284.03275
Hirsch, Robin; Mikulás, Szabolcs
6
2013
On the complexity of bribery and manipulation in tournaments with uncertain information. Zbl 1422.91225
Mattei, Nicholas; Goldsmith, Judy; Klapper, Andrew; Mundhenk, Martin
6
2015
On the logical structure of de Finetti’s notion of event. Zbl 1352.03033
Flaminio, Tommaso; Godo, Lluis; Hosni, Hykel
6
2014
Relational semantics for full linear logic. Zbl 1335.03063
Coumans, Dion; Gehrke, Mai; van Rooijen, Lorijn
5
2014
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
Are there degrees of belief? Zbl 1047.03005
Kyburg, Henry E. jun.
5
2003
Probability and logic. Zbl 1037.03017
Howson, Colin
5
2003
System JLZ – rational default reasoning by minimal ranking constructions. Zbl 1076.68076
Weydert, Emil
5
2003
Representable posets. Zbl 1436.06004
Egrot, Rob
5
2016
Problems and results for logics about imperatives. Zbl 1056.03011
Hansen, Jörg
5
2004
Logic programs and connectionist networks. Zbl 1072.68090
Hitzler, Pascal; Hölldobler, Steffen; Seda, Anthony Karel
5
2004
A neural implementation of multi-adjoint logic programming. Zbl 1073.68025
Medina, J.; Mérida-Casermeiro, E.; Ojeda-Aciego, M.
5
2004
Similarity based approximate reasoning: Fuzzy control. Zbl 1148.68046
Raha, Swapan; Hossain, Abul; Ghosh, Sujata
5
2008
On modal \(\mu\)-calculus with explicit interpolants. Zbl 1106.03024
D’Agostino, G.; Lenzi, G.
5
2006
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
Cut elimination for a logic with induction and co-induction. Zbl 1278.03086
Tiu, Alwen; Momigliano, Alberto
5
2012
Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA. Zbl 1214.03011
Conradie, Willem; Goranko, Valentin; Vakarelov, Dimitar
5
2010
Combining classical logic, paraconsistency and relevance. Zbl 1067.03030
Avron, Arnon
5
2005
Division by zero in non-involutive meadows. Zbl 1401.68209
Bergstra, J. A.; Middelburg, C. A.
5
2015
Translating regular expression matching into transducers. Zbl 1238.68052
Sakuma, Yuto; Minamide, Yasuhiko; Voronkov, Andrei
5
2012
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
Can logic be combined with probability? Probably. Zbl 1171.03315
Howson, Colin
5
2009
Towards classifying propositional probabilistic logics. Zbl 1352.03032
De Bona, Glauber; Cozman, Fabio Gagliardi; Finger, Marcelo
5
2014
Approximate postdictive reasoning with answer set programming. Zbl 1457.68255
Eppe, Manfred; Bhatt, Mehul
4
2015
Measuring coherence using LP-models. Zbl 1076.03017
Oller, Carlos A.
4
2004
A formalisation of violation, error recovery, and enforcement in the bit transmission problem. Zbl 1076.68074
Lomuscio, Alessio; Sergot, Marek
4
2004
An example of formalizing recent mathematical results in MIZAR. Zbl 1107.68100
Naumowicz, Adam
4
2006
Combined reasoning by automated cooperation. Zbl 1162.68646
Benzmüller, Christoph; Sorge, Volker; Jamnik, Mateja; Kerber, Manfred
4
2008
Reasoning with prioritized information by iterative aggregation of distance functions. Zbl 1158.68499
Arieli, Ofer
4
2008
Algebraic model counting. Zbl 1436.68335
Kimmig, Angelika; Van den Broeck, Guy; De Raedt, Luc
4
2017
Models for a paraconsistent set theory. Zbl 1063.03040
Libert, Thierry
4
2005
On the structure of paraconsistent extensions of Johansson’s logic. Zbl 1063.03014
Odintsov, Sergei P.
4
2005
Epistemic protocols for dynamic gossip. Zbl 1401.68017
van Ditmarsch, Hans; van Eijck, Jan; Pardo, Pere; Ramezanian, Rahim; Schwarzentruber, François
6
2017
Algebraic model counting. Zbl 1436.68335
Kimmig, Angelika; Van den Broeck, Guy; De Raedt, Luc
4
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
2
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
On expressive power of basic modal intuitionistic logic as a fragment of classical FOL. Zbl 1436.03140
Olkhovikov, Grigory K.
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
What kind of independence do we need for multiple iterated belief change? Zbl 1436.03112
Kern-Isberner, Gabriele; Huvermann, Daniela
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
Iterated privation and positive predication. Zbl 1436.03172
Jespersen, Bjørn; Carrara, Massimiliano; Duží, Marie
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
Rewrite rules for \(\mathrm{CTL}^\ast\). Zbl 1436.03124
McCabe-Dansted, John C.; Reynolds, Mark
1
2017
Transitivity in coherence-based probability logic. Zbl 1436.03146
Gilio, Angelo; Pfeifer, Niki; Sanfilippo, Giuseppe
7
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.
4
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
On the applicability of the “number of possible states” argument in multi-expert reasoning. Zbl 1401.68318
Adamčík, Martin
2
2016
Transformation of fractions into simple fractions in divisive meadows. Zbl 1401.68210
Bergstra, J. A.; Middelburg, C. A.
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
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 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
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
Intuitionistic common knowledge or belief. Zbl 1436.03111
Jäger, Gerhard; Marti, Michel
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
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 logic for diffusion in social networks. Zbl 1311.03037
Christoff, Zoé; Hansen, Jens Ulrik
10
2015
Gödel spaces and perfect MV-algebras. Zbl 1380.06007
Di Nola, Antonio; Grigolia, Revaz
9
2015
Topological \(\operatorname{FL}_{\operatorname{ew}}\)-algebras. Zbl 1468.06013
Nganou, Jean B.; Tebu, Serge F. T.
7
2015
On the complexity of bribery and manipulation in tournaments with uncertain information. Zbl 1422.91225
Mattei, Nicholas; Goldsmith, Judy; Klapper, Andrew; Mundhenk, Martin
6
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
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
Abduction: a categorical characterization. Zbl 1323.03009
Tohmé, Fernando; Caterina, Gianluca; Gangle, Rocco
3
2015
A history based approximate epistemic action theory for efficient postdictive reasoning. Zbl 1457.68256
Eppe, Manfred; Bhatt, Mehul
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
The eco-cognitive model of abduction. \(`A\pi\alpha\gamma\omega\gamma\acute\eta\) now: naturalizing the logic of abduction. Zbl 1378.03006
Magnani, Lorenzo
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
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
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
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
Relativized common knowledge for dynamic epistemic logic. Zbl 1378.03015
Wáng, Yì N.; Ågotnes, Thomas
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
Using inductive reasoning for completing OCF-networks. Zbl 1409.68290
Eichhorn, Christian; Kern-Isberner, Gabriele
1
2015
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
Relational semantics for full linear logic. Zbl 1335.03063
Coumans, Dion; Gehrke, Mai; van Rooijen, Lorijn
5
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.
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 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
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
The categorical imperative: category theory as a foundation for deontic logic. Zbl 1395.03010
Peterson, Clayton
2
2014
The existence of superluminal particles is consistent with relativistic dynamics. Zbl 1301.83004
Madarász, Judit X.; Székely, Gergely
2
2014
Information, confirmation, and conditionals. Zbl 1352.03010
Milne, Peter
2
2014
Selectional restrictions, types and categories. Zbl 1335.03028
Asher, Nicholas
1
2014
Natural language semantics in biproduct dagger categories. Zbl 1335.03029
Preller, Anne
1
2014
Propositional dynamic logic for searching games with errors. Zbl 1395.03011
Teheux, Bruno
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
A propositional linear time logic with time flow isomorphic to \(\omega^2\). Zbl 1328.03017
Marinković, Bojan; Ognjanović, Zoran; Doder, Dragan; Perović, Aleksandar
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
10
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
Ordered domain algebras. Zbl 1284.03275
Hirsch, Robin; Mikulás, Szabolcs
6
2013
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
Two adaptive logics of norm-propositions. Zbl 1284.03194
Beirlaen, Mathieu; Straßer, Christian
4
2013
Ultralarge lotteries: analyzing the lottery paradox using non-standard analysis. Zbl 1284.03114
Wenmackers, Sylvia
4
2013
Future determination of entities in Talmudic public announcement logic. Zbl 1280.03017
Abraham, M.; Belfer, I.; Gabbay, D. M.; Schild, U.
3
2013
LEO-II and Satallax on the Sledgehammer test bench. Zbl 1262.68161
Sultana, Nik; Blanchette, Jasmin Christian; Paulson, Lawrence C.
3
2013
Preservation of Craig interpolation by the product of matrix logics. Zbl 1284.03214
Sernadas, C.; Rasga, J.; Sernadas, A.
3
2013
...and 183 more Documents
all top 5

Cited by 1,367 Authors

16 Bergstra, Jan A.
13 Courcelle, Bruno
13 Kamide, Norihiro
12 van Ditmarsch, Hans Pieter
11 Benzmüller, Christoph Ewald
10 Arieli, Ofer
10 Gilio, Angelo
10 Wansing, Heinrich Theodor
9 Dvurečenskij, Anatolij
9 Middelburg, Cornelis A.
9 Sanfilippo, Giuseppe
9 Urban, Josef
8 Blanchette, Jasmin Christian
8 Lomuscio, Alessio
8 Naumov, Pavel G.
8 Studer, Thomas
7 Ågotnes, Thomas
7 Avron, Arnon
7 Balbiani, Philippe
7 Gabbay, Dov M.
7 Godo, Lluís
7 Inoue, Katsumi
7 Paulson, Lawrence Charles
7 Rossi, Matteo A. C.
7 Strasser, Christian
7 Zamansky, Anna
6 Beirlaen, Mathieu
6 Bersani, Marcello Maria
6 Bollig, Benedikt
6 Brown, Chad Edward
6 Hansson, Sven Ove
6 Herzig, Andreas
6 Hosni, Hykel
6 Kaliszyk, Cezary
6 Montanari, Angelo
6 Pfeifer, Niki
6 Prade, Henri M.
6 Schneider, Thomas
5 Belle, Vaishak
5 Böhme, Sascha
5 Castro, Pablo F.
5 Dubois, Didier
5 Flaminio, Tommaso
5 Hasan, Osman
5 Hitzler, Pascal
5 Janičić, Predrag
5 Kutz, Oliver
5 Lange, Martin
5 Mundhenk, Martin
5 Ponse, Alban
5 Russo, Alessandra M.
5 Schockaert, Steven
5 Tahar, Sofiène
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
4 Bresolin, Davide
4 Broersen, Jan M.
4 Brünnler, Kai
4 Egrot, Rob
4 Eppe, Manfred
4 Fariñas del Cerro, Luis
4 Guido, Cosimo
4 He, Pengfei
4 Hodkinson, Ian Martin
4 Johansson, Moa
4 Kulicki, Piotr
4 Landes, Jürgen
4 Lin, Zuoquan
4 Medina, Jesús
4 Meier, Arne
4 Odintsov, Sergei P.
4 Olkhovikov, Grigory K.
4 Omori, Hitoshi
4 Palmigiano, Alessandra
4 Pietro, Pierluigi San
4 Potyka, Nico
4 Rönnedal, Daniel
4 Rotolo, Antonino
4 Sciavicco, Guido
4 Straccia, Umberto
4 Tao, Jia
4 Trypuz, Robert
4 van Benthem, Johan F. A. K.
4 Weber, Volker
4 Weber, Zach
3 Areces, Carlos
3 Baader, Franz
3 Başkent, Can
3 Batens, Diderik
3 Betz, Gregor
3 Bhatt, Mehul
3 Bickford, Mark
3 Broda, Krysia B.
...and 1,267 more Authors
all top 5

Cited in 134 Journals

74 Journal of Applied Logic
52 Artificial Intelligence
51 Studia Logica
41 Journal of Automated Reasoning
38 Synthese
35 International Journal of Approximate Reasoning
33 Journal of Philosophical Logic
32 Theoretical Computer Science
30 Annals of Mathematics and Artificial Intelligence
27 Journal of Logic, Language and Information
27 Journal of Applied Non-Classical Logics
20 Fuzzy Sets and Systems
19 The Review of Symbolic Logic
18 Annals of Pure and Applied Logic
15 Theory and Practice of Logic Programming
13 Algebra Universalis
13 Information Sciences
13 Logica Universalis
12 Soft Computing
11 Information and Computation
10 Machine Learning
9 Formal Aspects of Computing
9 Erkenntnis
9 Logic and Logical Philosophy
8 MSCS. Mathematical Structures in Computer Science
8 Theory of Computing Systems
8 Journal of Logical and Algebraic Methods in Programming
7 Discrete Applied Mathematics
7 Journal of Symbolic Computation
6 Acta Informatica
6 Formal Methods in System Design
6 Logical Methods in Computer Science
5 Information Processing Letters
5 Mathematical Logic Quarterly (MLQ)
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 International Journal of Algebra and Computation
2 Aequationes Mathematicae
2 International Journal of Computer Mathematics
2 Indagationes Mathematicae. New Series
2 Mathematical Problems in Engineering
2 Foundations of Science
2 Sādhanā
2 ACM Transactions on Computational Logic
2 Mathematics in Computer Science
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 Combinatorial Theory. Series B
1 Journal of Computational and Applied Mathematics
1 The Journal of Symbolic Logic
1 Kybernetika
1 Mathematics and Computers in Simulation
1 Mathematica Slovaca
1 Proceedings of the American Mathematical Society
1 Programming and Computer Software
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
1 Godishnik na Sofiĭskiya Universitet “Sv. Kliment Okhridski”. Fakultet po Matematika i Informatika
1 Communications in Statistics. Theory and Methods
1 European Journal of Operational Research
1 Bulletin of the American Mathematical Society. New Series
1 Expositiones Mathematicae
1 Archive for Mathematical Logic
1 Cybernetics and Systems Analysis
...and 34 more Journals
all top 5

Cited in 39 Fields

605 Mathematical logic and foundations (03-XX)
556 Computer science (68-XX)
68 Order, lattices, ordered algebraic structures (06-XX)
39 Combinatorics (05-XX)
39 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
24 Statistics (62-XX)
21 Probability theory and stochastic processes (60-XX)
15 General algebraic systems (08-XX)
15 Geometry (51-XX)
12 Category theory; homological algebra (18-XX)
9 History and biography (01-XX)
9 Convex and discrete geometry (52-XX)
8 General and overarching topics; collections (00-XX)
8 General topology (54-XX)
8 Quantum theory (81-XX)
8 Information and communication theory, circuits (94-XX)
7 Operations research, mathematical programming (90-XX)
6 Biology and other natural sciences (92-XX)
5 Group theory and generalizations (20-XX)
3 Associative rings and algebras (16-XX)
3 Algebraic topology (55-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)
2 Numerical analysis (65-XX)
2 Relativity and gravitational theory (83-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