## 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
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
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
Constraint satisfaction with countable homogeneous templates. Zbl 1113.03026
Bodirsky, Manuel; Nešetřil, Jaroslav
2006
Reasoning about space: the modal way. Zbl 1054.03015
Aiello, Marco; van Benthem, Johan; Bezhanishvili, Guram
2003
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
The trilattice of constructive truth values. Zbl 0996.03014
Shramko, Yaroslav; Dunn, J. Michael; Takenaka, Tatsutoshi
2001
Agents that reason and negotiate by arguing. Zbl 0904.68061
Parsons, Simon; Sierra, Carles; Jennings, Nick
1998
Algebraic semantics for paraconsistent Nelson’s logic. Zbl 1034.03029
Odintsov, Sergei P.
2003
Robust semantics for argumentation frameworks. Zbl 0933.68088
1999
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
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
Operators and laws for combining preference relations. Zbl 1008.91027
Andréka, Hajnal; Ryan, Mark; Schobbens, Pierre-Yves
2002
Semi-stable semantics. Zbl 1267.68223
Caminada, Martin W. A.; Carnielli, Walter A.; Dunne, Paul E.
2012
Internalizing labelled deduction. Zbl 0953.03018
Blackburn, Patrick
2000
Termination for hybrid tableaus. Zbl 1140.03005
Bolander, Thomas; Blackburn, Patrick
2007
Compositionality through an operational semantics of contexts. Zbl 0738.68056
Larsen, Kim G.; Liu, Xinxin
1991
Hypersequent calculi for Gödel logics – a survey. Zbl 1051.03046
Baaz, Matthias; Ciabattoni, Agata; Fermüller, Christian G.
2003
A decision procedure and complete axiomatization of finite interval temporal logic with projection. Zbl 1050.03012
Bowman, Howard; Thompson, Simon
2003
Semantics-based translation methods for modal logics. Zbl 0746.03010
Ohlbach, H. J.
1991
The dynamic logic of permission. Zbl 0855.03008
van der Meyden, Ron
1996
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
2009
Reasoning about rational, but not logically omniscient, agents. Zbl 0884.03026
Ho Ngoc Duc
1997
Constructive logic with strong negation as a substructural logic. Zbl 1205.03040
Busaniche, Manuela; Cignoli, Roberto
2010
Exemplaric expressivity of modal logics. Zbl 1234.03009
Jacobs, Bart; Sokolova, Ana
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
Hyperresolution and automated model building. Zbl 0861.68086
Fermüller, Christian; Leitsch, Alexander
1996
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
PSpace reasoning for graded modal logics. Zbl 0992.03028
Tobies, Stephan
2001
Coherence and flexibility in dialogue games for argumentation. Zbl 1092.03014
Prakken, Henry
2005
Four-valued modal logic: Kripke semantics and duality. Zbl 1444.03073
Rivieccio, Umberto; Jung, Achim; Jansana, Ramon
2017
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
Propositions as [types]. Zbl 1050.03016
Awodey, Steven; Bauer, Andrej
2004
Properties and complexity of some formal inter-agent dialogues. Zbl 1038.03037
Parsons, Simon; Wooldridge, Michael; Amgoud, Leila
2003
Falsification, natural deduction and bi-intuitionistic logic. Zbl 1444.03009
Wansing, Heinrich
2016
Tableaux for logics of subinterval structures over dense orderings. Zbl 1188.03009
Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sala, Pietro
2010
Admissible rules of Łukasiewicz logic. Zbl 1216.03042
Jerábek, Emil
2010
Sequent calculi for normal modal propositional logics. Zbl 0799.03014
Wansing, Heinrich
1994
Optimizing description logic subsumption. Zbl 0940.03038
Horrocks, Ian; Patel-Schneider, Peter F.
1999
Some syntactical observations on linear logic. Zbl 0745.03025
Schellinx, Harold
1991
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
Bi-modal Gödel logic over $$[0,1]$$-valued Kripke frames. Zbl 1371.03035
Caicedo, Xavier; Rodríguez, Ricardo Oscar
2015
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
Epistemic actions as resources. Zbl 1183.03010
2007
On product logic with truth-constants. Zbl 1102.03030
Savický, Petr; Cignoli, Roberto; Esteva, Francesc; Godo, Lluís; Noguera, Carles
2006
Introduction to cirquent calculus and abstract resource semantics. Zbl 1113.03023
Japaridze, Giorgi
2006
The collapse of the bounded width hierarchy. Zbl 1353.68107
Barto, Libor
2016
Linear temporal logic LTL: basis for admissible rules. Zbl 1233.03026
2011
Algorithmic randomness of closed sets. Zbl 1155.03031
Barmpalias, George; Brodhead, Paul; Cenzer, Douglas; Dashti, Seyyed; Weber, Rebecca
2007
A linearization of the lambda-calculus and consequences. Zbl 0953.03014
Kfoury, Assaf J.
2000
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
Fibring of logics as a categorial construction. Zbl 0942.03064
1999
Spectra of high$$_n$$ and non-low$$_n$$ degrees. Zbl 1260.03068
Frolov, Andrey; Kalimullin, Iskander; Harizanov, Valentina; Kudinov, Oleg; Miller, Russell
2012
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
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
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
Quantitative information flow, relations and polymorphic types. Zbl 1101.68560
Clark, David; Hunt, Sebastian; Malacaria, Pasquale
2005
The Frobenius anatomy of word meanings. I: Subject and object relative pronouns. Zbl 1320.68207
2013
Aggregating partially ordered preferences. Zbl 1162.91343
Pini, Maria Silvia; Rossi, Francesca; Venable, Kristen Brent; Walsh, Toby
2009
On instance-level update and erasure in description logic ontologies. Zbl 1181.68274
de Giacomo, Giuseppe; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo
2009
Bilattices and modal operators. Zbl 0743.03011
Ginsberg, Matthew L.
1990
Borel complexity of topological operations on computable metric spaces. Zbl 1169.03047
Brattka, Vasco; Gherardi, Guido
2009
Tableaux for public announcement logic. Zbl 1189.03019
Balbiani, Philippe; van Ditmarsch, Hans; Herzig, Andreas; de Lima, Tiago
2010
The dynamics of syntactic knowledge. Zbl 1118.03008
Ågotnes, Thomas; Alechina, Natasha
2007
The first-order theory of the computably enumerable equivalence relations in the uncountable setting. Zbl 07471451
Andrews, Uri; Lempp, Steffen; Mustafa, Manat; Schweber, Noah D.
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
Dualities and algebraic geometry of Baire functions in non-classical logic. Zbl 07423156
Di Nola, Antonio; Lapenta, Serafina; Lenzi, Giacomo
2021
Negation as a modality in a quantified setting. Zbl 07398787
Speranski, Stanislav O.
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
Ambiguity and context learning in signalling games. Zbl 07451575
Tang, Liping
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
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
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
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
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
Self-full ceers and the uniform join operator. Zbl 07412829
Andrews, Uri; Schweber, Noah; Sorbi, Andrea
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
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
Maximality in finite-valued Łukasiewicz logics defined by order filters. Zbl 1478.03051
Coniglio, Marcelo E.; Esteva, Francesc; Gispert, Joan; Godo, Lluis
2019
On the satisfiability problem for fragments of two-variable logic with one transitive relation. Zbl 1444.03011
Szwast, Wiesław; Tendera, Lidia
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
Formula size games for modal logic and $$\mu$$-calculus. Zbl 1444.03059
Hella, Lauri T.; Vilander, Miikka S.
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
Taking the path computably traveled. Zbl 1444.03139
Franklin, Johanna N. Y.; Turetsky, Dan
2019
Prioritized norms in formal argumentation. Zbl 1444.03067
Liao, Beishui; Oren, Nir; van der Torre, Leendert; Villata, Serena
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
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