## 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
all top 5

### Fields

 1,235 Mathematical logic and foundations (03-XX) 917 Computer science (68-XX) 68 Order, lattices, ordered algebraic structures (06-XX) 65 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 50 General and overarching topics; collections (00-XX) 28 Category theory; homological algebra (18-XX) 17 Combinatorics (05-XX) 13 General algebraic systems (08-XX) 10 Quantum theory (81-XX) 10 Information and communication theory, circuits (94-XX) 8 History and biography (01-XX) 5 Operations research, mathematical programming (90-XX) 4 Biology and other natural sciences (92-XX) 3 Group theory and generalizations (20-XX) 3 General topology (54-XX) 3 Probability theory and stochastic processes (60-XX) 2 Measure and integration (28-XX) 2 Partial differential equations (35-XX) 2 Geometry (51-XX) 2 Algebraic topology (55-XX) 1 Commutative algebra (13-XX) 1 Integral equations (45-XX) 1 Statistics (62-XX) 1 Relativity and gravitational theory (83-XX) 1 Systems theory; control (93-XX)

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