default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic and Computation, Volume 29
Volume 29, Number 1, January 2019
- Guram Bezhanishvili, Nick Bezhanishvili
, Julia Ilin:
Subframization and stabilization for superintuitionistic logics. 1-35 - Roland Sh. Omanadze:
On the connections between wttwttwttwttwtt- and QQ[Math Processing Error]Q-reducibilities. 37-51 - Zoé Christoff, Pavel Naumov:
Diffusion in social networks with recalcitrant agents. 53-70 - Chrysafis Hartonas:
Discrete duality for lattices with modal operators. 71-89 - Chung-hye Han, Sara Williamson, Logan Born, Anoop Sarkar:
An analysis of clausal coordination using synchronous tree adjoining grammar. 91-123 - Marcelo E. Coniglio, Francesc Esteva, Joan Gispert, Lluís Godo:
Maximality in finite-valued Łukasiewicz logics defined by order filters. 125-156 - Jacopo Amidei, Uri Andrews, Duccio Pianigiani, Luca San Mauro, Andrea Sorbi:
Trial and error mathematics: Dialectical systems and completions of theories. 157-184 - Olivier Roy, Allard M. Tamminga, Malte Willer:
Erratum to: Editorial Reasons, argumentation and justification: DEON 2016 special issue. 185
Volume 29, Number 2, March 2019
- Olivier Roy, Allard M. Tamminga, Malte Willer:
Editorial Reasons, argumentation and justification: DEON 2016 special issue. 185-186 - Mathieu Beirlaen, Jesse Heyninck, Christian Straßer:
Structured argumentation with prioritized conditional obligations and permissions. 187-214 - Beishui Liao, Nir Oren, Leender van der Torre, Serena Villata:
Prioritized norms in formal argumentation. 215-240 - Ilaria Canavotto, Alessandro Giordani:
Enriching deontic logic. 241-263 - Fengkui Ju, Jan van Eijck:
A temporal dynamic deontic logic. 265-284 - Frederik Van De Putte:
Coarse deontic logic. 285-317
Volume 29, Number 3, July 2019
- Special Issue 'deontic modalities in natural language' - selected and revised papers from the 12th International Conference on Deontic Logic and Normative Systems (DEON 2014). 319-320
- Magdalena Kaufmann:
Fine-tuning natural language imperatives. 321-348 - Sven Ove Hansson:
In defence of deontic diversity. 349-367 - Catharine Saint Croix, Richmond H. Thomason:
Chisholm's paradox and conditional oughts. 369-386 - Christian Straßer, Ofer Arieli:
Normative reasoning by sequent-based argumentation. 387-415
Volume 29, Number 4, August 2019
- Dirk Pattinson, Peter Schuster, Ana Sokolova:
Preface for the special issue of Proof, Structure, and Computation 2014. 417-418 - Henning Basold, Helle Hvid Hansen:
Well-definedness and observational equivalence for inductive-coinductive programs. 419-468 - Liron Cohen, Robert L. Constable:
Intuitionistic ancestral logic. 469-486 - Ulrich Berger, Alison Jones, Monika Seisenberger:
Program extraction applied to monadic parsing. 487-518 - Thomas Powell:
Parametrized bar recursion: a unifying framework for realizability interpretations of classical dependent choice. 519-554 - Stefano Berardi, Paulo Oliva, Silvia Steila:
An analysis of the Podelski-Rybalchenko termination theorem via bar recursion. 555-575
Volume 29, Number 5, September 2019
- Riccardo Camerlo, Giovanni Pistone, Fabio Rapallo:
Modal operators and toric ideals. 577-593 - Albert Visser:
From Tarski to Gödel - or how to derive the second incompleteness theorem from the undefinability of truth without self-reference. 595-604 - Lauri Hella, Antti Kuusisto, Arne Meier, Jonni Virtema:
Model checking and validity in propositional and modal inclusion logics. 605-630 - Roberto Ciuni, Thomas Macaulay Ferguson, Damián Enrique Szmuc:
Logics based on linear orders of contaminating values. 631-663 - Sergey Drobyshevich:
A bilateral Hilbert-style investigation of 2-intuitionistic logic. 665-692 - Liron Cohen, Reuben N. S. Rowe, Yoni Zohar:
Towards automated reasoning in Herbrand structures. 693-721 - Javier Álvez, Montserrat Hermo, Paqui Lucio, German Rigau:
Automatic white-box testing of first-order logic ontologies. 723-751 - David B. Martens:
Substituting strict equivalents. 753-761 - Paolo Aglianò, Sara Ugolini:
|MTL|-algebras as rotations of basic hoops. 763-784 - Giovanna D'Agostino:
Uniform interpolation for propositional and modal team logics. 785-802 - Bojan Marinkovic, Paola Glavan, Zoran Ognjanovic, Thomas Studer:
A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol. 803-830 - Giulio Manzonetto, Andrew Polonsky, Alexis Saurin, Jakob Grue Simonsen:
The fixed point property and a technique to harness double fixed point combinators. 831-880
Volume 29, Number 6, October 2019
- Wieslaw Szwast, Lidia Tendera:
On the satisfiability problem for fragments of two-variable logic with one transitive relation. 881-911 - Xiaojuan Liao, Miyuki Koshimura:
A comparative analysis and improvement of MaxSAT encodings for coalition structure generation under MC-nets. 913-931 - Christopher P. Porter:
Effective aspects of Bernoulli randomness. 933-946
- Giuseppe Primiero:
A logic of efficient and optimal designs. 947-968 - Johanna N. Y. Franklin, Dan Turetsky:
Taking the path computably traveled. 969-973 - Matthew Collinson:
A logic of hypothetical conjunction. 975-1009
Volume 29, Number 7, November 2019
- Thomas Ågotnes, Giacomo Bonanno, Wiebe van der Hoek:
Introduction to the special issue. 1011-1013 - Andreea Achimescu, Alexandru Baltag, Joshua Sack:
The probabilistic logic of communication and change. 1015-1040 - Thomas Ågotnes, Natasha Alechina:
Coalition logic with individual, distributed and common knowledge1. 1041-1069 - Davide Grossi, Wiebe van der Hoek, Christos Moyzes, Michael J. Wooldridge:
Program models and semi-public environments. 1071-1097 - Bernhard Heinemann:
Topological facets of the logic of subset spaces (with emphasis on canonical models). 1099-1120 - Jens Ulrik Hansen:
Reasoning about opinion dynamics in social networks. 1121-1137
Volume 29, Number 8, December 2019
- Stéphane Demri, Raul Fervari:
The power of modal separation logics. 1139-1184 - Albert Atserias, Anuj Dawar:
Definable inapproximability: new challenges for duplicator. 1185-1210 - Tristan Charrier, Sophie Pinchinat, François Schwarzentruber:
Symbolic model checking of public announcement protocols. 1211-1249 - Didier Galmiche, Pierre Kimmel, David J. Pym:
A substructural epistemic resource logic: theory and modelling applications. 1251-1287 - Linh Anh Nguyen:
The Influence of the Test Operator on the Expressive Power of PDL-like Logics. 1289-1310 - Lauri Hella, Miikka Vilander:
Formula size games for modal logic and μ-calculus. 1311-1344 - Thomas Powell:
A proof-theoretic study of abstract termination principles. 1345-1366 - Lavinia Corina Ciungu:
Pseudo-BCI algebras with derivations. 1367-1389
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
