default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic and Computation, Volume 21
Volume 21, Number 1, February 2011
- Ivana Cerná
, Boudewijn R. Haverkort:
Parallel and Distributed Methods in Verification. 1-3
- Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde:
Parallel SAT Solving in Bounded Model Checking. 5-21 - Jiri Barnat, Jakub Chaloupka, Jaco van de Pol:
Distributed Algorithms for SCC Decomposition. 23-44 - Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber:
A Database Approach to Distributed State-Space Generation. 45-62 - Ming-Ying Chung, Gianfranco Ciardo:
Speculative Image Computation for Distributed Symbolic Reachability Analysis. 63-83 - Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu:
To Parallelize or to Optimize? 85-120
Volume 21, Number 2, April 2011
- Hans van Ditmarsch, Rineke Verbrugge:
The rules of the game are changing: Scientific impact factors and publication strategies among logicians. 121-132
- Christian Straßer, Dunja Seselja:
Towards the Proof-theoretic Unification of Dung's Argumentation Framework: an Adaptive Logic Approach. 133-156
- Sergey Babenyshev, Vladimir V. Rybakov:
Linear Temporal Logic LTL: Basis for Admissible Rules. 157-177 - Hans van Ditmarsch, Andreas Herzig, Tiago de Lima:
From Situation Calculus to Dynamic Epistemic Logic. 179-204
- Enrico Giunchiglia, Marco Maratea:
Introducing Preferences in Planning as Satisfiability. 205-229
- Michal Kozak:
Cyclic Involutive Distributive Full Lambek Calculus is Decidable. 231-252
- Noson S. Yanofsky:
Towards a Definition of an Algorithm. 253-286 - H. Jerome Keisler, Wafik Boulos Lotfallah:
Rank Hierarchies for Generalized Quantifiers. 287-306 - Do Duc Hanh, Phan Minh Dung, Nguyen Duy Hung, Phan Minh Thang:
Inductive Defense for Sceptical Semantics of Extended Argumentation. 307-349 - Paul E. Oppenheimer, Edward N. Zalta:
Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations. 351-374 - Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas:
Preservation by fibring of the finite model property. 375-402
- Richard Banach:
Review of Modeling in Event-B: System and Sofware Engineering, 1st edition, by Jean-Raymond Abrial. 403-404
Volume 21, Number 3, June 2011
- Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra:
Applications of Topological Dualities to Measure Theory in Algebraic Many-valued Logic. 405-406
- Anatolij Dvurecenskij:
On States on MV-algebras and their Applications. 407-427 - Tommaso Flaminio, Lluís Godo, Enrico Marchioni:
On the Logical Formalization of Possibilistic Counterparts of States over n-valued Łukasiewicz Events. 429-446 - Tommaso Flaminio, Franco Montagna:
Models for Many-Valued Probabilistic Reasoning. 447-464 - Roman Fric:
States on Bold Algebras: Categorical Aspects. 465-477 - Tomás Kroupa:
Core of Coalition Games on MV-algebras. 479-492 - Ioana Leustean:
Metric Completions of MV-algebras with States: An Approach to Stochastic Independence. 493-508 - Daniele Mundici:
A Compact [0, 1]-valued First-order Łukasiewicz Logic with Identity on Hilbert Space. 509-525 - Hans Weber:
Measures and Topologies on MV-algebras. 527-539
Volume 21, Number 4, August 2011
- Sergei I. Adian, Lev D. Beklemishev, Albert Visser:
Proof and Computation. 541-542
- Albert Visser:
Can We Make the Second Incompleteness Theorem Coordinate Free? 543-560 - Olivier Laurent:
Intuitionistic Dual-intuitionistic Nets. 561-587 - Lutz Straßburger:
From Deep Inference to Proof Nets via Cut Elimination. 589-624 - Matthias Baaz, Rosalie Iemhoff:
Eskolemization in Intuitionistic Logic. 625-638 - Valery Plisko:
On Two Attempts of Describing Propositional Realizability Logic. 639-663 - Evgenij Dashkov:
Arithmetical Completeness of the Intuitionistic Logic of Proofs. 665-682 - Thomas Icard:
A Topological Study of the Closed Fragment of GLP. 683-696 - Dmitrij P. Skvortsov:
A Remark on Superintuitionistic Predicate Logics of Kripke Frames with Constant and with Nested Domains. 697-713
Volume 21, Number 5, October 2011
- Petr Cintula, George Metcalfe, Carles Noguera:
Special Issue on Mathematical Fuzzy Logic. 715-716
- Rostislav Horcík:
On the Structure of Finite Integral Commutative Residuated Chains. 717-728 - Sándor Jenei:
Structural Description of a Class of Involutive Uninorms via Skew Symmetrization. 729-737 - Félix Bou, Francesc Esteva, Lluís Godo, Ricardo Oscar Rodríguez:
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice. 739-790 - Stefano Aguzzoli, Ottavio M. D'Antona, Vincenzo Marra:
Computing Minimal Axiomatizations in Gödel Propositional Logic. 791-812 - Arnon Avron:
A Simple Proof of Completeness and Cut-admissibility for Propositional Gödel Logic. 813-821 - Petr Hájek:
Comments on Interpretability and Decidability in Fuzzy Logic. 823-828 - Franco Montagna:
A Notion of Coherence for Books on Conditional Events in Many-valued Logic. 829-850 - Radim Belohlávek, Vilém Vychodil:
Codd's Relational Model from the Point of View of Fuzzy Logic. 851-862
Volume 21, Number 6, December 2011
- Zdenka Riecanová, Jan Paseka:
State smearing theorems and the existence of states on some atomic lattice effect algebras. 863-882
- Tijmen R. Daniëls:
Social choice and the logic of simple games. 883-906 - Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
Logic for coalitions with bounded resources. 907-937 - Catalin Dima:
Non-axiomatizability for the linear temporal logic of knowledge with concrete observability. 939-958 - Sanjay Modgil, Trevor J. M. Bench-Capon:
Metalevel argumentation. 959-1003
- Bryan Renne:
Public communication in justification logic. 1005-1034 - Robert Goldblatt:
Cover semantics for quantified lax logic. 1035-1063 - Catarina Carvalho, Víctor Dalmau, Andrei A. Krokhin:
Two new homomorphism dualities and lattice operations. 1065-1092 - Andrea Masini, Luca Viganò, Marco Volpe:
Labelled natural deduction for a bundled branching temporal logic. 1093-1163 - George Georgescu:
Probabilistic models for intuitionistic predicate logic. 1165-1176 - James Brotherston, Alex Simpson:
Sequent calculi for induction and infinite descent. 1177-1216 - Stephen Cranefield, Michael Winikoff:
Verifying social expectations by model checking truncated paths. 1217-1256 - Yue Ma, Guilin Qi, Pascal Hitzler:
Computing inconsistency measure based on paraconsistent semantics. 1257-1281
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:
