# zbMATH — the first resource for mathematics

## Journal of Logic and Computation

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

#### Latest Issues

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

#### Authors

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

#### Fields

 1,124 Mathematical logic and foundations (03-XX) 822 Computer science (68-XX) 67 Order, lattices, ordered algebraic structures (06-XX) 64 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 45 General and overarching topics; collections (00-XX) 27 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) 1 Commutative algebra (13-XX) 1 Integral equations (45-XX) 1 Algebraic topology (55-XX) 1 Statistics (62-XX) 1 Relativity and gravitational theory (83-XX) 1 Systems theory; control (93-XX)

#### Citations contained in zbMATH Open

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

#### Cited by 4,094 Authors

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

#### Cited in 213 Journals

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

#### Cited in 48 Fields

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