×

zbMATH — the first resource for mathematics

Journal of Logic and Computation

Short Title: J. Log. Comput.
Publisher: Oxford University Press, Oxford
ISSN: 0955-792X; 1465-363X/e
Online: https://academic.oup.com/logcom/issue
Comments: Indexed cover-to-cover; Published electronic only as of Vol. 26 (2016). Print ISSN until then: 0955-792X.
Documents Indexed: 1,426 Publications (since 1990)
all top 5

Latest Issues

31, No. 5 (2021)
31, No. 3 (2021)
31, No. 2 (2021)
30, No. 8 (2020)
30, No. 7 (2020)
30, No. 6 (2020)
30, No. 4 (2020)
30, No. 2 (2020)
30, No. 1 (2020)
29, No. 8 (2019)
29, No. 7 (2019)
29, No. 6 (2019)
29, No. 5 (2019)
29, No. 4 (2019)
29, No. 3 (2019)
29, No. 2 (2019)
29, No. 1 (2019)
28, No. 8 (2018)
28, No. 7 (2018)
28, No. 6 (2018)
28, No. 5 (2018)
28, No. 4 (2018)
28, No. 3 (2018)
28, No. 2 (2018)
28, No. 1 (2018)
27, No. 8 (2017)
27, No. 7 (2017)
27, No. 6 (2017)
27, No. 5 (2017)
27, No. 4 (2017)
27, No. 3 (2017)
27, No. 2 (2017)
27, No. 1 (2017)
26, No. 6 (2016)
26, No. 5 (2016)
26, No. 4 (2016)
26, No. 3 (2016)
26, No. 2 (2016)
26, No. 1 (2016)
25, No. 6 (2015)
25, No. 5 (2015)
25, No. 4 (2015)
25, No. 3 (2015)
25, No. 2 (2015)
25, No. 1 (2015)
24, No. 6 (2014)
24, No. 5 (2014)
24, No. 4 (2014)
24, No. 3 (2014)
24, No. 2 (2014)
24, No. 1 (2014)
23, No. 6 (2013)
23, No. 5 (2013)
23, No. 4 (2013)
23, No. 3 (2013)
23, No. 2 (2013)
23, No. 1 (2013)
22, No. 6 (2012)
22, No. 5 (2012)
22, No. 4 (2012)
22, No. 3 (2012)
22, No. 2 (2012)
22, No. 1 (2012)
21, No. 6 (2011)
21, No. 5 (2011)
21, No. 4 (2011)
21, No. 3 (2011)
21, No. 2 (2011)
21, No. 1 (2011)
20, No. 6 (2010)
20, No. 5 (2010)
20, No. 4 (2010)
20, No. 3 (2010)
20, No. 2 (2010)
20, No. 1 (2010)
19, No. 6 (2009)
19, No. 5 (2009)
19, No. 4 (2009)
19, No. 3 (2009)
19, No. 2 (2009)
19, No. 1 (2009)
18, No. 6 (2008)
18, No. 5 (2008)
18, No. 4 (2008)
18, No. 2 (2008)
18, No. 1 (2008)
17, No. 6 (2007)
17, No. 5 (2007)
17, No. 4 (2007)
17, No. 3 (2007)
17, No. 2 (2007)
17, No. 1 (2007)
16, No. 6 (2006)
16, No. 5 (2006)
16, No. 4 (2006)
16, No. 3 (2006)
16, No. 2 (2006)
16, No. 1 (2006)
15, No. 6 (2005)
15, No. 5 (2005)
...and 86 more Volumes
all top 5

Authors

14 Pym, David J.
11 Gabbay, Dov M.
11 Godo, Lluís
11 Kamide, Norihiro
11 Sernadas, Cristina S.
10 Demri, Stéphane P.
10 Sernadas, Amilcar C.
9 Galmiche, Didier
9 Montagna, Franco
9 Palmigiano, Alessandra
9 Strasser, Christian
9 Turner, Raymond
9 van der Hoek, Wiebe
8 Alechina, Natasha
8 Balbiani, Philippe
8 Bezhanishvili, Nick
8 Schlechta, Karl
7 Avron, Arnon
7 Baaz, Matthias
7 Bench-Capon, Trevor J. M.
7 Coniglio, Marcelo Esteban
7 Esteva, Francesc
7 Fitting, Melvin Chris
7 Goré, Rajeev Prabhakar
7 Jeřábek, Emil
7 Löwe, Benedikt
7 Naumov, Pavel G.
7 Rasga, João
7 Reynolds, Mark Alexander
7 Woltran, Stefan
6 Aguzzoli, Stefano
6 Artemov, Sergei
6 Beckmann, Arnold
6 Bělohlávek, Radim
6 Ciabattoni, Agata
6 Diaconescu, Răzvan
6 Gabbay, Murdoch James
6 Grossi, Davide
6 Herzig, Andreas
6 Kamareddine, Fairouz D.
6 Meyer, John-Jules Charles
6 Rybakov, Vladimir Vladimirovich
6 van Benthem, Johan F. A. K.
6 Wolter, Frank
6 Wooldridge, Michael J.
5 Aucher, Guillaume
5 Barmpalias, George
5 Bodirsky, Manuel
5 Bolander, Thomas
5 Braüner, Torben
5 Carnielli, Walter Alexandre
5 Cenzer, Douglas
5 Collinson, Matthew
5 D’Agostino, Giovanna
5 Davis, Ernest E.
5 Gaĭnă, Daniel
5 Giunchiglia, Fausto
5 Goranko, Valentin F.
5 Hájek, Petr
5 Hansson, Sven Ove
5 Kaminsky, Michael
5 Kurz, Alexander
5 Lehmann, Daniel J.
5 Ognjanović, Zoran
5 Peltier, Nicolas
5 Policriti, Alberto
5 Rybakov, Mikhail Nikolaevich
5 Shkatov, Dmitry
5 Sorbi, Andrea
5 Soskov, Ivan N.
5 Soskova, Alexandra A.
5 Stewart, Iain A.
5 van Ditmarsch, Hans Pieter
5 van Eijck, Jan
5 Zakharyaschev, Michael Viktorovich
5 Zhao, Zhiguang
4 Ågotnes, Thomas
4 Areces, Carlos
4 Arieli, Ofer
4 Baader, Franz
4 Benferhat, Salem
4 Blackburn, Patrick
4 Bonelli, Eduardo
4 Bou, Félix
4 Busaniche, Manuela
4 Conradie, Willem J.
4 Cooper, Stuart Barry
4 Costantini, Stefania
4 de Rijke, Maarten
4 Dixon, Clare
4 Enqvist, Sebastian
4 Fariñas del Cerro, Luis
4 Fermüller, Christian G.
4 Fernández, Maribel
4 Fiadeiro, José Luiz
4 Finger, Marcelo
4 Flaminio, Tommaso
4 Frittella, Sabine
4 Giordano, Laura
4 Greco, Giuseppe
...and 1,663 more Authors

Publications by Year

Citations contained in zbMATH Open

986 Publications have been cited 6,014 times in 4,286 Documents Cited by Year
Logic programming with focusing proofs in linear logic. Zbl 0764.03020
Andreoli, Jean-Marc
131
1992
Merging information under constraints: A logical framework. Zbl 1020.68086
Konieczny, Sébastien; Pino Pérez, Ramón
83
2002
A modal logic for coalitional power in games. Zbl 1003.91006
Pauly, Marc
81
2002
Persuasion in practical argument using value-based argumentation frameworks. Zbl 1043.03026
Bench-Capon, Trevor J. M.
75
2003
Rewrite-based equational theorem proving with selection and simplification. Zbl 0814.68117
Bachmair, Leo; Ganzinger, Harald
70
1994
Abductive logic programming. Zbl 0778.68081
Kakas, A. C.; Kowalski, R. A.; Toni, F.
67
1992
Using the universal modality: Gains and questions. Zbl 0774.03003
Goranko, Valentin; Passy, Solomon
63
1992
Abstract interpretation frameworks. Zbl 0783.68073
Cousot, Patrick; Cousot, Radhia
61
1992
A logic programming language with lambda-abstraction, function variables, and simple unification. Zbl 0738.68016
Miller, Dale
57
1991
Complexity results for nonmonotonic logics. Zbl 0765.03012
Gottlob, Georg
54
1992
Hoops and fuzzy logic. Zbl 1039.03016
Esteva, Francesc; Godo, Lluís; Hájek, Petr; Montagna, Franco
50
2003
On the minimum many-valued modal logic over a finite residuated lattice. Zbl 1252.03040
Bou, Félix; Esteva, Francesc; Godo, Lluís; Rodríguez, Ricardo Oscar
46
2011
A modal logic for chopping intervals. Zbl 0744.03022
Venema, Yde
44
1991
Non-deterministic multiple-valued structures. Zbl 1070.03010
Avron, Arnon; Lev, Iddo
43
2005
The taming of the cut. Classical refutations with analytic cut. Zbl 0806.03037
D’Agostino, Marcello; Mondadori, Marco
36
1994
Admissible rules of modal logics. Zbl 1077.03011
Jeřábek, Emil
36
2005
Introducing justification into epistemic logic. Zbl 1088.03015
Artemov, Sergei; Nogina, Elena
35
2005
Reasoning about space: the modal way. Zbl 1054.03015
Aiello, Marco; van Benthem, Johan; Bezhanishvili, Guram
33
2003
Kleene’s logic, generalized. Zbl 0744.03025
Fitting, Melvin
31
1991
On the relationship between abduction and deduction. Zbl 0734.68085
Console, Luca; Theseider Dupré, Daniele; Torasso, Pietro
31
1991
An axiomatization of the temporal logic with until and since over the real numbers. Zbl 0744.03018
Gabbay, D. M.; Hodkinson, I. M.
30
1990
Possibilistic and standard probabilistic semantics of conditional knowledge bases. Zbl 0945.68166
Benferhat, Salem; Dubois, Didier; Prade, Henri
29
1999
Agents that reason and negotiate by arguing. Zbl 0904.68061
Parsons, Simon; Sierra, Carles; Jennings, Nick
29
1998
Actions and events in interval temporal logic. Zbl 0815.68100
Allen, James F.; Ferguson, George
28
1994
The trilattice of constructive truth values. Zbl 0996.03014
Shramko, Yaroslav; Dunn, J. Michael; Takenaka, Tatsutoshi
28
2001
On weakly cancellative fuzzy logics. Zbl 1113.03021
Montagna, Franco; Noguera, Carles; Horčík, Rostislav
27
2006
Constraint satisfaction with countable homogeneous templates. Zbl 1113.03026
Bodirsky, Manuel; Nešetřil, Jaroslav
27
2006
Robust semantics for argumentation frameworks. Zbl 0933.68088
Jakobovits, Hadassa; Vermeir, Dirk
27
1999
Algebraic semantics for paraconsistent Nelson’s logic. Zbl 1034.03029
Odintsov, Sergei P.
27
2003
Fuzzy logics with noncommutative conjunctions. Zbl 1036.03018
Hájek, Petr
27
2003
Similarity relations in concept lattices. Zbl 0972.06008
Bělohlávek, Radim
26
2000
Internalizing labelled deduction. Zbl 0953.03018
Blackburn, Patrick
25
2000
Comparing LTL semantics for runtime verification. Zbl 1213.68363
Bauer, Andreas; Leucker, Martin; Schallhart, Christian
25
2010
Operators and laws for combining preference relations. Zbl 1008.91027
Andréka, Hajnal; Ryan, Mark; Schobbens, Pierre-Yves
25
2002
Compositionality through an operational semantics of contexts. Zbl 0738.68056
Larsen, Kim G.; Liu, Xinxin
24
1991
A description logic with transitive and inverse roles and role hierarchies. Zbl 0940.03039
Horrocks, Ian; Sattler, Ulrike
24
1999
A decision procedure and complete axiomatization of finite interval temporal logic with projection. Zbl 1050.03012
Bowman, Howard; Thompson, Simon
24
2003
Argumentation semantics for defeasible logic. Zbl 1067.03038
Governatori, Guido; Maher, Michael J.; Antoniou, Grigoris; Billington, David
24
2004
Semantics-based translation methods for modal logics. Zbl 0746.03010
Ohlbach, H. J.
23
1991
Unification through projectivity. Zbl 0894.08004
Ghilardi, Silvio
23
1997
The dynamic logic of permission. Zbl 0855.03008
van der Meyden, Ron
23
1996
Injective models and disjunctive relations. Zbl 0788.03032
Freund, Michael
23
1993
State constraints revisited. Zbl 0815.68096
Lin, Fangzen; Reiter, Ray
23
1994
Hypersequent calculi for Gödel logics – a survey. Zbl 1051.03046
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
23
2003
Termination for hybrid tableaus. Zbl 1140.03005
Bolander, Thomas; Blackburn, Patrick
22
2007
Semi-stable semantics. Zbl 1267.68223
Caminada, Martin W. A.; Carnielli, Walter A.; Dunne, Paul E.
22
2012
An \(O(n\;\log\;n)\)-space decision procedure for intuitionistic propositional logic. Zbl 0788.03010
Hudelmaier, Jörg
21
1993
Hyperresolution and automated model building. Zbl 0861.68086
Fermüller, Christian; Leitsch, Alexander
20
1996
Constructive logic with strong negation as a substructural logic. Zbl 1205.03040
Busaniche, Manuela; Cignoli, Roberto
20
2010
Decision procedures for BDI logics. Zbl 0904.68158
Rao, Anand S.; Georgeff, Michael P.
20
1998
On decision problems related to the preferred semantics for argumentation frameworks. Zbl 1032.03518
Cayrol, Claudette; Doutre, Sylvie; Mengin, Jerome
20
2003
Reasoning about rational, but not logically omniscient, agents. Zbl 0884.03026
Ho Ngoc Duc
19
1997
Coherence and flexibility in dialogue games for argumentation. Zbl 1092.03014
Prakken, Henry
19
2005
Nominal (universal) algebra: equational logic with names and binding. Zbl 1191.08003
Gabbay, Murdoch J.; Mathijssen, Aad
19
2009
PSpace reasoning for graded modal logics. Zbl 0992.03028
Tobies, Stephan
19
2001
Exemplaric expressivity of modal logics. Zbl 1234.03009
Jacobs, Bart; Sokolova, Ana
19
2010
Logic programming with strong negation and inexact predicates. Zbl 0738.68018
Wagner, Gerd
18
1991
Differential-algebraic dynamic logic for differential-algebraic programs. Zbl 1191.03024
Platzer, André
18
2010
Admissible rules of Łukasiewicz logic. Zbl 1216.03042
Jerábek, Emil
18
2010
Properties and complexity of some formal inter-agent dialogues. Zbl 1038.03037
Parsons, Simon; Wooldridge, Michael; Amgoud, Leila
18
2003
Sequent calculi for normal modal propositional logics. Zbl 0799.03014
Wansing, Heinrich
17
1994
Logics preserving degrees of truth from varieties of residuated lattices. Zbl 1197.03023
Bou, Félix; Esteva, Francesc; Font, Josep Maria; Gil, Àngel J.; Godo, Lluís; Torrens, Antoni; Verdú, Ventura
17
2009
Optimizing description logic subsumption. Zbl 0940.03038
Horrocks, Ian; Patel-Schneider, Peter F.
17
1999
Falsification, natural deduction and bi-intuitionistic logic. Zbl 1444.03009
Wansing, Heinrich
17
2016
Sequent calculi for induction and infinite descent. Zbl 1242.03084
Brotherston, James; Simpson, Alex
17
2011
Some syntactical observations on linear logic. Zbl 0745.03025
Schellinx, Harold
16
1991
Beyond rational monotony: Some strong non-Horn rules for nonmonotonic inference relations. Zbl 0937.03036
Bezzazi, Hassan; Makinson, David; Pino Pérez, Ramón
16
1997
Systems for knowledge and belief. Zbl 0790.03024
van der Hoek, Wiebe
16
1993
On the correspondence between modal and classical logic: An automated approach. Zbl 0802.03009
Szalas, Andrzej
16
1993
On product logic with truth-constants. Zbl 1102.03030
Savický, Petr; Cignoli, Roberto; Esteva, Francesc; Godo, Lluís; Noguera, Carles
16
2006
Epistemic actions as resources. Zbl 1183.03010
Baltag, Alexandru; Coecke, Bob; Sadrzadeh, Mehrnoosh
16
2007
Introduction to cirquent calculus and abstract resource semantics. Zbl 1113.03023
Japaridze, Giorgi
16
2006
Tableaux for logics of subinterval structures over dense orderings. Zbl 1188.03009
Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sala, Pietro
16
2010
Defeasible dialectics: A controversy-oriented approach towards defeasible argumentation. Zbl 0789.03026
Vreeswijk, Gerard
15
1993
Interpolation properties, Beth definability properties and amalgamation properties for substructural logics. Zbl 1207.03030
Kihara, Hitoshi; Ono, Hiroakira
15
2010
Embedding alternating-time temporal logic in strategic STIT logic of agency. Zbl 1120.03014
Broersen, Jan; Herzig, Andreas; Troquard, Nicolas
15
2006
Some probability logics with new types of probability operators. Zbl 0941.03022
Ognjanović, Zoran; Rašković, Miodrag
15
1999
Propositions as [types]. Zbl 1050.03016
Awodey, Steven; Bauer, Andrej
15
2004
Propositional information systems. Zbl 0941.03030
Kohlas, Jürg; Haenni, Rolf; Moral, Serafìn
14
1999
A linearization of the lambda-calculus and consequences. Zbl 0953.03014
Kfoury, Assaf J.
14
2000
Algorithmic randomness of closed sets. Zbl 1155.03031
Barmpalias, George; Brodhead, Paul; Cenzer, Douglas; Dashti, Seyyed; Weber, Rebecca
14
2007
Tableau-based decision procedures for hybrid logic. Zbl 1122.03006
Bolander, Thomas; Braüner, Torben
14
2006
Linear temporal logic LTL: basis for admissible rules. Zbl 1233.03026
Babenyshev, Sergey; Rybakov, Vladimir
14
2011
Tableaux for public announcement logic. Zbl 1189.03019
Balbiani, Philippe; van Ditmarsch, Hans; Herzig, Andreas; de Lima, Tiago
14
2010
Coercive subtyping. Zbl 0920.03062
Luo, Zhaohui
14
1999
Fibring of logics as a categorial construction. Zbl 0942.03064
Sernadas, Amílcar; Sernadas, Cristina; Caleiro, Carlos
14
1999
DefLog: On the logical interpretation of prima facie justified assumptions. Zbl 1032.03507
Verheij, Bart
14
2003
Natural deduction for hybrid logic. Zbl 1060.03036
Braüner, Torben
14
2004
Spectra of high\(_n\) and non-low\(_n\) degrees. Zbl 1260.03068
Frolov, Andrey; Kalimullin, Iskander; Harizanov, Valentina; Kudinov, Oleg; Miller, Russell
14
2012
On instance-level update and erasure in description logic ontologies. Zbl 1181.68274
de Giacomo, Giuseppe; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo
14
2009
Cirquent calculus deepened. Zbl 1170.03028
Japaridze, Giorgi
13
2008
On the expressive power of three-valued and four-valued languages. Zbl 0941.03012
Avron, Arnon
13
1999
The dynamics of syntactic knowledge. Zbl 1118.03008
Ågotnes, Thomas; Alechina, Natasha
13
2007
Generalized quantifiers and logical reducibilities. Zbl 0815.03021
Dawar, Anuj
13
1995
Bases of admissible rules of Łukasiewicz logic. Zbl 1216.03043
Jeřábek, Emil
13
2010
On the decidability of continuous time specification formalisms. Zbl 0913.03018
Rabinovich, Alexander
13
1998
Computing argumentation in logic programming. Zbl 0935.68008
Kakas, Antonios C.; Toni, Francesca
13
1999
Elementary diagrams in institutions. Zbl 1104.03036
Diaconescu, Răzvan
13
2004
Deduction systems for coalgebras over measurable spaces. Zbl 1220.03054
Goldblatt, Robert
13
2010
The collapse of the bounded width hierarchy. Zbl 1353.68107
Barto, Libor
13
2016
The language of epistemic specifications (refined) including a prototype solver. Zbl 07228391
Kahl, Patrick; Watson, Richard; Balai, Evgenii; Gelfond, Michael; Zhang, Yuanlin
4
2020
Optimum stable model search: algorithms and implementation. Zbl 07228388
Alviano, Mario; Dodaro, Carmine; Marques-Silva, Joao; Ricca, Francesco
3
2020
Multiple conclusion linear logic: cut elimination and more. Zbl 07194695
Eades, Harley III; de Paiva, Valeria
1
2020
Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities. Zbl 07194699
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
1
2020
Embeddings of Bishop spaces. Zbl 07194704
Petrakis, Iosif
1
2020
Power Kripke-Platek set theory and the axiom of choice. Zbl 07194708
Rathjen, Michael
1
2020
The unreasonable effectiveness of nonstandard analysis. Zbl 07194709
Sanders, Sam
1
2020
Open sets in computability theory and reverse mathematics. Zbl 07285902
Normann, Dag; Sanders, Sam
1
2020
Logics based on linear orders of contaminating values. Zbl 1450.03004
Ciuni, Roberto; Macaulay Ferguson, Thomas; Szmuc, Damian
5
2019
Coalition logic with individual, distributed and common knowledge. Zbl 1444.03021
Ågotnes, Thomas; Alechina, Natasha
2
2019
An analysis of the Podelski-Rybalchenko termination theorem via bar recursion. Zbl 1444.03140
Berardi, Stefano; Oliva, Paulo; Steila, Silvia
2
2019
Discrete duality for lattices with modal operators. Zbl 1444.03174
Hartonas, Chrysafis
2
2019
Normative reasoning by sequent-based argumentation. Zbl 1444.03075
Straßer, Christian; Arieli, Ofer
2
2019
Taking the path computably traveled. Zbl 1444.03139
Franklin, Johanna N. Y.; Turetsky, Dan
1
2019
From Tarski to Gödel – or how to derive the second incompleteness theorem from the undefinability of truth without self-reference. Zbl 1444.03167
Visser, Albert
1
2019
MTL-algebras as rotations of basic hoops. Zbl 07161968
Aglianò, Paolo; Ugolini, Sara
1
2019
The fixed point property and a technique to harness double fixed point combinators. Zbl 1444.03019
Manzonetto, Giulio; Polonsky, Andrew; Saurin, Alexis; Simonsen, Jakob Grue
1
2019
Reasoning about opinion dynamics in social networks. Zbl 1444.03096
Hansen, Jens Ulrik
1
2019
Topological facets of the logic of subset spaces (with emphasis on canonical models). Zbl 1444.03058
Heinemann, Bernhard
1
2019
The power of modal separation logics. Zbl 1444.03113
Demri, Stéphane; Fervari, Raul
1
2019
A proof-theoretic study of abstract termination principles. Zbl 07168184
Powell, Thomas
1
2019
Maximality in finite-valued Łukasiewicz logics defined by order filters. Zbl 07031588
Coniglio, Marcelo E.; Esteva, Francesc; Gispert, Joan; Godo, Lluis
1
2019
Structured argumentation with prioritized conditional obligations and permissions. Zbl 1444.03026
Beirlaen, Mathieu; Heyninck, Jesse; Straßer, Christian
1
2019
Prioritized norms in formal argumentation. Zbl 1444.03067
Liao, Beishui; Oren, Nir; van der Torre, Leendert; Villata, Serena
1
2019
Unified correspondence as a proof-theoretic tool. Zbl 1444.03055
Greco, Giuseppe; Ma, Minghui; Palmigiano, Alessandra; Tzimoulis, Apostolos; Zhao, Zhiguang
8
2018
The universal homogeneous binary tree. Zbl 1444.03124
Bodirsky, Manuel; Bradley-Williams, David; Pinsker, Michael; Pongrácz, András
4
2018
A modal separation logic for resource dynamics. Zbl 1444.03049
Courtault, Jean-René; Galmiche, Didier
4
2018
Reasoning with maximal consistency by argumentative approaches. Zbl 1444.68175
Arieli, Ofer; Borg, AnneMarie; Straßer, Christian
4
2018
Modal logics of sabotage revisited. Zbl 1444.03041
Aucher, Guillaume; van Benthem, Johan; Grossi, Davide
3
2018
Formulating semantics of probabilistic argumentation by characterizing subgraphs: theory and empirical results. Zbl 1444.68184
Liao, Beishui; Xu, Kang; Huang, Huaxin
3
2018
On the ‘transitivity’ of consequence relations. Zbl 1444.03010
Ripley, David
2
2018
Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond. Zbl 1410.68348
Strass, Hannes
2
2018
Iteration-free \(\mathrm{PDL}\) with storing, recovering and parallel composition: a complete axiomatization. Zbl 1444.03109
Balbiani, Philippe; Boudou, Joseph
2
2018
Intuitionistic modal logic: a 15-year retrospective. Zbl 1454.03011
Stewart, Charles; de Paiva, Valeria; Alechina, Natasha
2
2018
Infinitary logic and basically disconnected compact Hausdorff spaces. Zbl 1444.03088
Di Nola, Antonio; Lapenta, Serafina; Leuştean, Ioana
2
2018
Terminating sequent calculi for two intuitionistic modal logics. Zbl 1444.03060
Iemhoff, Rosalie
2
2018
Not only size, but also shape counts: abstract argumentation solvers are benchmark-sensitive. Zbl 1444.68168
Bistarelli, Stefano; Rossi, Fabio; Santini, Francesco
1
2018
On the computational complexity of detecting possibilistic locality. Zbl 1444.81007
Simmons, Andrew W.
1
2018
Symbolic possibilistic logic: completeness and inference methods. Zbl 1444.03095
Cayrol, Claudette; Dubois, Didier; Touazi, Fayçal
1
2018
Learning to act: qualitative learning of deterministic action models. Zbl 1444.68177
Bolander, Thomas; Gierasimczuk, Nina
1
2018
Symbolic model checking for dynamic epistemic logic – S5 and beyond. Zbl 1410.68242
van Benthem, Johan; van Eijck, Jan; Gattinger, Malvin; Su, Kaile
1
2018
The equivalence zoo for Dung-style semantics. Zbl 1412.68271
Baumann, Ringo; Brewka, Gerhard
1
2018
Alternating-time temporal logic with resource bounds. Zbl 1444.03037
Nguyen, Hoang Nga; Alechina, Natasha; Logan, Brian; Rakib, Abdur
1
2018
Many-valued hybrid logic. Zbl 1444.03056
Hansen, Jens Ulrik; Bolander, Thomas; Braüner, Torben
1
2018
Justification logic and audited computation. Zbl 1444.03025
Bavera, Francisco; Bonelli, Eduardo
1
2018
On an intuitionistic logic for pragmatics. Zbl 1444.03005
Bellin, Gianluigi; Carrara, Massimiliano; Chiffi, Daniele
1
2018
Tree-sequent calculi and decision procedures for intuitionistic modal logics. Zbl 1444.03053
Galmiche, Didier; Salhi, Yakoub
1
2018
Accelerating LTL satisfiability checking by SAT solvers. Zbl 1410.68235
Li, Jianwen; Pu, Geguang; Zhang, Lijun; Vardi, Moshe Y.; He, Jifeng
1
2018
From probabilities to categorical beliefs: going beyond toy models. Zbl 1444.03027
Douven, Igor; Rott, Hans
1
2018
Hyper natural deduction for Gödel logic – a natural deduction system for parallel reasoning. Zbl 1444.03094
Beckmann, Arnold; Preining, Norbert
1
2018
Computing the maximal Boolean complexity of families of Aristotelian diagrams. Zbl 1444.03112
Demey, Lorenz
1
2018
From the subformula property to cut-admissibility in propositional sequent calculi. Zbl 1444.03162
Lahav, Ori; Zohar, Yoni
1
2018
Judgment aggregation in dynamic logic of propositional assignments. Zbl 1444.03119
Novaro, Arianna; Grandi, Umberto; Herzig, Andreas
1
2018
Navigability with intermediate constraints. Zbl 1412.68281
Deuser, Kaya; Naumov, Pavel
1
2018
Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models. Zbl 1444.03036
Velázquez-Quesada, Fernando R.
1
2018
Four-valued modal logic: Kripke semantics and duality. Zbl 1444.03073
Rivieccio, Umberto; Jung, Achim; Jansana, Ramon
11
2017
On modal extensions of product fuzzy logic. Zbl 1390.03025
Vidal, Amanda; Esteva, Francesc; Godo, Lluis
11
2017
Sahlqvist theory for impossible worlds. Zbl 1444.03070
Palmigiano, Alessandra; Sourabh, Sumit; Zhao, Zhiguang
10
2017
Embedding from multilattice logic into classical logic and vice versa. Zbl 1444.03090
Kamide, Norihiro; Shramko, Yaroslav
9
2017
Characterizing logical consequence in many-valued logic. Zbl 1386.03021
Chemla, Emmanuel; Égré, Paul; Spector, Benjamin
8
2017
Jónsson-style canonicity for ALBA-inequalities. Zbl 1444.03071
Palmigiano, Alessandra; Sourabh, Sumit; Zhao, Zhiguang
8
2017
Canonicity results for mu-calculi: an algorithmic approach. Zbl 1444.03047
Conradie, Willem; Craig, Andrew
6
2017
On Sahlqvist theory for hybrid logics. Zbl 1444.03048
Conradie, Willem; Robinson, Claudette
6
2017
A bimodal perspective on possibility semantics. Zbl 1444.03077
van Benthem, Johan; Bezhanishvili, Nick; Holliday, Wesley H.
5
2017
How to identify, translate and combine logics? Zbl 1444.03121
Rabe, Florian
5
2017
Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops. Zbl 1404.06011
Aguzzoli, Stefano; Flaminio, Tommaso; Ugolini, Sara
5
2017
Layered graph logic as an assertion language for access control policy models. Zbl 1361.68223
Collinson, Matthew; McDonald, Kevin; Pym, David
5
2017
Dual characterizations for finite lattices via correspondence theory for monotone modal logic. Zbl 1444.03173
Frittella, Sabine; Palmigiano, Alessandra; Santocanale, Luigi
5
2017
Modal independence logic. Zbl 1444.03064
Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning; Vollmer, Heribert
4
2017
The power of primitive positive definitions with polynomially many variables. Zbl 1387.08001
Lagerkvist, Victor; Wahlström, Magnus
4
2017
Comparing the expressiveness of argumentation semantics. Zbl 1380.68345
Dvořák, Wolfgang; Spanring, Christof
4
2017
Implicit Kripke semantics and ultraproducts in stratified institutions. Zbl 1444.03185
Diaconescu, Răzvan
4
2017
Combinatorics of \(\lambda\)-terms: a natural approach. Zbl 1444.03017
Bendkowski, Maciej; Grygiel, Katarzyna; Lescanne, Pierre; Zaionc, Marek
4
2017
Rees coextensions of finite, negative tomonoids. Zbl 1444.06008
Petrík, Milan; Vetterlein, Thomas
4
2017
Unified correspondence and proof theory for strict implication. Zbl 1444.03082
Ma, Minghui; Zhao, Zhiguang
4
2017
Algebras of information states. Zbl 1444.03072
Punčochář, Vít
3
2017
Polynomial ring calculus for modalities. Zbl 1444.03038
Agudelo-Agudelo, Juan C.; Carnielli, Walter
3
2017
On ensconcement and contraction. Zbl 1444.03028
Fermé, Eduardo; Garapa, Marco; Reis, Maurício D. L.
3
2017
On the characterization of fibred logics, with applications to conservativity and finite-valuedness. Zbl 1444.03106
Marcelino, Sérgio; Caleiro, Carlos
3
2017
On the likelihood of normalization in combinatory logic. Zbl 1454.03022
Bendkowski, Maciej; Grygiel, Katarzyna; Zaionc, Marek
3
2017
Reliability-based preference dynamics: lexicographic upgrade. Zbl 1402.68179
Velázquez-Quesada, Fernando R.
3
2017
More for free: a dynamic epistemic framework for conformant planning over transition systems. Zbl 1402.68168
Li, Yanjun; Yu, Quan; Wang, Yanjing
3
2017
Unifying logics via context-sensitiveness. Zbl 1444.03099
Piazza, Mario; Pulcini, Gabriele
3
2017
Reducing redundancy in cut-elimination by resolution. Zbl 1444.03163
Woltzenlogel Paleo, Bruno
3
2017
Limit-agreeing to disagree. Zbl 1444.03024
Bach, Christian W.; Cabessa, Jérémie
2
2017
A minimalistic many-valued theory of types. Zbl 1396.03014
Běhounek, Libor
2
2017
Gödel-Rosser’s incompleteness theorem, generalized and optimized for definable theories. Zbl 1444.03166
Salehi, Saeed; Seraji, Payam
2
2017
Undecidability of the transitive graded modal logic with converse. Zbl 1444.03079
Zolin, Evgeny
2
2017
Paraconsistency in hybrid logic. Zbl 1396.03065
Costa, Diana; Martins, Manuel A.
2
2017
Iterated reflection over full disquotational truth. Zbl 1444.03003
Fischer, Martin; Nicolai, Carlo; Horsten, Leon
2
2017
Min-based possibilistic DL-Lite. Zbl 1409.68275
Benferhat, Salem; Bouraoui, Zied
2
2017
BDI: a new decidable clause class. Zbl 1444.03015
Lamotte-Schubert, Manuel; Weidenbach, Christoph
2
2017
Theorem proving for classical logic with partial functions by reduction to Kleene logic. Zbl 1444.03014
de Nivelle, Hans
2
2017
A van Benthem/Rosen theorem for coalgebraic predicate logic. Zbl 1388.03069
Schröder, Lutz; Pattinson, Dirk; Litak, Tadeusz
2
2017
AGM contraction is not reconstructible as a descriptor operation. Zbl 1444.03031
Hansson, Sven Ove
1
2017
Suppes-style sequent calculus for probability logic. Zbl 1444.03085
Boričić, Marija
1
2017
A logic of sights. Zbl 1444.03111
Dégremont, Cédric; Paul, Soumya; Asher, Nicholas
1
2017
Downward Löwenheim-Skolem theorem and interpolation in logics with constructors. Zbl 1444.03187
Găină, Daniel
1
2017
SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems. Zbl 1380.68283
Pilecki, Jerzy; Bednarczyk, Marek A.; Jamroga, Wojciech
1
2017
On directed simulations in description logics. Zbl 1380.68344
Divroodi, Ali Rezaei; Nguyen, Linh Anh
1
2017
...and 886 more Documents
all top 5

Cited by 4,094 Authors

40 Gabbay, Dov M.
32 Godo, Lluís
28 Montanari, Angelo
28 Wansing, Heinrich Theodor
26 Avron, Arnon
25 Arieli, Ofer
23 Kamide, Norihiro
23 Rybakov, Vladimir Vladimirovich
22 Eiter, Thomas
22 Montagna, Franco
21 van Ditmarsch, Hans Pieter
20 Woltran, Stefan
19 Balbiani, Philippe
19 Bezhanishvili, Guram
19 Iemhoff, Rosalie
19 Reynolds, Mark Alexander
19 Zamansky, Anna
18 Bodirsky, Manuel
18 Goranko, Valentin F.
18 Metcalfe, George
18 Sciavicco, Guido
17 Bělohlávek, Radim
17 Esteva, Francesc
17 Flaminio, Tommaso
17 Ognjanović, Zoran
17 Pym, David J.
17 Simari, Guillermo Ricardo
17 van Benthem, Johan F. A. K.
16 Amgoud, Leila
16 Ciabattoni, Agata
16 Diaconescu, Răzvan
16 Peltier, Nicolas
16 Sernadas, Cristina S.
15 Cintula, Petr
15 Dixon, Clare
15 Herzig, Andreas
15 Noguera, Carles
15 Odintsov, Sergei P.
15 Palmigiano, Alessandra
15 Paoli, Francesco
15 Wooldridge, Michael J.
14 Conradie, Willem J.
14 Japaridze, Giorgi
14 Olarte, Carlos
14 Rasga, João
14 Rivieccio, Umberto
14 Sala, Pietro
14 van der Torre, Leendert W. N.
14 Vetterlein, Thomas
13 Demri, Stéphane P.
13 Dunne, Paul E.
13 Gabbay, Murdoch James
13 Galmiche, Didier
13 Hustadt, Ullrich
13 Lorini, Emiliano
13 Miller, Dale Allen
13 Schmidt, Renate A.
13 van der Hoek, Wiebe
12 Baroni, Pietro
12 Bianchi, Matteo
12 Giacomin, Massimiliano
12 Hunter, Anthony
12 Marchioni, Enrico
12 Pimentel, Elaine
12 Velázquez-Quesada, Fernando Raymundo
12 Wolter, Frank
11 Baader, Franz
11 Bezhanishvili, Nick
11 Bresolin, Davide
11 De Giacomo, Giuseppe
11 Dyckhoff, Roy
11 Fitting, Melvin Chris
11 Gottlob, Georg
11 Marquis, Pierre
11 Olivetti, Nicola
11 Pacuit, Eric
11 Rott, Hans
11 Schröder, Lutz
11 Selivanov, Viktor L’vovich
11 Thielscher, Michael
11 Toni, Francesca
11 Venema, Yde
11 Visser, Albert
11 Zakharyaschev, Michael Viktorovich
10 Ågotnes, Thomas
10 Aguzzoli, Stefano
10 Endriss, Ulle
10 Fernández, Maribel
10 Hansson, Sven Ove
10 Jeřábek, Emil
10 Kamareddine, Fairouz D.
10 Komendantskaya, Ekaterina
10 Konieczny, Sébastien
10 Ledda, Antonio
10 Leone, Nicola
10 Lutz, Carsten
10 Negri, Sara
10 Nguyen, Linh Anh
10 Nigam, Vivek
10 Peron, Adriano
...and 3,994 more Authors
all top 5

Cited in 213 Journals

308 Theoretical Computer Science
282 Artificial Intelligence
207 Studia Logica
160 Annals of Pure and Applied Logic
153 Journal of Applied Non-Classical Logics
135 Information and Computation
112 International Journal of Approximate Reasoning
112 Journal of Applied Logic
107 Annals of Mathematics and Artificial Intelligence
102 Fuzzy Sets and Systems
98 Journal of Automated Reasoning
97 Journal of Philosophical Logic
85 Journal of Logic, Language and Information
82 The Journal of Symbolic Logic
81 Synthese
73 MSCS. Mathematical Structures in Computer Science
72 The Review of Symbolic Logic
67 Archive for Mathematical Logic
56 Theory and Practice of Logic Programming
52 Logical Methods in Computer Science
48 Soft Computing
40 Journal of Computer and System Sciences
37 Formal Aspects of Computing
37 Logica Universalis
36 Information Sciences
36 Notre Dame Journal of Formal Logic
34 Journal of Logical and Algebraic Methods in Programming
29 Algebra Universalis
29 Journal of Symbolic Computation
28 The Bulletin of Symbolic Logic
27 Information Processing Letters
27 ACM Transactions on Computational Logic
25 Mathematical Logic Quarterly (MLQ)
23 Formal Methods in System Design
21 The Journal of Logic and Algebraic Programming
20 Theory of Computing Systems
19 Acta Informatica
18 Logic and Logical Philosophy
14 Algebra and Logic
12 Social Choice and Welfare
12 Journal of Functional Programming
11 Higher-Order and Symbolic Computation
11 Erkenntnis
10 SIAM Journal on Computing
9 Journal of Pure and Applied Algebra
9 New Generation Computing
9 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
9 Topoi
8 Siberian Mathematical Journal
8 European Journal of Combinatorics
8 Order
8 International Journal of Foundations of Computer Science
7 International Journal of Theoretical Physics
7 Transactions of the American Mathematical Society
6 Discrete Applied Mathematics
6 International Journal of General Systems
6 Proceedings of the American Mathematical Society
6 Theory and Decision
6 International Journal of Intelligent Systems
6 Machine Learning
6 Applied Categorical Structures
6 Journal of Mathematical Sciences (New York)
6 Fundamenta Informaticae
6 Lobachevskii Journal of Mathematics
6 Computer Languages, Systems & Structures
6 Frontiers of Computer Science
5 Journal of Economic Theory
5 Mathematical Social Sciences
5 Algorithmica
5 Indagationes Mathematicae. New Series
5 RAIRO. Theoretical Informatics and Applications
5 Journal of Mathematical Logic
5 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
5 Sibirskie Èlektronnye Matematicheskie Izvestiya
4 Bulletin of the Section of Logic
4 Science of Computer Programming
4 AI Communications
4 Games and Economic Behavior
4 Godishnik na Sofiĭskiya Universitet “Sv. Kliment Okhridski”. Fakultet po Matematika i Informatika
4 International Journal of Computer Mathematics
4 The Journal of Artificial Intelligence Research (JAIR)
4 Constraints
4 LMS Journal of Computation and Mathematics
4 Journal of Multiple-Valued Logic and Soft Computing
3 Discrete Mathematics
3 Israel Journal of Mathematics
3 Lithuanian Mathematical Journal
3 Mathematical Notes
3 The Mathematical Intelligencer
3 Applied Mathematics and Computation
3 Journal of Algebra
3 Kybernetika
3 Programming and Computer Software
3 History and Philosophy of Logic
3 Journal of Complexity
3 Journal of Computer Science and Technology
3 Annals of Operations Research
3 European Journal of Operational Research
3 Computational Complexity
3 Theory and Applications of Categories
...and 113 more Journals
all top 5

Cited in 48 Fields

2,763 Mathematical logic and foundations (03-XX)
2,483 Computer science (68-XX)
250 Order, lattices, ordered algebraic structures (06-XX)
188 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
80 Category theory; homological algebra (18-XX)
75 General algebraic systems (08-XX)
51 Combinatorics (05-XX)
35 General topology (54-XX)
32 Probability theory and stochastic processes (60-XX)
27 General and overarching topics; collections (00-XX)
27 Quantum theory (81-XX)
23 History and biography (01-XX)
23 Group theory and generalizations (20-XX)
23 Information and communication theory, circuits (94-XX)
20 Operations research, mathematical programming (90-XX)
19 Systems theory; control (93-XX)
16 Statistics (62-XX)
16 Biology and other natural sciences (92-XX)
13 Geometry (51-XX)
13 Numerical analysis (65-XX)
11 Linear and multilinear algebra; matrix theory (15-XX)
10 Measure and integration (28-XX)
8 Dynamical systems and ergodic theory (37-XX)
7 Associative rings and algebras (16-XX)
6 Ordinary differential equations (34-XX)
6 Convex and discrete geometry (52-XX)
6 Algebraic topology (55-XX)
5 Number theory (11-XX)
4 Operator theory (47-XX)
3 Field theory and polynomials (12-XX)
3 Commutative algebra (13-XX)
2 Algebraic geometry (14-XX)
2 Topological groups, Lie groups (22-XX)
2 Real functions (26-XX)
2 Global analysis, analysis on manifolds (58-XX)
2 Mechanics of particles and systems (70-XX)
2 Fluid mechanics (76-XX)
2 Relativity and gravitational theory (83-XX)
2 Mathematics education (97-XX)
1 Nonassociative rings and algebras (17-XX)
1 Potential theory (31-XX)
1 Partial differential equations (35-XX)
1 Difference and functional equations (39-XX)
1 Integral equations (45-XX)
1 Functional analysis (46-XX)
1 Differential geometry (53-XX)
1 Manifolds and cell complexes (57-XX)
1 Statistical mechanics, structure of matter (82-XX)

Citations by Year