×

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,543 Publications (since 1990)
all top 5

Latest Issues

32, No. 6 (2022)
32, No. 5 (2022)
32, No. 4 (2022)
32, No. 3 (2022)
32, No. 2 (2022)
32, No. 1 (2022)
31, No. 8 (2021)
31, No. 7 (2021)
31, No. 6 (2021)
31, No. 5 (2021)
31, No. 4 (2021)
31, No. 3 (2021)
31, No. 2 (2021)
31, No. 1 (2021)
30, No. 8 (2020)
30, No. 7 (2020)
30, No. 6 (2020)
30, No. 5 (2020)
30, No. 4 (2020)
30, No. 3 (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)
...and 99 more Volumes
all top 5

Authors

14 Pym, David J.
13 Sernadas, Amilcar C.
12 Godo, Lluís
12 Sernadas, Cristina S.
11 Gabbay, Dov M.
11 Kamide, Norihiro
10 Demri, Stéphane P.
9 Esteva, Francesc
9 Galmiche, Didier
9 Montagna, Franco
9 Naumov, Pavel G.
9 Palmigiano, Alessandra
9 Strasser, Christian
9 Turner, Raymond
9 van der Hoek, Wiebe
8 Alechina, Natasha
8 Baaz, Matthias
8 Balbiani, Philippe
8 Bezhanishvili, Nick
8 Coniglio, Marcelo Esteban
8 Rasga, João
8 Schlechta, Karl
8 Woltran, Stefan
8 Wooldridge, Michael J.
7 Ågotnes, Thomas
7 Avron, Arnon
7 Bench-Capon, Trevor J. M.
7 Fitting, Melvin Chris
7 Goré, Rajeev Prabhakar
7 Jeřábek, Emil
7 Löwe, Benedikt
7 Reynolds, Mark Alexander
6 Aguzzoli, Stefano
6 Artemov, Sergei
6 Beckmann, Arnold
6 Bělohlávek, Radim
6 Cenzer, Douglas
6 Ciabattoni, Agata
6 Diaconescu, Răzvan
6 Gabbay, Murdoch James
6 Gaĭnă, Daniel
6 Grossi, Davide
6 Herzig, Andreas
6 Kamareddine, Fairouz D.
6 Meyer, John-Jules Charles
6 Ognjanović, Zoran
6 Olivetti, Nicola
6 Rybakov, Mikhail Nikolaevich
6 Rybakov, Vladimir Vladimirovich
6 Shkatov, Dmitry
6 Sorbi, Andrea
6 van Benthem, Johan F. A. K.
6 Wolter, Frank
5 Aucher, Guillaume
5 Barmpalias, George
5 Bodirsky, Manuel
5 Bolander, Thomas
5 Braüner, Torben
5 Carnielli, Walter Alexandre
5 Collinson, Matthew
5 Costantini, Stefania
5 D’Agostino, Giovanna
5 Davis, Ernest
5 Di Nola, Antonio
5 Flaminio, Tommaso
5 Giordano, Laura
5 Giunchiglia, Fausto
5 Goranko, Valentin F.
5 Hájek, Petr
5 Hansson, Sven Ove
5 Jennings, Nicholas R.
5 Kaminski, Michael
5 Kurz, Alexander
5 Lehmann, Daniel J.
5 Lenzi, Giacomo
5 Peltier, Nicolas
5 Policriti, Alberto
5 Soskov, Ivan N.
5 Soskova, Alexandra A.
5 Stewart, Iain A.
5 Studer, Thomas
5 Van De Putte, Frederik
5 van Ditmarsch, Hans Pieter
5 van Eijck, Jan
5 Zakharyaschev, Michael Viktorovich
5 Zhao, Zhiguang
4 Adámek, Jiří
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
4 Cooper, Stuart Barry
4 de Rijke, Maarten
4 Dixon, Clare
4 Dvořák, Wolfgang
...and 1,791 more Authors

Publications by Year

Citations contained in zbMATH Open

1,053 Publications have been cited 6,795 times in 4,843 Documents Cited by Year
Logic programming with focusing proofs in linear logic. Zbl 0764.03020
Andreoli, Jean-Marc
155
1992
A modal logic for coalitional power in games. Zbl 1003.91006
Pauly, Marc
96
2002
Merging information under constraints: A logical framework. Zbl 1020.68086
Konieczny, Sébastien; Pino Pérez, Ramón
89
2002
Rewrite-based equational theorem proving with selection and simplification. Zbl 0814.68117
Bachmair, Leo; Ganzinger, Harald
85
1994
Persuasion in practical argument using value-based argumentation frameworks. Zbl 1043.03026
Bench-Capon, Trevor J. M.
84
2003
Abductive logic programming. Zbl 0778.68081
Kakas, A. C.; Kowalski, R. A.; Toni, F.
77
1992
Using the universal modality: Gains and questions. Zbl 0774.03003
Goranko, Valentin; Passy, Solomon
75
1992
Abstract interpretation frameworks. Zbl 0783.68073
Cousot, Patrick; Cousot, Radhia
67
1992
A logic programming language with lambda-abstraction, function variables, and simple unification. Zbl 0738.68016
Miller, Dale
66
1991
Complexity results for nonmonotonic logics. Zbl 0765.03012
Gottlob, Georg
57
1992
Hoops and fuzzy logic. Zbl 1039.03016
Esteva, Francesc; Godo, Lluís; Hájek, Petr; Montagna, Franco
51
2003
Non-deterministic multiple-valued structures. Zbl 1070.03010
Avron, Arnon; Lev, Iddo
50
2005
A modal logic for chopping intervals. Zbl 0744.03022
Venema, Yde
48
1991
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
48
2011
The taming of the cut. Classical refutations with analytic cut. Zbl 0806.03037
D’Agostino, Marcello; Mondadori, Marco
39
1994
Introducing justification into epistemic logic. Zbl 1088.03015
Artemov, Sergei; Nogina, Elena
39
2005
Admissible rules of modal logics. Zbl 1077.03011
Jeřábek, Emil
38
2005
Kleene’s logic, generalized. Zbl 0744.03025
Fitting, Melvin
36
1991
Constraint satisfaction with countable homogeneous templates. Zbl 1113.03026
Bodirsky, Manuel; Nešetřil, Jaroslav
35
2006
Reasoning about space: the modal way. Zbl 1054.03015
Aiello, Marco; van Benthem, Johan; Bezhanishvili, Guram
35
2003
Possibilistic and standard probabilistic semantics of conditional knowledge bases. Zbl 0945.68166
Benferhat, Salem; Dubois, Didier; Prade, Henri
34
1999
On the relationship between abduction and deduction. Zbl 0734.68085
Console, Luca; Theseider Dupré, Daniele; Torasso, Pietro
34
1991
An axiomatization of the temporal logic with until and since over the real numbers. Zbl 0744.03018
Gabbay, D. M.; Hodkinson, I. M.
32
1990
Sequent calculi for induction and infinite descent. Zbl 1242.03084
Brotherston, James; Simpson, Alex
32
2011
Unification through projectivity. Zbl 0894.08004
Ghilardi, Silvio
31
1997
The trilattice of constructive truth values. Zbl 0996.03014
Shramko, Yaroslav; Dunn, J. Michael; Takenaka, Tatsutoshi
30
2001
Agents that reason and negotiate by arguing. Zbl 0904.68061
Parsons, Simon; Sierra, Carles; Jennings, Nick
30
1998
Algebraic semantics for paraconsistent Nelson’s logic. Zbl 1034.03029
Odintsov, Sergei P.
30
2003
Robust semantics for argumentation frameworks. Zbl 0933.68088
Jakobovits, Hadassa; Vermeir, Dirk
30
1999
Fuzzy logics with noncommutative conjunctions. Zbl 1036.03018
Hájek, Petr
29
2003
Actions and events in interval temporal logic. Zbl 0815.68100
Allen, James F.; Ferguson, George
28
1994
Similarity relations in concept lattices. Zbl 0972.06008
Bělohlávek, Radim
28
2000
Argumentation semantics for defeasible logic. Zbl 1067.03038
Governatori, Guido; Maher, Michael J.; Antoniou, Grigoris; Billington, David
27
2004
Comparing LTL semantics for runtime verification. Zbl 1213.68363
Bauer, Andreas; Leucker, Martin; Schallhart, Christian
27
2010
On weakly cancellative fuzzy logics. Zbl 1113.03021
Montagna, Franco; Noguera, Carles; Horčík, Rostislav
27
2006
State constraints revisited. Zbl 0815.68096
Lin, Fangzen; Reiter, Ray
26
1994
Operators and laws for combining preference relations. Zbl 1008.91027
Andréka, Hajnal; Ryan, Mark; Schobbens, Pierre-Yves
26
2002
Semi-stable semantics. Zbl 1267.68223
Caminada, Martin W. A.; Carnielli, Walter A.; Dunne, Paul E.
26
2012
Internalizing labelled deduction. Zbl 0953.03018
Blackburn, Patrick
25
2000
Termination for hybrid tableaus. Zbl 1140.03005
Bolander, Thomas; Blackburn, Patrick
25
2007
Compositionality through an operational semantics of contexts. Zbl 0738.68056
Larsen, Kim G.; Liu, Xinxin
25
1991
Hypersequent calculi for Gödel logics – a survey. Zbl 1051.03046
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
25
2003
A decision procedure and complete axiomatization of finite interval temporal logic with projection. Zbl 1050.03012
Bowman, Howard; Thompson, Simon
25
2003
Semantics-based translation methods for modal logics. Zbl 0746.03010
Ohlbach, H. J.
24
1991
The dynamic logic of permission. Zbl 0855.03008
van der Meyden, Ron
24
1996
A description logic with transitive and inverse roles and role hierarchies. Zbl 0940.03039
Horrocks, Ian; Sattler, Ulrike
24
1999
An \(O(n\;\log\;n)\)-space decision procedure for intuitionistic propositional logic. Zbl 0788.03010
Hudelmaier, Jörg
23
1993
Injective models and disjunctive relations. Zbl 0788.03032
Freund, Michael
23
1993
Nominal (universal) algebra: equational logic with names and binding. Zbl 1191.08003
Gabbay, Murdoch J.; Mathijssen, Aad
22
2009
Reasoning about rational, but not logically omniscient, agents. Zbl 0884.03026
Ho Ngoc Duc
22
1997
Constructive logic with strong negation as a substructural logic. Zbl 1205.03040
Busaniche, Manuela; Cignoli, Roberto
21
2010
Exemplaric expressivity of modal logics. Zbl 1234.03009
Jacobs, Bart; Sokolova, Ana
21
2010
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
20
2009
Hyperresolution and automated model building. Zbl 0861.68086
Fermüller, Christian; Leitsch, Alexander
20
1996
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
PSpace reasoning for graded modal logics. Zbl 0992.03028
Tobies, Stephan
20
2001
Coherence and flexibility in dialogue games for argumentation. Zbl 1092.03014
Prakken, Henry
20
2005
Four-valued modal logic: Kripke semantics and duality. Zbl 1444.03073
Rivieccio, Umberto; Jung, Achim; Jansana, Ramon
19
2017
Logic programming with strong negation and inexact predicates. Zbl 0738.68018
Wagner, Gerd
19
1991
Differential-algebraic dynamic logic for differential-algebraic programs. Zbl 1191.03024
Platzer, André
19
2010
Propositions as [types]. Zbl 1050.03016
Awodey, Steven; Bauer, Andrej
19
2004
Properties and complexity of some formal inter-agent dialogues. Zbl 1038.03037
Parsons, Simon; Wooldridge, Michael; Amgoud, Leila
19
2003
Falsification, natural deduction and bi-intuitionistic logic. Zbl 1444.03009
Wansing, Heinrich
18
2016
Tableaux for logics of subinterval structures over dense orderings. Zbl 1188.03009
Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sala, Pietro
18
2010
Admissible rules of Łukasiewicz logic. Zbl 1216.03042
Jerábek, Emil
18
2010
Sequent calculi for normal modal propositional logics. Zbl 0799.03014
Wansing, Heinrich
18
1994
Optimizing description logic subsumption. Zbl 0940.03038
Horrocks, Ian; Patel-Schneider, Peter F.
18
1999
Some syntactical observations on linear logic. Zbl 0745.03025
Schellinx, Harold
17
1991
Systems for knowledge and belief. Zbl 0790.03024
van der Hoek, Wiebe
17
1993
Beyond rational monotony: Some strong non-Horn rules for nonmonotonic inference relations. Zbl 0937.03036
Bezzazi, Hassan; Makinson, David; Pino Pérez, Ramón
17
1997
Bi-modal Gödel logic over \([0,1]\)-valued Kripke frames. Zbl 1371.03035
Caicedo, Xavier; Rodríguez, Ricardo Oscar
16
2015
Embedding alternating-time temporal logic in strategic STIT logic of agency. Zbl 1120.03014
Broersen, Jan; Herzig, Andreas; Troquard, Nicolas
16
2006
Tableau-based decision procedures for hybrid logic. Zbl 1122.03006
Bolander, Thomas; Braüner, Torben
16
2006
Epistemic actions as resources. Zbl 1183.03010
Baltag, Alexandru; Coecke, Bob; Sadrzadeh, Mehrnoosh
16
2007
On product logic with truth-constants. Zbl 1102.03030
Savický, Petr; Cignoli, Roberto; Esteva, Francesc; Godo, Lluís; Noguera, Carles
16
2006
Introduction to cirquent calculus and abstract resource semantics. Zbl 1113.03023
Japaridze, Giorgi
16
2006
The collapse of the bounded width hierarchy. Zbl 1353.68107
Barto, Libor
16
2016
Linear temporal logic LTL: basis for admissible rules. Zbl 1233.03026
Babenyshev, Sergey; Rybakov, Vladimir
16
2011
Algorithmic randomness of closed sets. Zbl 1155.03031
Barmpalias, George; Brodhead, Paul; Cenzer, Douglas; Dashti, Seyyed; Weber, Rebecca
16
2007
A linearization of the lambda-calculus and consequences. Zbl 0953.03014
Kfoury, Assaf J.
16
2000
Defeasible dialectics: A controversy-oriented approach towards defeasible argumentation. Zbl 0789.03026
Vreeswijk, Gerard
16
1993
On the correspondence between modal and classical logic: An automated approach. Zbl 0802.03009
Szalas, Andrzej
16
1993
Fibring of logics as a categorial construction. Zbl 0942.03064
Sernadas, Amílcar; Sernadas, Cristina; Caleiro, Carlos
16
1999
Spectra of high\(_n\) and non-low\(_n\) degrees. Zbl 1260.03068
Frolov, Andrey; Kalimullin, Iskander; Harizanov, Valentina; Kudinov, Oleg; Miller, Russell
16
2012
Propositional information systems. Zbl 0941.03030
Kohlas, Jürg; Haenni, Rolf; Moral, Serafìn
15
1999
On the expressive power of three-valued and four-valued languages. Zbl 0941.03012
Avron, Arnon
15
1999
Interpolation properties, Beth definability properties and amalgamation properties for substructural logics. Zbl 1207.03030
Kihara, Hitoshi; Ono, Hiroakira
15
2010
Can we make the second incompleteness theorem coordinate free? Zbl 1262.03123
Visser, Albert
15
2011
DefLog: On the logical interpretation of prima facie justified assumptions. Zbl 1032.03507
Verheij, Bart
15
2003
Coercive subtyping. Zbl 0920.03062
Luo, Zhaohui
15
1999
Some probability logics with new types of probability operators. Zbl 0941.03022
Ognjanović, Zoran; Rašković, Miodrag
15
1999
Quantitative information flow, relations and polymorphic types. Zbl 1101.68560
Clark, David; Hunt, Sebastian; Malacaria, Pasquale
14
2005
The Frobenius anatomy of word meanings. I: Subject and object relative pronouns. Zbl 1320.68207
Sadrzadeh, Mehrnoosh; Clark, Stephen; Coecke, Bob
14
2013
Aggregating partially ordered preferences. Zbl 1162.91343
Pini, Maria Silvia; Rossi, Francesca; Venable, Kristen Brent; Walsh, Toby
14
2009
On instance-level update and erasure in description logic ontologies. Zbl 1181.68274
de Giacomo, Giuseppe; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo
14
2009
Bilattices and modal operators. Zbl 0743.03011
Ginsberg, Matthew L.
14
1990
Borel complexity of topological operations on computable metric spaces. Zbl 1169.03047
Brattka, Vasco; Gherardi, Guido
14
2009
Tableaux for public announcement logic. Zbl 1189.03019
Balbiani, Philippe; van Ditmarsch, Hans; Herzig, Andreas; de Lima, Tiago
14
2010
The dynamics of syntactic knowledge. Zbl 1118.03008
Ågotnes, Thomas; Alechina, Natasha
14
2007
The first-order theory of the computably enumerable equivalence relations in the uncountable setting. Zbl 07471451
Andrews, Uri; Lempp, Steffen; Mustafa, Manat; Schweber, Noah D.
1
2022
The axiom of choice in computability theory and reverse mathematics with a cameo for the continuum hypothesis. Zbl 07471469
Normann, Dag; Sanders, Sam
3
2021
Abstract argumentation and the rational man. Zbl 07332122
Kampik, Timotheus; Nieves, Juan Carlos
2
2021
Dualities and algebraic geometry of Baire functions in non-classical logic. Zbl 07423156
Di Nola, Antonio; Lapenta, Serafina; Lenzi, Giacomo
2
2021
Negation as a modality in a quantified setting. Zbl 07398787
Speranski, Stanislav O.
2
2021
Type inhabitation of atomic polymorphism is undecidable. Zbl 07332112
Protin, M. Clarence
1
2021
Complexity of finite-variable fragments of products with K. Zbl 07332113
Rybakov, Mikhail; Shkatov, Dmitry
1
2021
Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages. Zbl 1477.03028
Rybakov, Mikhail; Shkatov, Dmitry
1
2021
Ambiguity and context learning in signalling games. Zbl 07451575
Tang, Liping
1
2021
Completeness theorems for first-order logic analysed in constructive type theory. Extended version. Zbl 07471462
Forster, Yannick; Kirst, Dominik; Wehr, Dominik
1
2021
Knowledge of uncertain worlds: programming with logical constraints. Zbl 07471466
Liu, Yanhong A.; Stoller, Scott D.
1
2021
On the correspondence between nested calculi and semantic systems for intuitionistic logics. Zbl 07471467
Lyon, Tim
1
2021
Categorical and algebraic aspects of the intuitionistic modal logic \(\mathrm{IEL}^{\text{--}}\) and its predicate extensions. Zbl 07471471
Rogozin, Daniel
1
2021
Labelled calculi for quantified modal logics with definite descriptions. Zbl 07398777
Orlandelli, Eugenio
1
2021
Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages. Zbl 07398783
Rybakov, Mikhail; Shkatov, Dmitry
1
2021
An efficient reasoning method on logic programming using partial evaluation in vector spaces. Zbl 07398785
Nguyen, Hien D.; Sakama, Chiaki; Sato, Taisuke; Inoue, Katsumi
1
2021
Notes on conjunctive and quasi degrees. Zbl 07398786
Chitaia, Irakli; Omanadze, Roland; Sorbi, Andrea
1
2021
Open sets in computability theory and reverse mathematics. Zbl 1472.03012
Normann, Dag; Sanders, Sam
9
2020
The language of epistemic specifications (refined) including a prototype solver. Zbl 1489.68272
Kahl, Patrick; Watson, Richard; Balai, Evgenii; Gelfond, Michael; Zhang, Yuanlin
6
2020
Losing connection: the modal logic of definable link deletion. Zbl 07412827
Li, Dazhu
5
2020
Optimum stable model search: algorithms and implementation. Zbl 1487.68206
Alviano, Mario; Dodaro, Carmine; Marques-Silva, Joao; Ricca, Francesco
4
2020
Probabilistic justification logic. Zbl 07194700
Kokkinis, Ioannis; Ognjanović, Zoran; Studer, Thomas
3
2020
The unreasonable effectiveness of nonstandard analysis. Zbl 07194709
Sanders, Sam
3
2020
Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities. Zbl 07194699
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
2
2020
Power Kripke-Platek set theory and the axiom of choice. Zbl 07194708
Rathjen, Michael
2
2020
First-order swap structures semantics for some logics of formal inconsistency. Zbl 07285868
Coniglio, Marcelo E.; Figallo-Orellano, Aldo; Golzio, Ana C.
2
2020
On uniform belief revision. Zbl 1464.03014
Aravanis, Theofanis
2
2020
An introduction to feedback Turing computability. Zbl 07194691
Ackerman, Nathanael L.; Freer, Cameron E.; Lubarsky, Robert S.
1
2020
On aggregating probabilistic evidence. Zbl 07194692
Artemov, Sergei
1
2020
Multiple conclusion linear logic: cut elimination and more. Zbl 07194695
Eades, Harley III; de Paiva, Valeria
1
2020
Cut elimination and complexity bounds for intuitionistic epistemic logic. Zbl 07194701
Krupski, Vladimir N.
1
2020
Embeddings of Bishop spaces. Zbl 07194704
Petrakis, Iosif
1
2020
Equivariant ZFA and the foundations of nominal techniques. Zbl 07208317
Gabbay, Murdoch
1
2020
Recursive enumerability and elementary frame definability in predicate modal logic. Zbl 07208318
Rybakov, Mikhail; Shkatov, Dmitry
1
2020
Ordered models for concept representation. Zbl 07285864
Freund, Michael
1
2020
Space and time complexity for infinite time Turing machines. Zbl 07285867
Carl, Merlin
1
2020
Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages. Zbl 07285871
Rybakov, Mikhail; Shkatov, Dmitry
1
2020
Founded semantics and constraint semantics of logic rules. Zbl 07285901
Liu, Yanhong A.; Stoller, Scott D.
1
2020
Multi-dimensional interpretations of Presburger arithmetic in itself. Zbl 07285903
Pakhomov, Fedor; Zapryagaev, Alexander
1
2020
Self-full ceers and the uniform join operator. Zbl 07412829
Andrews, Uri; Schweber, Noah; Sorbi, Andrea
1
2020
Logics based on linear orders of contaminating values. Zbl 1450.03004
Ciuni, Roberto; Macaulay Ferguson, Thomas; Szmuc, Damian
9
2019
Coalition logic with individual, distributed and common knowledge. Zbl 1444.03021
Ågotnes, Thomas; Alechina, Natasha
7
2019
Discrete duality for lattices with modal operators. Zbl 1444.03174
Hartonas, Chrysafis
4
2019
A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol. Zbl 1442.68222
Marinković, Bojan; Glavan, Paola; Ognjanović, Zoran; Studer, Thomas
3
2019
The power of modal separation logics. Zbl 1444.03113
Demri, Stéphane; Fervari, Raul
3
2019
Model checking and validity in propositional and modal inclusion logics. Zbl 1475.68187
Hella, Lauri; Kuusisto, Antti; Meier, Arne; Virtema, Jonni
2
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
2
2019
Maximality in finite-valued Łukasiewicz logics defined by order filters. Zbl 1478.03051
Coniglio, Marcelo E.; Esteva, Francesc; Gispert, Joan; Godo, Lluis
2
2019
On the satisfiability problem for fragments of two-variable logic with one transitive relation. Zbl 1444.03011
Szwast, Wiesław; Tendera, Lidia
2
2019
Structured argumentation with prioritized conditional obligations and permissions. Zbl 1444.03026
Beirlaen, Mathieu; Heyninck, Jesse; Straßer, Christian
2
2019
Normative reasoning by sequent-based argumentation. Zbl 1444.03075
Straßer, Christian; Arieli, Ofer
2
2019
An analysis of the Podelski-Rybalchenko termination theorem via bar recursion. Zbl 1444.03140
Berardi, Stefano; Oliva, Paulo; Steila, Silvia
2
2019
Formula size games for modal logic and \(\mu\)-calculus. Zbl 1444.03059
Hella, Lauri T.; Vilander, Miikka S.
2
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
Towards automated reasoning in Herbrand structures. Zbl 1444.03158
Cohen, Liron; Rowe, Reuben N. S.; Zohar, Yoni
1
2019
Automatic white-box testing of first-order logic ontologies. Zbl 1442.68225
Álvez, Javier; Hermo, Montserrat; Lucio, Paqui; Rigau, German
1
2019
MTL-algebras as rotations of basic hoops. Zbl 1480.06006
Aglianò, Paolo; Ugolini, Sara
1
2019
Taking the path computably traveled. Zbl 1444.03139
Franklin, Johanna N. Y.; Turetsky, Dan
1
2019
Prioritized norms in formal argumentation. Zbl 1444.03067
Liao, Beishui; Oren, Nir; van der Torre, Leendert; Villata, Serena
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
Symbolic model checking of public announcement protocols. Zbl 1446.68090
Charrier, Tristan; Pinchinat, Sophie; Schwarzentruber, François
1
2019
A proof-theoretic study of abstract termination principles. Zbl 1480.03058
Powell, Thomas
1
2019
Modal logics of sabotage revisited. Zbl 1444.03041
Aucher, Guillaume; van Benthem, Johan; Grossi, Davide
11
2018
Unified correspondence as a proof-theoretic tool. Zbl 1444.03055
Greco, Giuseppe; Ma, Minghui; Palmigiano, Alessandra; Tzimoulis, Apostolos; Zhao, Zhiguang
9
2018
The universal homogeneous binary tree. Zbl 1444.03124
Bodirsky, Manuel; Bradley-Williams, David; Pinsker, Michael; Pongrácz, András
7
2018
Reasoning with maximal consistency by argumentative approaches. Zbl 1444.68175
Arieli, Ofer; Borg, AnneMarie; Straßer, Christian
6
2018
Symbolic model checking for dynamic epistemic logic – S5 and beyond. Zbl 1410.68242
van Benthem, Johan; van Eijck, Jan; Gattinger, Malvin; Su, Kaile
4
2018
A modal separation logic for resource dynamics. Zbl 1444.03049
Courtault, Jean-René; Galmiche, Didier
4
2018
Infinitary logic and basically disconnected compact Hausdorff spaces. Zbl 1444.03088
Di Nola, Antonio; Lapenta, Serafina; Leuştean, Ioana
4
2018
Formulating semantics of probabilistic argumentation by characterizing subgraphs: theory and empirical results. Zbl 1444.68184
Liao, Beishui; Xu, Kang; Huang, Huaxin
3
2018
Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond. Zbl 1410.68348
Strass, Hannes
3
2018
Intuitionistic modal logic: a 15-year retrospective. Zbl 1454.03011
Stewart, Charles; de Paiva, Valeria; Alechina, Natasha
3
2018
Satisfiability for relation-changing logics. Zbl 1444.03040
Areces, Carlos; Fervari, Raul; Hoffmann, Guillaume; Martel, Mauricio
3
2018
Terminating sequent calculi for two intuitionistic modal logics. Zbl 1444.03060
Iemhoff, Rosalie
3
2018
Shapely monads and analytic functors. Zbl 1444.18009
Garner, Richard; Hirschowitz, Tom
2
2018
Learning to act: qualitative learning of deterministic action models. Zbl 1444.68177
Bolander, Thomas; Gierasimczuk, Nina
2
2018
On the ‘transitivity’ of consequence relations. Zbl 1444.03010
Ripley, David
2
2018
The equivalence zoo for Dung-style semantics. Zbl 1412.68271
Baumann, Ringo; Brewka, Gerhard
2
2018
Alternating-time temporal logic with resource bounds. Zbl 1444.03037
Nguyen, Hoang Nga; Alechina, Natasha; Logan, Brian; Rakib, Abdur
2
2018
Iteration-free \(\mathrm{PDL}\) with storing, recovering and parallel composition: a complete axiomatization. Zbl 1444.03109
Balbiani, Philippe; Boudou, Joseph
2
2018
On an intuitionistic logic for pragmatics. Zbl 1444.03005
Bellin, Gianluigi; Carrara, Massimiliano; Chiffi, Daniele
2
2018
Tree-sequent calculi and decision procedures for intuitionistic modal logics. Zbl 1444.03053
Galmiche, Didier; Salhi, Yakoub
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
Fuzzy approach to quantum Fredkin gate. Zbl 1444.81012
Sergioli, G.; Freytes, H.
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
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
Strong jump inversion. Zbl 1444.03138
Calvert, W.; Frolov, A.; Harizanov, V.; Knight, J.; McCoy, C.; Soskova, A.; Vatev, S.
1
2018
Belief base rationalization for propositional merging. Zbl 1444.68191
Schwind, Nicolas; Konieczny, Sébastien; Marquis, Pierre
1
2018
Navigability with intermediate constraints. Zbl 1412.68281
Deuser, Kaya; Naumov, Pavel
1
2018
On the aggregation of argumentation frameworks: operators and postulates. Zbl 1444.68180
Delobelle, Jérôme; Konieczny, Sébastien; Vesic, Srdjan
1
2018
How to update neighbourhood models. Zbl 1444.03033
Ma, Minghui; Sano, Katsuhiko
1
2018
...and 953 more Documents
all top 5

Cited by 4,560 Authors

44 Gabbay, Dov M.
35 Godo, Lluís
32 Montanari, Angelo
29 Wansing, Heinrich Theodor
27 Arieli, Ofer
26 Avron, Arnon
26 Kamide, Norihiro
26 Rybakov, Vladimir Vladimirovich
26 van Ditmarsch, Hans Pieter
23 Bodirsky, Manuel
23 Eiter, Thomas
22 Montagna, Franco
21 Goranko, Valentin F.
21 Ognjanović, Zoran
21 Woltran, Stefan
20 Balbiani, Philippe
20 Bezhanishvili, Guram
20 Esteva, Francesc
20 Iemhoff, Rosalie
20 Reynolds, Mark Alexander
20 Sciavicco, Guido
20 Zamansky, Anna
19 Metcalfe, George
19 Simari, Guillermo Ricardo
19 van Benthem, Johan F. A. K.
18 Amgoud, Leila
18 Ciabattoni, Agata
18 Pym, David J.
17 Bělohlávek, Radim
17 Demri, Stéphane P.
17 Flaminio, Tommaso
17 Lorini, Emiliano
17 Miller, Dale Allen
17 Palmigiano, Alessandra
17 Sala, Pietro
16 Conradie, Willem
16 Diaconescu, Răzvan
16 Dixon, Clare
16 Herzig, Andreas
16 Odintsov, Sergei P.
16 Olarte, Carlos
16 Paoli, Francesco
16 Peltier, Nicolas
16 Rivieccio, Umberto
16 Sernadas, Cristina S.
15 Cintula, Petr
15 Hunter, Anthony
15 Noguera, Carles
15 Schröder, Lutz
15 van der Torre, Leendert W. N.
15 Wooldridge, Michael J.
14 Gabbay, Murdoch James
14 Hustadt, Ullrich
14 Japaridze, Giorgi
14 Pimentel, Elaine
14 Rasga, João
14 Velázquez-Quesada, Fernando Raymundo
14 Vetterlein, Thomas
13 Ågotnes, Thomas
13 Dunne, Paul E.
13 Galmiche, Didier
13 Olivetti, Nicola
13 Peron, Adriano
13 Sadrzadeh, Mehrnoosh
13 Schmidt, Renate A.
13 Toni, Francesca
13 van der Hoek, Wiebe
13 Visser, Albert
13 Wolter, Frank
12 Alechina, Natasha
12 Areces, Carlos
12 Baader, Franz
12 Baroni, Pietro
12 Bezhanishvili, Nick
12 Bianchi, Matteo
12 Bozzelli, Laura
12 Fitting, Melvin Chris
12 Giacomin, Massimiliano
12 Gottlob, Georg
12 Kern-Isberner, Gabriele
12 Marchioni, Enrico
12 Pacuit, Eric
12 Schwarzentruber, François
12 Venema, Yde
12 Waldmann, Uwe
12 Zakharyaschev, Michael Viktorovich
11 Bresolin, Davide
11 Calvanese, Diego
11 De Giacomo, Giuseppe
11 Dyckhoff, Roy
11 Fernández, Maribel
11 Halpern, Joseph Yehuda
11 Leone, Nicola
11 Marquis, Pierre
11 Meier, Arne
11 Murano, Aniello
11 Naumov, Pavel G.
11 Negri, Sara
11 Nigam, Vivek
11 Petrukhin, Yaroslav Igorevich
...and 4,460 more Authors
all top 5

Cited in 233 Journals

312 Theoretical Computer Science
303 Artificial Intelligence
231 Studia Logica
173 Annals of Pure and Applied Logic
157 Journal of Applied Non-Classical Logics
146 Information and Computation
124 International Journal of Approximate Reasoning
118 Annals of Mathematics and Artificial Intelligence
112 Journal of Applied Logic
104 Journal of Philosophical Logic
103 Journal of Automated Reasoning
102 Fuzzy Sets and Systems
99 Journal of Logic, Language and Information
90 The Journal of Symbolic Logic
84 Synthese
83 The Review of Symbolic Logic
78 MSCS. Mathematical Structures in Computer Science
74 Logical Methods in Computer Science
69 Archive for Mathematical Logic
58 Theory and Practice of Logic Programming
49 Soft Computing
43 Logica Universalis
40 Journal of Computer and System Sciences
40 Notre Dame Journal of Formal Logic
39 Information Sciences
39 Journal of Logical and Algebraic Methods in Programming
37 Formal Aspects of Computing
30 Algebra Universalis
30 The Bulletin of Symbolic Logic
29 Journal of Symbolic Computation
27 Information Processing Letters
27 Logic and Logical Philosophy
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 Acta Informatica
20 Theory of Computing Systems
17 Algebra and Logic
14 Journal of Functional Programming
13 Erkenntnis
12 Social Choice and Welfare
11 Siberian Mathematical Journal
11 Higher-Order and Symbolic Computation
10 SIAM Journal on Computing
10 The Journal of Artificial Intelligence Research (JAIR)
9 Journal of Pure and Applied Algebra
9 New Generation Computing
9 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
9 Topoi
9 Fundamenta Informaticae
8 European Journal of Combinatorics
8 Order
8 International Journal of Foundations of Computer Science
8 Lobachevskii Journal of Mathematics
7 International Journal of Theoretical Physics
7 Transactions of the American Mathematical Society
7 Machine Learning
7 Journal of Mathematical Logic
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 Applied Categorical Structures
6 Journal of Mathematical Sciences (New York)
6 Computer Languages, Systems & Structures
6 Sibirskie Èlektronnye Matematicheskie Izvestiya
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 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
5 Journal of Multiple-Valued Logic and Soft Computing
5 RAIRO. Theoretical Informatics and Applications
5 Journal of Siberian Federal University. Mathematics & Physics
4 Israel Journal of Mathematics
4 Journal of Algebra
4 Mathematica Slovaca
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 Constraints
4 LMS Journal of Computation and Mathematics
4 Computability
4 Computer Science Review
3 Discrete Mathematics
3 Lithuanian Mathematical Journal
3 Mathematical Notes
3 The Mathematical Intelligencer
3 Applied Mathematics and Computation
3 Kybernetika
3 Programming and Computer Software
3 History and Philosophy of Logic
3 Journal of Complexity
...and 133 more Journals
all top 5

Cited in 50 Fields

3,141 Mathematical logic and foundations (03-XX)
2,816 Computer science (68-XX)
272 Order, lattices, ordered algebraic structures (06-XX)
218 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
94 Category theory; homological algebra (18-XX)
89 General algebraic systems (08-XX)
57 Combinatorics (05-XX)
43 General topology (54-XX)
33 Quantum theory (81-XX)
32 Probability theory and stochastic processes (60-XX)
30 Group theory and generalizations (20-XX)
29 General and overarching topics; collections (00-XX)
29 History and biography (01-XX)
29 Information and communication theory, circuits (94-XX)
22 Operations research, mathematical programming (90-XX)
22 Biology and other natural sciences (92-XX)
22 Systems theory; control (93-XX)
16 Statistics (62-XX)
15 Numerical analysis (65-XX)
13 Geometry (51-XX)
11 Linear and multilinear algebra; matrix theory (15-XX)
11 Measure and integration (28-XX)
9 Associative rings and algebras (16-XX)
8 Algebraic topology (55-XX)
6 Real functions (26-XX)
6 Ordinary differential equations (34-XX)
6 Dynamical systems and ergodic theory (37-XX)
6 Convex and discrete geometry (52-XX)
5 Number theory (11-XX)
5 Commutative algebra (13-XX)
5 Functional analysis (46-XX)
4 Field theory and polynomials (12-XX)
4 Operator theory (47-XX)
3 Mathematics education (97-XX)
2 Algebraic geometry (14-XX)
2 Topological groups, Lie groups (22-XX)
2 Partial differential equations (35-XX)
2 Difference and functional equations (39-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)
1 Nonassociative rings and algebras (17-XX)
1 Potential theory (31-XX)
1 Integral transforms, operational calculus (44-XX)
1 Integral equations (45-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Differential geometry (53-XX)
1 Manifolds and cell complexes (57-XX)
1 Statistical mechanics, structure of matter (82-XX)

Citations by Year