default search action
Journal 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
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
Towards the Proof-theoretic Unification of Dung's Argumentation Framework: an Adaptive Logic Approach. 133-156
- Sergey Babenyshev
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
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
Inductive Defense for Sceptical Semantics of Extended Argumentation. 307-349 - Paul E. Oppenheimer
Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations. 351-374 - Marcelo E. Coniglio
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
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
On the Logical Formalization of Possibilistic Counterparts of States over n-valued Łukasiewicz Events. 429-446 - Tommaso Flaminio
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
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
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
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
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice. 739-790 - Stefano Aguzzoli
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
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
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
Two new homomorphism dualities and lattice operations. 1065-1092 - Andrea Masini, Luca Viganò
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
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-18 20:48 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: