×

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: Journal; Indexed cover-to-cover; Published electronic only as of Vol. 26 (2016). Print ISSN until then: 0955-792X.
Documents Indexed: 1,645 Publications (since 1990)
all top 5

Latest Issues

34, No. 1 (2024)
33, No. 8 (2023)
33, No. 7 (2023)
33, No. 6 (2023)
33, No. 5 (2023)
33, No. 4 (2023)
33, No. 3 (2023)
33, No. 2 (2023)
33, No. 1 (2023)
32, No. 8 (2022)
32, No. 7 (2022)
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)
...and 110 more Volumes
all top 5

Authors

14 Pym, David J.
13 Sernadas, Amilcar C.
12 Gabbay, Dov M.
12 Godo, Lluís
12 Sernadas, Cristina S.
11 Kamide, Norihiro
10 Demri, Stéphane P.
9 Alechina, Natasha
9 Bezhanishvili, Nick
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 Artemov, Sergei
8 Baaz, Matthias
8 Balbiani, Philippe
8 Coniglio, Marcelo Esteban
8 Rasga, João
8 Schlechta, Karl
8 van Benthem, Johan F. A. K.
8 Woltran, Stefan
8 Wooldridge, Michael J.
7 Ågotnes, Thomas
7 Avron, Arnon
7 Bench-Capon, Trevor J. M.
7 Cenzer, Douglas
7 Costantini, Stefania
7 Diaconescu, Răzvan
7 Fisher, Michael
7 Fitting, Melvin Chris
7 Goré, Rajeev Prabhakar
7 Herzig, Andreas
7 Jeřábek, Emil
7 Löwe, Benedikt
7 Ognjanović, Zoran
7 Reynolds, Mark Alexander
7 Rybakov, Mikhail Nikolaevich
7 Shkatov, Dmitry
7 Sorbi, Andrea
7 van Ditmarsch, Hans Pieter
6 Aguzzoli, Stefano
6 Beckmann, Arnold
6 Bělohlávek, Radim
6 Bolander, Thomas
6 Ciabattoni, Agata
6 Gabbay, Murdoch James
6 Gaĭnă, Daniel
6 Grossi, Davide
6 Kamareddine, Fairouz D.
6 Lorini, Emiliano
6 Meyer, John-Jules Charles
6 Olivetti, Nicola
6 Rybakov, Vladimir Vladimirovich
6 Studer, Thomas
6 Wolter, Frank
6 Zhao, Zhiguang
5 Areces, Carlos
5 Aucher, Guillaume
5 Barmpalias, George
5 Bodirsky, Manuel
5 Braüner, Torben
5 Carnielli, Walter Alexandre
5 Collinson, Matthew
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 Liao, Beishui
5 Maratea, Marco
5 Peltier, Nicolas
5 Policriti, Alberto
5 Primiero, Giuseppe
5 Sano, Katsuhiko
5 Sedlár, Igor
5 Soskov, Ivan N.
5 Soskova, Alexandra A.
5 Stewart, Iain A.
5 Van De Putte, Frederik
5 van Eijck, Jan
5 Vesic, Srdjan
5 Zakharyaschev, Michael Viktorovich
4 Adámek, Jiří
4 Arieli, Ofer
4 Baader, Franz
4 Benferhat, Salem
4 Bistarelli, Stefano
...and 1,910 more Authors

Publications by Year

Citations contained in zbMATH Open

1,161 Publications have been cited 8,208 times in 5,709 Documents Cited by Year
Logic programming with focusing proofs in linear logic. Zbl 0764.03020
Andreoli, Jean-Marc
175
1992
Rewrite-based equational theorem proving with selection and simplification. Zbl 0814.68117
Bachmair, Leo; Ganzinger, Harald
118
1994
A modal logic for coalitional power in games. Zbl 1003.91006
Pauly, Marc
113
2002
Persuasion in practical argument using value-based argumentation frameworks. Zbl 1043.03026
Bench-Capon, Trevor J. M.
102
2003
Merging information under constraints: A logical framework. Zbl 1020.68086
Konieczny, Sébastien; Pino Pérez, Ramón
101
2002
Using the universal modality: Gains and questions. Zbl 0774.03003
Goranko, Valentin; Passy, Solomon
89
1992
A logic programming language with lambda-abstraction, function variables, and simple unification. Zbl 0738.68016
Miller, Dale
83
1991
Abductive logic programming. Zbl 0778.68081
Kakas, A. C.; Kowalski, R. A.; Toni, F.
79
1992
Abstract interpretation frameworks. Zbl 0783.68073
Cousot, Patrick; Cousot, Radhia
72
1992
Non-deterministic multiple-valued structures. Zbl 1070.03010
Avron, Arnon; Lev, Iddo
62
2005
Complexity results for nonmonotonic logics. Zbl 0765.03012
Gottlob, Georg
61
1992
Hoops and fuzzy logic. Zbl 1039.03016
Esteva, Francesc; Godo, Lluís; Hájek, Petr; Montagna, Franco
58
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
58
2011
A modal logic for chopping intervals. Zbl 0744.03022
Venema, Yde
55
1991
Introducing justification into epistemic logic. Zbl 1088.03015
Artemov, Sergei; Nogina, Elena
53
2005
Admissible rules of modal logics. Zbl 1077.03011
Jeřábek, Emil
48
2005
Sequent calculi for induction and infinite descent. Zbl 1242.03084
Brotherston, James; Simpson, Alex
46
2011
The taming of the cut. Classical refutations with analytic cut. Zbl 0806.03037
D’Agostino, Marcello; Mondadori, Marco
45
1994
Comparing LTL semantics for runtime verification. Zbl 1213.68363
Bauer, Andreas; Leucker, Martin; Schallhart, Christian
41
2010
Kleene’s logic, generalized. Zbl 0744.03025
Fitting, Melvin
41
1991
Reasoning about space: the modal way. Zbl 1054.03015
Aiello, Marco; van Benthem, Johan; Bezhanishvili, Guram
40
2003
An axiomatization of the temporal logic with until and since over the real numbers. Zbl 0744.03018
Gabbay, D. M.; Hodkinson, I. M.
40
1990
Constraint satisfaction with countable homogeneous templates. Zbl 1113.03026
Bodirsky, Manuel; Nešetřil, Jaroslav
39
2006
Possibilistic and standard probabilistic semantics of conditional knowledge bases. Zbl 0945.68166
Benferhat, Salem; Dubois, Didier; Prade, Henri
37
1999
The trilattice of constructive truth values. Zbl 0996.03014
Shramko, Yaroslav; Dunn, J. Michael; Takenaka, Tatsutoshi
37
2001
Unification through projectivity. Zbl 0894.08004
Ghilardi, Silvio
37
1997
Agents that reason and negotiate by arguing. Zbl 0904.68061
Parsons, Simon; Sierra, Carles; Jennings, Nick
35
1998
Argumentation semantics for defeasible logic. Zbl 1067.03038
Governatori, Guido; Maher, Michael J.; Antoniou, Grigoris; Billington, David
35
2004
On the relationship between abduction and deduction. Zbl 0734.68085
Console, Luca; Theseider Dupré, Daniele; Torasso, Pietro
34
1991
Fuzzy logics with noncommutative conjunctions. Zbl 1036.03018
Hájek, Petr
33
2003
Robust semantics for argumentation frameworks. Zbl 0933.68088
Jakobovits, Hadassa; Vermeir, Dirk
33
1999
Algebraic semantics for paraconsistent Nelson’s logic. Zbl 1034.03029
Odintsov, Sergei P.
32
2003
Actions and events in interval temporal logic. Zbl 0815.68100
Allen, James F.; Ferguson, George
31
1994
Semi-stable semantics. Zbl 1267.68223
Caminada, Martin W. A.; Carnielli, Walter A.; Dunne, Paul E.
30
2012
Similarity relations in concept lattices. Zbl 0972.06008
Bělohlávek, Radim
30
2000
A description logic with transitive and inverse roles and role hierarchies. Zbl 0940.03039
Horrocks, Ian; Sattler, Ulrike
29
1999
Termination for hybrid tableaus. Zbl 1140.03005
Bolander, Thomas; Blackburn, Patrick
29
2007
Operators and laws for combining preference relations. Zbl 1008.91027
Andréka, Hajnal; Ryan, Mark; Schobbens, Pierre-Yves
28
2002
Hypersequent calculi for Gödel logics – a survey. Zbl 1051.03046
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
27
2003
On weakly cancellative fuzzy logics. Zbl 1113.03021
Montagna, Franco; Noguera, Carles; Horčík, Rostislav
27
2006
Semantics-based translation methods for modal logics. Zbl 0746.03010
Ohlbach, H. J.
27
1991
Falsification, natural deduction and bi-intuitionistic logic. Zbl 1444.03009
Wansing, Heinrich
27
2016
Internalizing labelled deduction. Zbl 0953.03018
Blackburn, Patrick
26
2000
Differential-algebraic dynamic logic for differential-algebraic programs. Zbl 1191.03024
Platzer, André
26
2010
A decision procedure and complete axiomatization of finite interval temporal logic with projection. Zbl 1050.03012
Bowman, Howard; Thompson, Simon
26
2003
Compositionality through an operational semantics of contexts. Zbl 0738.68056
Larsen, Kim G.; Liu, Xinxin
26
1991
An \(O(n\;\log\;n)\)-space decision procedure for intuitionistic propositional logic. Zbl 0788.03010
Hudelmaier, Jörg
26
1993
Sequent calculi for normal modal propositional logics. Zbl 0799.03014
Wansing, Heinrich
26
1994
State constraints revisited. Zbl 0815.68096
Lin, Fangzen; Reiter, Ray
26
1994
Constructive logic with strong negation as a substructural logic. Zbl 1205.03040
Busaniche, Manuela; Cignoli, Roberto
26
2010
Nominal (universal) algebra: equational logic with names and binding. Zbl 1191.08003
Gabbay, Murdoch J.; Mathijssen, Aad
25
2009
The dynamic logic of permission. Zbl 0855.03008
van der Meyden, Ron
25
1996
Tableaux for logics of subinterval structures over dense orderings. Zbl 1188.03009
Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sala, Pietro
24
2010
On decision problems related to the preferred semantics for argumentation frameworks. Zbl 1032.03518
Cayrol, Claudette; Doutre, Sylvie; Mengin, Jerome
24
2003
Reasoning about rational, but not logically omniscient, agents. Zbl 0884.03026
Ho Ngoc Duc
24
1997
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
23
2009
Properties and complexity of some formal inter-agent dialogues. Zbl 1038.03037
Parsons, Simon; Wooldridge, Michael; Amgoud, Leila
23
2003
Propositions as [types]. Zbl 1050.03016
Awodey, Steven; Bauer, Andrej
23
2004
Coherence and flexibility in dialogue games for argumentation. Zbl 1092.03014
Prakken, Henry
23
2005
Injective models and disjunctive relations. Zbl 0788.03032
Freund, Michael
23
1993
Linear temporal logic LTL: basis for admissible rules. Zbl 1233.03026
Babenyshev, Sergey; Rybakov, Vladimir
23
2011
A linearization of the lambda-calculus and consequences. Zbl 0953.03014
Kfoury, Assaf J.
22
2000
Characterizing logical consequence in many-valued logic. Zbl 1386.03021
Chemla, Emmanuel; Égré, Paul; Spector, Benjamin
22
2017
PSpace reasoning for graded modal logics. Zbl 0992.03028
Tobies, Stephan
22
2001
Admissible rules of Łukasiewicz logic. Zbl 1216.03042
Jerábek, Emil
22
2010
Exemplaric expressivity of modal logics. Zbl 1234.03009
Jacobs, Bart; Sokolova, Ana
22
2010
Decision procedures for BDI logics. Zbl 0904.68158
Rao, Anand S.; Georgeff, Michael P.
21
1998
Some probability logics with new types of probability operators. Zbl 0941.03022
Ognjanović, Zoran; Rašković, Miodrag
21
1999
Optimizing description logic subsumption. Zbl 0940.03038
Horrocks, Ian; Patel-Schneider, Peter F.
21
1999
Bi-modal Gödel logic over \([0,1]\)-valued Kripke frames. Zbl 1371.03035
Caicedo, Xavier; Rodríguez, Ricardo Oscar
21
2015
Hyperresolution and automated model building. Zbl 0861.68086
Fermüller, Christian; Leitsch, Alexander
20
1996
Defeasible dialectics: A controversy-oriented approach towards defeasible argumentation. Zbl 0789.03026
Vreeswijk, Gerard
20
1993
Epistemic actions as resources. Zbl 1183.03010
Baltag, Alexandru; Coecke, Bob; Sadrzadeh, Mehrnoosh
20
2007
Four-valued modal logic: Kripke semantics and duality. Zbl 1444.03073
Rivieccio, Umberto; Jung, Achim; Jansana, Ramon
20
2017
Algorithmic randomness of closed sets. Zbl 1155.03031
Barmpalias, George; Brodhead, Paul; Cenzer, Douglas; Dashti, Seyyed; Weber, Rebecca
19
2007
Coercive subtyping. Zbl 0920.03062
Luo, Zhaohui
19
1999
Logic programming with strong negation and inexact predicates. Zbl 0738.68018
Wagner, Gerd
19
1991
Multi-type display calculus for dynamic epistemic logic. Zbl 1403.03027
Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra; Sikimić, Vlasta
19
2016
Embedding alternating-time temporal logic in strategic STIT logic of agency. Zbl 1120.03014
Broersen, Jan; Herzig, Andreas; Troquard, Nicolas
18
2006
On the expressive power of three-valued and four-valued languages. Zbl 0941.03012
Avron, Arnon
18
1999
Paraconsistent stable semantics for extended disjunctive programs. Zbl 0827.68070
Sakama, Chiaki; Inoue, Katsumi
18
1995
Can we make the second incompleteness theorem coordinate free? Zbl 1262.03123
Visser, Albert
18
2011
Tableaux for public announcement logic. Zbl 1189.03019
Balbiani, Philippe; van Ditmarsch, Hans; Herzig, Andreas; de Lima, Tiago
18
2010
Fibring of logics as a categorial construction. Zbl 0942.03064
Sernadas, Amílcar; Sernadas, Cristina; Caleiro, Carlos
18
1999
On product logic with truth-constants. Zbl 1102.03030
Savický, Petr; Cignoli, Roberto; Esteva, Francesc; Godo, Lluís; Noguera, Carles
18
2006
Some syntactical observations on linear logic. Zbl 0745.03025
Schellinx, Harold
18
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
18
1997
Systems for knowledge and belief. Zbl 0790.03024
van der Hoek, Wiebe
18
1993
Tableau-based decision procedures for hybrid logic. Zbl 1122.03006
Bolander, Thomas; Braüner, Torben
17
2006
Spectra of high\(_n\) and non-low\(_n\) degrees. Zbl 1260.03068
Frolov, Andrey; Kalimullin, Iskander; Harizanov, Valentina; Kudinov, Oleg; Miller, Russell
17
2012
Bases of admissible rules of Łukasiewicz logic. Zbl 1216.03043
Jeřábek, Emil
17
2010
On instance-level update and erasure in description logic ontologies. Zbl 1181.68274
de Giacomo, Giuseppe; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo
17
2009
DefLog: On the logical interpretation of prima facie justified assumptions. Zbl 1032.03507
Verheij, Bart
17
2003
Introduction to cirquent calculus and abstract resource semantics. Zbl 1113.03023
Japaridze, Giorgi
17
2006
A jump inversion theorem for the degree spectra. Zbl 1165.03018
Soskova, Alexandra A.; Soskov, Ivan N.
17
2009
A proof-theoretic approach to logic programming. I: Clauses as rules. Zbl 0723.68028
Hallnäs, Lars; Schroeder-Heister, Peter
17
1990
On the correspondence between modal and classical logic: An automated approach. Zbl 0802.03009
Szalas, Andrzej
17
1993
Cut-free sequent calculi for C-systems with generalized finite-valued semantics. Zbl 1267.03032
Avron, Arnon; Konikowska, Beata; Zamansky, Anna
17
2013
The collapse of the bounded width hierarchy. Zbl 1353.68107
Barto, Libor
17
2016
On a hierarchy of \(5^{\prime}\rightarrow 3^{\prime}\) sensing Watson-Crick finite automata languages. Zbl 1284.68362
Nagy, Benedek
17
2013
A principle-based account of self-attacking arguments in gradual semantics. Zbl 07669819
Beuselinck, Vivien; Delobelle, Jérôme; Vesic, Srdjan
1
2023
A logic-based tractable approximation of probability. Zbl 07686428
Baldi, Paolo; Hosni, Hykel
1
2023
Generic logical encoding for argumentation. Zbl 07686429
Besnard, Philippe; Doutre, Sylvie; Duchatelle, Théo; Lagasquie-Schiex, Marie-Christine
1
2023
Projective classes as images of accessible functors. Zbl 07655497
Wehrung, Friedrich
1
2023
Observing interventions: a logic for thinking about experiments. Zbl 07801574
Barbero, Fausto; Schulz, Katrin; Velázquez-Quesada, Fernando R.; Xie, Kaibo
1
2023
Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models. Zbl 07801575
Belardinelli, Gaia; Rendsvig, Rasmus K.
1
2023
Basic modal congruent and monotonic multilattice logics. Zbl 07801582
Grigoriev, Oleg; Petrukhin, Yaroslav
1
2023
Opinion diffusion and campaigning on society graphs. Zbl 07582729
Faliszewski, Piotr; Gonen, Rica; Koutecký, Martin; Talmon, Nimrod
4
2022
Satisfiability of constrained Horn clauses on algebraic data types: a transformation-based approach. Zbl 07486296
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
4
2022
On the computational properties of basic mathematical notions. Zbl 07638209
Normann, Dag; Sanders, Sam
3
2022
Densely computable structures. Zbl 07582718
Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina
3
2022
Monadic NM-algebras: an algebraic approach to monadic predicate nilpotent minimum logic. Zbl 07589714
Wang, Juntao; He, Pengfei; Yang, Jiang; Wang, Mei; He, Xiaoli
3
2022
Dialectica logical principles: not only rules. Zbl 07638213
Trotta, Davide; Spadetto, Matteo; de Paiva, Valeria
2
2022
Complexity of finite-variable fragments of products with non-transitive modal logics. Zbl 07589718
Rybakov, Mikhail; Shkatov, Dmitry
2
2022
Computability of glued manifolds. Zbl 07471450
Čelar, Matea; IljazoviĆ, Zvonko
2
2022
A labelling semantics and strong admissibility for weighted argumentation frameworks. Zbl 07486291
Bistarelli, Stefano; Taticchi, Carlo
2
2022
A parameterized view on the complexity of dependence and independence logic. Zbl 07638204
Kontinen, Juha; Meier, Arne; Mahmood, Yasir
1
2022
A logic of interactive proofs. Zbl 07638205
Lehnherr, David; Ognjanović, Zoran; Studer, Thomas
1
2022
On embedding Lambek calculus into commutative categorial grammars. Zbl 07582715
Slavnov, Sergey
1
2022
An ASP-based solver for parametrized-difference revision. Zbl 07582720
Aravanis, Theofanis
1
2022
Markov chain model representation of information diffusion in social networks. Zbl 07582730
Dennis, Louise A.; Fu, Yu; Slavkovik, Marija
1
2022
Change in social networks: some dynamic extensions of social epistemic logic. Zbl 07582731
Fernández González, Saúl
1
2022
Containment logics: algebraic counterparts and reduced models. Zbl 07589716
Bonzio, Stefano; Baldi, Michele Pra
1
2022
Countably many sublogics of the interpretability logic IL having fixed point properties. Zbl 07589722
Okawa, Yuya
1
2022
Belief contraction and erasure in fragments of propositional logic. Zbl 07610425
Creignou, Nadia; Ktari, RaÏda; Papini, Odile
1
2022
Strictly join irreducible varieties of residuated lattices. Zbl 07471449
Aglianò, Paolo; Ugolini, Sara
1
2022
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
Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics. Zbl 07471453
Grätz, Lukas
1
2022
Modular non-deterministic semantics for T, TB, S4, S5 and more. Zbl 07471454
Pawlowski, Pawel; La Rosa, Elio
1
2022
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps. Zbl 07486288
Giordano, Laura; Gliozzi, Valentina; Theseider Dupré, Daniele
1
2022
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning. Zbl 07486290
Girlando, Marianna; Lellmann, Björn; Olivetti, Nicola; Pesce, Stefano; Pozzato, Gian Luca
1
2022
The axiom of choice in computability theory and reverse mathematics with a cameo for the continuum hypothesis. Zbl 1509.03037
Normann, Dag; Sanders, Sam
8
2021
Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages. Zbl 07398783
Rybakov, Mikhail; Shkatov, Dmitry
5
2021
Complexity of finite-variable fragments of products with K. Zbl 07332113
Rybakov, Mikhail; Shkatov, Dmitry
4
2021
Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages. Zbl 1477.03028
Rybakov, Mikhail; Shkatov, Dmitry
4
2021
Abstract argumentation and the rational man. Zbl 07332122
Kampik, Timotheus; Nieves, Juan Carlos
4
2021
Completeness theorems for first-order logic analysed in constructive type theory. Extended version. Zbl 07471462
Forster, Yannick; Kirst, Dominik; Wehr, Dominik
4
2021
Relating structure and power: comonadic semantics for computational resources. Zbl 1509.03097
Abramsky, Samson; Shah, Nihil
4
2021
Fibrational bisimulations and quantitative reasoning: extended version. Zbl 1509.18026
Sprunger, David; Katsumata, Shin-ya; Dubut, Jérémy; Hasuo, Ichiro
4
2021
Dualities and algebraic geometry of Baire functions in non-classical logic. Zbl 07423156
Di Nola, Antonio; Lapenta, Serafina; Lenzi, Giacomo
3
2021
Negation as a modality in a quantified setting. Zbl 07398787
Speranski, Stanislav O.
3
2021
Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic. Zbl 07423146
Tesi, Matteo; Negri, Sara
2
2021
Computational errors and suspension in a PWK epistemic agent. Zbl 07423151
Carrara, Massimiliano; Zhu, Wei
2
2021
On the Turing complexity of learning finite families of algebraic structures. Zbl 07423157
Bazhenov, Nikolay; San Mauro, Luca
2
2021
Logics for reasoning about degrees of confirmation. Zbl 07451583
DautoviĆ, Šejla; Doder, Dragan; OgnjanoviĆ, Zoran
2
2021
Modal logics and group polarization. Zbl 07451585
Pedersen, Mina Young; Smets, Sonja; Ågotnes, Thomas
2
2021
Algorithmic correspondence and canonicity for possibility semantics. Zbl 07332117
Zhao, Zhiguang
2
2021
Extensional realizability for intuitionistic set theory. Zbl 07332121
Frittaion, Emanuele; Rathjen, Michael
2
2021
On the correspondence between nested calculi and semantic systems for intuitionistic logics. Zbl 1509.03033
Lyon, Tim
2
2021
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics. Zbl 07398778
Girlando, Marianna; Negri, Sara; Olivetti, Nicola
2
2021
Logics of formal inconsistency based on distributive involutive residuated lattices. Zbl 07398782
Esteva, F.; Figallo-Orellano, A.; Flaminio, T.; Godo, L.
2
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
2
2021
A recursion theoretic foundation of computation over real numbers. Zbl 07423148
Ng, Keng Meng; Tavana, Nazanin R.; Yang, Yue
1
2021
Topological semantics of conservativity and interpretability logics. Zbl 07423150
Iwata, Sohei; Kurahashi, Taishi
1
2021
Epistemic extensions of substructural inquisitive logics. Zbl 07423154
Punčochář, Vít; Sedlár, Igor
1
2021
Frame definability, canonicity and cut elimination in common sense modal predicate logics. Zbl 07451573
Sawasaki, Takahiro; Sano, Katsuhiko
1
2021
Group belief. Zbl 07451574
Ågotnes, Thomas; Wáng, Yì N.
1
2021
Ambiguity and context learning in signalling games. Zbl 07451575
Tang, Liping
1
2021
Semirings of evidence. Zbl 07451579
Baur, Michael; Studer, Thomas
1
2021
Guaranteeing admissibility of abstract argumentation frameworks with rationality and feasibility constraints. Zbl 07451581
Chen, Weiwei
1
2021
Type inhabitation of atomic polymorphism is undecidable. Zbl 07332112
Protin, M. Clarence
1
2021
Probabilities of first-order sentences on sparse random relational structures: an application to definability on random CNF formulas. Zbl 07332114
Larrauri, Lázaro Alberto
1
2021
On the strongest three-valued paraconsistent logic contained in classical logic and its dual. Zbl 07332119
Middelburg, C. A.
1
2021
Operator algebras with hyperarithmetic theory. Zbl 07332120
Goldbring, Isaac; Hart, Bradd
1
2021
Feedback hyperjump. Zbl 1509.03134
Aguilera, Juan P.; Lubarsky, Robert S.
1
2021
Knowledge of uncertain worlds: programming with logical constraints. Zbl 1509.68038
Liu, Yanhong A.; Stoller, Scott D.
1
2021
Parameterized complexity of abduction in Schaefer’s framework. Zbl 1509.68111
Mahmood, Yasir; Meier, Arne; Schmidt, Johannes
1
2021
Categorical and algebraic aspects of the intuitionistic modal logic \(\mathrm{IEL}^{\text{--}}\) and its predicate extensions. Zbl 1510.03011
Rogozin, Daniel
1
2021
Intuitionistic multi-agent subatomic natural deduction for belief and knowledge. Zbl 07398772
Więckowski, Bartosz
1
2021
Internal proof calculi for modal logics with separating conjunction. Zbl 07398775
Demri, Stéphane; Fervari, Raul; Mansutti, Alessio
1
2021
Labelled cyclic proofs for separation logic. Zbl 07398776
Galmiche, Didier; Méry, Daniel
1
2021
Labelled calculi for quantified modal logics with definite descriptions. Zbl 07398777
Orlandelli, Eugenio
1
2021
Notes on conjunctive and quasi degrees. Zbl 07398786
Chitaia, Irakli; Omanadze, Roland; Sorbi, Andrea
1
2021
Handling inconsistency in partially preordered ontologies: the Elect method. Zbl 07398788
Belabbes, Sihem; Benferhat, Salem; Chomicki, Jan
1
2021
Reasoning about strategic voting in modal logic quickly becomes undecidable. Zbl 07399897
Parmann, Erik; Ågotnes, Thomas
1
2021
Steps and traces. Zbl 1509.18003
Rot, Jurriaan; Jacobs, Bart; Levy, Paul Blain
1
2021
Open sets in computability theory and reverse mathematics. Zbl 1472.03012
Normann, Dag; Sanders, Sam
14
2020
The language of epistemic specifications (refined) including a prototype solver. Zbl 1489.68272
Kahl, Patrick; Watson, Richard; Balai, Evgenii; Gelfond, Michael; Zhang, Yuanlin
14
2020
Optimum stable model search: algorithms and implementation. Zbl 1487.68206
Alviano, Mario; Dodaro, Carmine; Marques-Silva, Joao; Ricca, Francesco
8
2020
Embeddings of Bishop spaces. Zbl 1515.03224
Petrakis, Iosif
8
2020
Losing connection: the modal logic of definable link deletion. Zbl 1509.03072
Li, Dazhu
6
2020
Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages. Zbl 07285871
Rybakov, Mikhail; Shkatov, Dmitry
5
2020
On uniform belief revision. Zbl 1464.03014
Aravanis, Theofanis
4
2020
The unreasonable effectiveness of nonstandard analysis. Zbl 1516.03023
Sanders, Sam
4
2020
First-order swap structures semantics for some logics of formal inconsistency. Zbl 07285868
Coniglio, Marcelo E.; Figallo-Orellano, Aldo; Golzio, Ana C.
3
2020
Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities. Zbl 1515.03220
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
3
2020
Probabilistic justification logic. Zbl 1515.03073
Kokkinis, Ioannis; Ognjanović, Zoran; Studer, Thomas
3
2020
Recursive enumerability and elementary frame definability in predicate modal logic. Zbl 1515.03106
Rybakov, Mikhail; Shkatov, Dmitry
3
2020
Ordered models for concept representation. Zbl 07285864
Freund, Michael
2
2020
Founded semantics and constraint semantics of logic rules. Zbl 07285901
Liu, Yanhong A.; Stoller, Scott D.
2
2020
Multi-dimensional interpretations of Presburger arithmetic in itself. Zbl 07285903
Pakhomov, Fedor; Zapryagaev, Alexander
2
2020
Declarative encodings of acyclicity properties. Zbl 1487.68222
Gebser, Martin; Janhunen, Tomi; Rintanen, Jussi
2
2020
Power Kripke-Platek set theory and the axiom of choice. Zbl 1515.03201
Rathjen, Michael
2
2020
A study of possible-worlds semantics of relevance-sensitive belief revision. Zbl 1509.03061
Aravanis, Theofanis; Peppas, Pavlos; Williams, Mary-Anne
2
2020
Self-full ceers and the uniform join operator. Zbl 1509.03125
Andrews, Uri; Schweber, Noah; Sorbi, Andrea
2
2020
Rational coordination with no communication or conventions. Zbl 07285865
Goranko, Valentin; Kuusisto, Antti; Rönnholm, Raine
1
2020
Convergence, continuity, recurrence and Turing completeness in dynamic epistemic logic. Zbl 07285866
Klein, Dominik; Rendsvig, Rasmus K.
1
2020
Space and time complexity for infinite time Turing machines. Zbl 07285867
Carl, Merlin
1
2020
A logic of blockchain updates. Zbl 07285897
Brünnler, Kai; Flumini, Dandolo; Studer, Thomas
1
2020
Polyteam semantics. Zbl 1505.03071
Hannula, Miika; Kontinen, Juha; Virtema, Jonni
1
2020
...and 1061 more Documents
all top 5

Cited by 5,123 Authors

45 Gabbay, Dov M.
39 Godo, Lluís
37 Montanari, Angelo
34 Wansing, Heinrich Theodor
32 van Ditmarsch, Hans Pieter
31 Rybakov, Vladimir Vladimirovich
30 Kamide, Norihiro
29 Arieli, Ofer
29 Avron, Arnon
28 Eiter, Thomas
27 Ognjanović, Zoran
26 Woltran, Stefan
24 Bodirsky, Manuel
24 Sciavicco, Guido
23 Bezhanishvili, Guram
23 Esteva, Francesc
23 Goranko, Valentin F.
23 Iemhoff, Rosalie
23 Montagna, Franco
23 Simari, Guillermo Ricardo
22 Balbiani, Philippe
22 Palmigiano, Alessandra
21 Metcalfe, George
21 van Benthem, Johan F. A. K.
21 Zamansky, Anna
20 Amgoud, Leila
20 Bezhanishvili, Nick
20 Ciabattoni, Agata
20 Flaminio, Tommaso
20 Miller, Dale Allen
20 Peltier, Nicolas
20 Reynolds, Mark Alexander
20 Sala, Pietro
20 Schröder, Lutz
19 Conradie, Willem
19 Demri, Stéphane P.
19 Diaconescu, Răzvan
19 Dixon, Clare
19 Pym, David J.
19 Rivieccio, Umberto
18 Bělohlávek, Radim
18 Hunter, Anthony
18 Olarte, Carlos
18 Pimentel, Elaine
18 Sernadas, Cristina S.
17 Herzig, Andreas
17 Lorini, Emiliano
17 Odintsov, Sergei P.
17 Paoli, Francesco
17 Weidenbach, Christoph
16 Blanchette, Jasmin Christian
16 Galmiche, Didier
16 Hustadt, Ullrich
16 Noguera, Carles
16 Peron, Adriano
16 Rasga, João
16 van der Torre, Leendert W. N.
15 Baader, Franz
15 Bozzelli, Laura
15 Cintula, Petr
15 Japaridze, Giorgi
15 Olivetti, Nicola
15 Toni, Francesca
15 Visser, Albert
15 Waldmann, Uwe
15 Wolter, Frank
15 Wooldridge, Michael J.
14 Ågotnes, Thomas
14 Alechina, Natasha
14 Areces, Carlos
14 Baroni, Pietro
14 Bianchi, Matteo
14 Fisher, Michael
14 Fitting, Melvin Chris
14 Gabbay, Murdoch James
14 Giacomin, Massimiliano
14 Moraschini, Tommaso
14 Pfenning, Frank
14 Rabe, Florian
14 Schaub, Torsten H.
14 Schmidt, Renate A.
14 van der Hoek, Wiebe
14 Velázquez-Quesada, Fernando Raymundo
14 Venema, Yde
14 Vetterlein, Thomas
13 Aceto, Luca
13 Bonacina, Maria Paola
13 Bresolin, Davide
13 Broersen, Jan M.
13 Dunne, Paul E.
13 Gottlob, Georg
13 Kuznetsov, Stepan L’vovich
13 Leone, Nicola
13 Meier, Arne
13 Negri, Sara
13 Nguyen, Linh Anh
13 Nigam, Vivek
13 Pacuit, Eric
13 Perović, Aleksandar
13 Petrukhin, Yaroslav Igorevich
...and 5,023 more Authors
all top 5

Cited in 253 Journals

323 Artificial Intelligence
320 Theoretical Computer Science
247 Studia Logica
191 Annals of Pure and Applied Logic
169 Journal of Applied Non-Classical Logics
154 Information and Computation
143 International Journal of Approximate Reasoning
129 Journal of Philosophical Logic
123 Annals of Mathematics and Artificial Intelligence
121 Journal of Automated Reasoning
118 Fuzzy Sets and Systems
114 Journal of Logic, Language and Information
113 Journal of Applied Logic
107 Synthese
101 The Journal of Symbolic Logic
95 Logical Methods in Computer Science
92 MSCS. Mathematical Structures in Computer Science
90 The Review of Symbolic Logic
78 Archive for Mathematical Logic
70 Theory and Practice of Logic Programming
51 Soft Computing
50 Logica Universalis
46 ACM Transactions on Computational Logic
44 Notre Dame Journal of Formal Logic
44 Journal of Logical and Algebraic Methods in Programming
43 Information Sciences
40 Journal of Computer and System Sciences
38 Mathematical Logic Quarterly (MLQ)
37 Formal Aspects of Computing
33 Algebra Universalis
32 Logic and Logical Philosophy
31 The Bulletin of Symbolic Logic
29 Journal of Symbolic Computation
27 Information Processing Letters
27 Formal Methods in System Design
22 Algebra and Logic
22 Bulletin of the Section of Logic
21 Acta Informatica
21 The Journal of Logic and Algebraic Programming
20 Theory of Computing Systems
14 Journal of Functional Programming
14 The Journal of Artificial Intelligence Research (JAIR)
13 Siberian Mathematical Journal
13 Social Choice and Welfare
13 Erkenntnis
13 Logicheskie Issledovaniya
11 SIAM Journal on Computing
11 Order
11 Higher-Order and Symbolic Computation
11 Fundamenta Informaticae
9 Journal of Pure and Applied Algebra
9 New Generation Computing
9 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
9 International Journal of Foundations of Computer Science
9 Topoi
9 Computability
8 Discrete Applied Mathematics
8 International Journal of Theoretical Physics
8 European Journal of Combinatorics
8 Applied Categorical Structures
8 Lobachevskii Journal of Mathematics
7 Transactions of the American Mathematical Society
7 Machine Learning
7 Journal of Mathematical Sciences (New York)
7 Journal of Mathematical Logic
7 Sibirskie Èlektronnye Matematicheskie Izvestiya
6 International Journal of General Systems
6 Mathematica Slovaca
6 Proceedings of the American Mathematical Society
6 Theory and Decision
6 International Journal of Intelligent Systems
6 Computer Languages, Systems & Structures
6 Frontiers of Computer Science
5 Journal of Algebra
5 Journal of Economic Theory
5 Mathematical Social Sciences
5 History and Philosophy of Logic
5 Algorithmica
5 Godishnik na Sofiĭskiya Universitet “Sv. Kliment Okhridski”. Fakultet po Matematika i Informatika
5 International Journal of Computer Mathematics
5 Indagationes Mathematicae. New Series
5 Constraints
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 Iranian Journal of Fuzzy Systems
5 RAIRO. Theoretical Informatics and Applications
4 Israel Journal of Mathematics
4 Science of Computer Programming
4 AI Communications
4 Games and Economic Behavior
4 Russian Mathematics
4 LMS Journal of Computation and Mathematics
4 Natural Computing
4 Oberwolfach Reports
4 Computer Science Review
4 Open Mathematics
4 Journal of Siberian Federal University. Mathematics & Physics
3 Discrete Mathematics
3 Lithuanian Mathematical Journal
...and 153 more Journals
all top 5

Cited in 52 Fields

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

Citations by Year