default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogic Journal of the IGPL, Volume 22
Volume 22, Number 1, February 2014
- Gemma Robles
, José M. Méndez:
A Routley-Meyer semantics for truth-preserving and well-determined Łukasiewicz 3-valued logics. 1-23 - Ming Hsiung:
Tarski's theorem and liar-like paradoxes. 24-38 - Laureano Lambán, Julio Rubio, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina:
Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm. 39-65 - Natalia Criado, Estefania Argente, Pablo Noriega, Vicente J. Botti:
Reasoning about constitutive norms in BDI agents. 66-93 - David P. Ellerman:
An introduction to partition logic. 94-125 - Maurício D. Luís Reis:
On the interrelation between systems of spheres and epistemic entrenchment relations. 126-146 - David Makinson:
On an inferential semantics for classical logic. 147-154 - Torben Braüner:
First-order hybrid logic: introduction and survey. 155-165 - Pilar Dellunde:
Applications of ultraproducts: from compactness to fuzzy elementary classes. 166-180
Volume 22, Number 2, April 2014
- Walter Alexandre Carnielli, Renata P. de Freitas, Petrucio Viana:
The Proceedings of the XVI EBL - 16th Brazilian Logic Conference, 2011: A Preface. 181-185
- Décio Krause:
The problem of identity and a justification for a non-reflexive quantum mechanics. 186-205 - Lou Goble:
Deontic logic (adapted) for normative conflicts. 206-235 - Julio Michael Stern, Carlos Alberto De Bragança Pereira:
Bayesian epistemic values: focus on surprise, measure probability! 236-254 - Aldo V. Figallo, Gustavo Pelaitay:
Tense operators on De Morgan algebras. 255-267 - José Luis Castiglioni, Rodolfo Cristian Ertola Biraben:
Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation. 268-273 - Marcela Quispe-Cruz, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz, Valeria de Paiva:
Intuitionistic N-Graphs. 274-285 - Alexandre Matos Arruda, Marcelo Finger:
Completeness for cut-based abduction. 286-296 - Wagner de Campos Sanz, Thomas Piecha, Peter Schroeder-Heister:
Constructive semantics, admissibility of rules and the validity of Peirce's law. 297-308 - Carlos Areces, Raul Fervari, Guillaume Hoffmann:
Swap logic. 309-332 - Cécilia Englander, Edward Hermann Haeusler, Luiz Carlos Pereira:
Finitely many-valued logics and natural deduction. 333-354 - Flavio Ferrarotti, Wei Ren, Jose Maria Turull Torres:
Expressing properties in second- and third-order logic: hypercube graphs and SATQBF. 355-386 - Marcelo Esteban Coniglio, Luiz Henrique Da Cruz Silvestrini:
An alternative approach for quasi-truth. 387-410
Volume 22, Number 3, June 2014
- Petr Cintula, Rosalie Iemhoff, Shier Ju:
Editorial: Special issue on non-classical modal and predicate logics. 411-412
- Christian G. Fermüller, Christoph Roschger:
Randomized game semantics for semi-fuzzy quantifiers. 413-439 - Hiroakira Ono, Umberto Rivieccio:
Modal twist-structures over residuated lattices. 440-457 - Katsuhiko Sano, Hitoshi Omori:
An expansion of first-order Belnap-Dunn logic. 458-481 - Shunsuke Yatabe:
On the crispness of ω and arithmetic with a bisimulation in a constructive naive set theory. 482-493 - Zhe Lin:
Non-associative Lambek calculus with modalities: interpolation, complexity and FEP. 494-512
Volume 22, Number 4, August 2014
- Gemma Robles, José M. Méndez:
A paraconsistent 3-valued logic related to Gödel logic G3. 515-538 - Nebojsa Ikodinovic, Miodrag Raskovic, Zoran Markovic, Zoran Ognjanovic:
A first-order probabilistic logic with approximate conditional probabilities. 539-564 - Jonas Rafael Becker Arenhart:
Semantic analysis of non-reflexive logics. 565-584 - Silvio Ghilardi, Grigori Mints:
The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination. 585-596 - Zalán Gyenis:
Interpolation property and homogeneous structures. 597-607 - Ramon Jansana, Umberto Rivieccio:
Dualities for modal N4-lattices. 608-637 - Fausto Barbero, Gabriel Sandu:
Signalling in independence-friendly logic. 638-664 - Vladimir V. Rybakov:
Projective formulas and unification in linear temporal logic LTLU. 665-672 - Mirjana Ilic, Branislav R. Boricic:
A cut-free sequent calculus for relevant logic RW. 673-695 - Sven Ove Hansson:
Decomposition of multiple AGM contraction: possibility and impossibility results. 696-710
Volume 22, Number 5, October 2014
- Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler:
Propositional dynamic logic for Petri nets. 721-736 - Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides:
PDL for structured data: a graph-calculus approach. 737-757 - Andréia Borges Avelar, André Luiz Galdino, Flávio Leonardo Cavalcanti de Moura, Mauricio Ayala-Rincón:
First-order unification in the PVS proof assistant. 758-789 - Valeria de Paiva:
Linear logic model of state revisited. 791-804
Volume 22, Number 6, December 2014
- Luca Alberucci, Jürg Krähenbühl, Thomas Studer:
Justifying induction on modal μ-formulae. 805-817 - Josep Maria Font, Tommaso Moraschini:
Logics of varieties, logics of semilattices and conjunction. 818-843 - Tomasz Kowalski, Antonio Ledda, Francesco Paoli:
Quasi-subtractive varieties: Open filters, congruences and the commutator. 844-871 - Tin Perkov, Mladen Vukovic:
A bisimulation characterization for interpretability logic. 872-879 - Marcelo E. Coniglio, Francesc Esteva, Lluís Godo:
Logics of formal inconsistency arising from systems of fuzzy logic. 880-904 - Frederik Van De Putte, Christian Straßer:
Adaptive logics: a parametric approach. 905-932 - David Fernández-Duque, Joost J. Joosten:
Well-orders in the transfinite Japaridze algebra. 933-963 - Storrs McCall:
Connexive Gentzen. 964-981 - Wenyan Xu:
A propositional system induced by Japaridze's approach to IF logic. 982-991 - Wojciech Dzik, Jouni Järvinen, Michiro Kondo:
Characterizing intermediate tense logics in terms of Galois connections. 992-1018 - Pablo Cordero, Manuel Enciso, Ángel Mora, Inmaculada Perez de Guzmán:
A tableaux-like method to infer all minimal keys. 1019-1044 - Lina García-Cabrera, Nuria Medina-Medina, Pedro J. Sánchez, Luis Martínez-López:
An axiomatic approach to maintaining the consistency of a hypermedia information system based on the SEM-HP model. 1045-1074 - Vladimir Naidenko:
Logics for complexity classes. 1075-1093
- Conferences. 1094-1103
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-10-08 20:36 CEST 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:
