default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic and Computation, Volume 25
Volume 25, Number 1, February 2015
- Guram Bezhanishvili, Nick Bezhanishvili
, John Harding:
Modal compact Hausdorff spaces. 1-35
- Xavier Caicedo, Ricardo Oscar Rodríguez:
Bi-modal Gödel logic over [0, 1]-valued Kripke frames. 37-55
- Uwe Wolter, Alfio Martini, Edward Hermann Haeusler:
Towards a uniform presentation of logical systems by indexed categories and adjoint situations. 57-93 - Daniel Gâinâ, Kokichi Futatsugi:
Initial semantics in logics with constructors. 95-116
- Dov M. Gabbay, Christian Straßer:
Reactive standard deontic logic. 117-157 - Paolo Turrini, Davide Grossi, Jan M. Broersen, John-Jules Ch. Meyer:
Forbidding undesirable agreements. 159-178
- Camillo Fiorentini:
Terminating sequent calculi for proving and refuting formulas in S4. 179-205
- Sunil Simon, Krzysztof R. Apt:
Social network games. 207-242
Volume 25, Number 2, April 2015
- Martin W. A. Caminada, Massimiliano Giacomin:
Introducing the Special Issue on 20 Years of Argument-Based Inference. 243-249
- Toshiko Wakaki:
Preference-based argumentation built from prioritized logic programming. 251-301 - Yining Wu, Mikolaj Podlaszewski:
Implementing crash-resistance and non-interference in logic-based argumentation. 303-333
- Staffan Larsson:
Formal semantics for perceptual classification. 335-369 - Dennis Ryan Storoshenko, Chung-Hye Han:
Using synchronous tree adjoining grammar to model the typology of bound variable pronouns. 371-403
- Kuniaki Tamura:
A small model theorem for the hybrid μ-calculus. 405-441
- Sven Ove Hansson:
Representing supererogation. 443-451
- Zoltán Ésik:
Residuated Park theories. 453-471
- Murdoch James Gabbay, Claus-Peter Wirth:
Quantifiers in logic and proof-search using permissive-nominal terms and sets. 473-523
Volume 25, Number 3, June 2015
- Marcello D'Agostino, Luciano Floridi:
The logic and philosophy of information corner: Presentation and call for papers. 525-526
- Arnold Beckmann, Norbert Preining:
Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences. 527-547 - George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren:
Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations. 549-580 - Norihiro Kamide:
Trilattice logic: an embedding-based approach. 581-611 - Eduardo Mizraji:
Differential and integral calculus for logical operations. A matrix-vector approach. 613-638 - Nils Bulling, Matei Popovici:
A game-theoretic approach to compute stable topologies in mobile ad hoc networks. 639-667 - Misha Gavrilovich, Assaf Hasson, Itay Kaplan:
The Univalence Axiom in posetal model categories. 669-682 - Leonardo Manuel Cabrer, Daniele Mundici:
A Stone-Weierstrass theorem for MV-algebras and unital ℓ-groups. 683-699 - Lawrence Peter Belluce, Antonio Di Nola, Giacomo Lenzi:
On generalizing the Nullstellensatz for MV algebras. 701-717 - Louwe B. Kuijer:
The expressivity of update logics. 719-742 - Vincent Demange:
Pedagogical lambda-cube: the λ2 case. 743-779 - Yongfeng Yuan, Shier Ju, Xuefeng Wen:
Evaluative multiple revision based on core beliefs. 781-804 - Andreas Pfandler, Reinhard Pichler, Stefan Woltran:
The complexity of handling minimal solutions in logic-based abduction. 805-825 - Md. Aquil Khan, Mohua Banerjee:
Logics for some dynamic spaces-I. 827-856 - Md. Aquil Khan, Mohua Banerjee:
Logics for some dynamic spaces-II. 857-878 - Miika Hannula, Juha Kontinen:
Hierarchies in independence and inclusion logic with strict semantics. 879-897 - Eugenio G. Omodeo, Alexandru I. Tomescu:
Set Graphs. V. On representing graphs as membership digraphs. 899-919 - Revantha Ramanayake:
Embedding the hypersequent calculus in the display calculus. 921-942 - Giorgio Audrito, Alexandru I. Tomescu, Stephan G. Wagner:
Enumeration of the adjunctive hierarchy of hereditarily finite sets. 943-963
- Frederik S. Herzberg:
Universal algebra for general aggregation theory: Many-valued propositional-attitude aggregators as MV-homomorphisms. 965-977
- Frederik Herzberg:
Corrigendum and addendum to 'Universal algebra for general aggregation theory'. 979-982
Volume 25, Number 4, August 2015
- Alessandra Carbone, Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo:
Computability in Europe 2010. 983-985
- Florin Manea, Carlos Martín-Vide, Victor Mitrana:
Hairpin lengthening: language theoretic and algorithmic results. 987-1009 - Liesbeth De Mol, Martin Carlé, Maarten Bullynck:
Haskell before Haskell: an alternative lesson in practical logics of the ENIAC. 1011-1046 - Giancarlo Mauri, Alberto Leporati, Antonio E. Porreca, Claudio Zandron:
Recent complexity-theoretic results on P systems with active membranes. 1047-1071 - Santiago Figueira, Denis R. Hirschfeldt, Joseph S. Miller, Keng Meng Ng, André Nies:
Counting the changes of random Δ20 sets. 1073-1089 - Edgar G. Daylight:
From mathematical logic to programming-language semantics: a discussion with Tony Hoare. 1091-1110 - Kristina Liefke:
A single-type logic for natural language. 1111-1131 - I. Pour-El, Ning Zhong:
A Tribute to Marian Boykan Pour-El (1928-2009). 1133-1140
Volume 25, Number 5, October 2015
- Henry Prakken, Adam Z. Wyner, Trevor J. M. Bench-Capon, Katie Atkinson:
A formalization of argumentation schemes for legal case-based reasoning in ASPIC+. 1141-1166 - Hadas Peled, Shuly Wintner:
Polynomially parsable unification grammars. 1167-1202 - Alexander Clark:
The syntactic concept lattice: Another algebraic theory of the context-free languages? 1203-1229 - Emil Jerábek:
Blending margins: the modal logic K has nullary unification type. 1231-1240 - Robert Trypuz, Piotr Kulicki:
On deontic action logics based on Boolean algebra. 1241-1260
Volume 25, Number 6, December 2015
- Francesca A. Lisi:
Recent advances of research on Computational Logic in Italy (CILC 2012): In memoriam of Elio Lanzarone (1945-2011). 1261-1262
- Fabio Fioravanti, Maurizio Proietti, Valerio Senni:
Efficient generation of test data structures using constraint logic programming and program transformation. 1263-1283 - Marco Maratea, Luca Pulina, Francesco Ricca:
Multi-engine ASP solving with policy adaptation. 1285-1306 - Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Achieving completeness in the verification of action theories by Bounded Model Checking in ASP. 1307-1330 - Raffaella Gentilini, Carla Piazza, Alberto Policriti:
Rank and simulation: the well-founded case. 1331-1349 - Marco Gavanelli, Maddalena Nonato, Andrea Peano:
An ASP approach for the valves positioning optimization in a water distribution system. 1351-1369 - Stefania Costantini, Federico Gobbo:
Elio Lanzarone: a life for science. 1371-1378
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-11-08 20:19 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:
