default search action
Journal 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
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
Maximality in finite-valued Łukasiewicz logics defined by order filters. 125-156 - Jacopo Amidei
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
Prioritized norms in formal argumentation. 215-240 - Ilaria Canavotto
Enriching deontic logic. 241-263 - Fengkui Ju
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
Chisholm's paradox and conditional oughts. 369-386 - Christian Straßer
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
Well-definedness and observational equivalence for inductive-coinductive programs. 419-468 - Liron Cohen
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
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
Towards automated reasoning in Herbrand structures. 693-721 - Javier Álvez, Montserrat Hermo
Automatic white-box testing of first-order logic ontologies. 723-751 - David B. Martens:
Substituting strict equivalents. 753-761 - Paolo Aglianò
|MTL|-algebras as rotations of basic hoops. 763-784 - Giovanna D'Agostino:
Uniform interpolation for propositional and modal team logics. 785-802 - Bojan Marinkovic
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
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
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
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 2024-12-31 21:47 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: