Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/igpl/igpl7.bht:"
download as .bib file
@article{DBLP:journals/igpl/AudibertLS99,
author = {Laurent Audibert and
C{\'{e}}dric Lhoussaine and
Karl Schlechta},
title = {Distance Based Revision of Preferential Logics},
journal = {Log. J. {IGPL}},
volume = {7},
number = {4},
pages = {429--446},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.4.429},
doi = {10.1093/JIGPAL/7.4.429},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/AudibertLS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/AvelloneFM99,
author = {Alessandro Avellone and
Mauro Ferrari and
Pierangelo Miglioli},
title = {Duplication-Free Tableau Calculi and Related Cut-Free Sequent Calculi
for the Interpolable Propositional Intermediate Logics},
journal = {Log. J. {IGPL}},
volume = {7},
number = {4},
pages = {447--480},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.4.447},
doi = {10.1093/JIGPAL/7.4.447},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/AvelloneFM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Baltag99,
author = {Alexandru Baltag},
title = {{STS:} {A} Structural Theory of Sets},
journal = {Log. J. {IGPL}},
volume = {7},
number = {4},
pages = {481--515},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.4.481},
doi = {10.1093/JIGPAL/7.4.481},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Baltag99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Benthem99,
author = {Johan van Benthem},
title = {Temporal Patterns and Modal Structure},
journal = {Log. J. {IGPL}},
volume = {7},
number = {1},
pages = {7--26},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.1.7},
doi = {10.1093/JIGPAL/7.1.7},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Benthem99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Beziau99,
author = {Jean{-}Yves B{\'{e}}ziau},
title = {Classical Negation can be Expressed by One of its Halves},
journal = {Log. J. {IGPL}},
volume = {7},
number = {2},
pages = {145--151},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.2.145},
doi = {10.1093/JIGPAL/7.2.145},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Beziau99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BlackburnT99,
author = {Patrick Blackburn and
Miroslava Tzakova},
title = {Hybrid Languages and Temporal Logic},
journal = {Log. J. {IGPL}},
volume = {7},
number = {1},
pages = {27--54},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.1.27},
doi = {10.1093/JIGPAL/7.1.27},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BlackburnT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BridgesD99,
author = {Douglas S. Bridges and
Luminita Dediu},
title = {Weak Continuity Properties in Constructive Analysis},
journal = {Log. J. {IGPL}},
volume = {7},
number = {3},
pages = {277--281},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.3.277},
doi = {10.1093/JIGPAL/7.3.277},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BridgesD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BrinkR99,
author = {Chris Brink and
Ingrid Rewitzky},
title = {Finite-Cofinite Program Relations},
journal = {Log. J. {IGPL}},
volume = {7},
number = {2},
pages = {153--172},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.2.153},
doi = {10.1093/JIGPAL/7.2.153},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BrinkR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BrodaFR99,
author = {Krysia Broda and
Marcelo Finger and
Alessandra Russo},
title = {Labelled Natural Deduction for Substructural Logics},
journal = {Log. J. {IGPL}},
volume = {7},
number = {3},
pages = {283--318},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.3.283},
doi = {10.1093/JIGPAL/7.3.283},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BrodaFR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CelaniJ99,
author = {Sergio A. Celani and
Ramon Jansana},
title = {Priestley Duality, a Sahlqvist Theorem and a Goldblatt-Thomason Theorem
for Positive Modal Logic},
journal = {Log. J. {IGPL}},
volume = {7},
number = {6},
pages = {683--715},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.6.683},
doi = {10.1093/JIGPAL/7.6.683},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CelaniJ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Dams99,
author = {Dennis Dams},
title = {Flat Fragments of {CTL} and CTL\({}^{\mbox{*}}\): Separating the Expressive
and Distinguishing Powers},
journal = {Log. J. {IGPL}},
volume = {7},
number = {1},
pages = {55--78},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.1.55},
doi = {10.1093/JIGPAL/7.1.55},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Dams99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Dellunde99,
author = {Pilar Dellunde},
title = {Equality-free Logic: The Method of Diagrams and Preservation Theorems},
journal = {Log. J. {IGPL}},
volume = {7},
number = {6},
pages = {717--732},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.6.717},
doi = {10.1093/JIGPAL/7.6.717},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Dellunde99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Dyckhoff99,
author = {Roy Dyckhoff},
title = {A Deterministic Terminating Sequent Calculus for G{\"{o}}del-Dummett
logic},
journal = {Log. J. {IGPL}},
volume = {7},
number = {3},
pages = {319--326},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.3.319},
doi = {10.1093/JIGPAL/7.3.319},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Dyckhoff99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Ebbinghaus99,
author = {Heinz{-}Dieter Ebbinghaus},
title = {Is There a Logic for Polynomial Time?},
journal = {Log. J. {IGPL}},
volume = {7},
number = {3},
pages = {359--374},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.3.359},
doi = {10.1093/JIGPAL/7.3.359},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Ebbinghaus99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/FiorentiniM99,
author = {Camillo Fiorentini and
Pierangelo Miglioli},
title = {A Cut-free Sequent Calculus for the Logic of Constant Domains with
a Limited Amount of Duplications},
journal = {Log. J. {IGPL}},
volume = {7},
number = {6},
pages = {733--753},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.6.733},
doi = {10.1093/JIGPAL/7.6.733},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/FiorentiniM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Font99,
author = {Josep Maria Font},
title = {Addendum to the paper 'Belnap's four-valued logic and De Morgan lattices'},
journal = {Log. J. {IGPL}},
volume = {7},
number = {5},
pages = {671--672},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.5.671},
doi = {10.1093/JIGPAL/7.5.671},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Font99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Fujita99,
author = {Ken{-}etsu Fujita},
title = {A Binary-Conclusion Natural Deduction System},
journal = {Log. J. {IGPL}},
volume = {7},
number = {4},
pages = {517--545},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.4.517},
doi = {10.1093/JIGPAL/7.4.517},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Fujita99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Gabbay99,
author = {Dov M. Gabbay},
title = {Editorial},
journal = {Log. J. {IGPL}},
volume = {7},
number = {3},
pages = {276},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.3.276},
doi = {10.1093/JIGPAL/7.3.276},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Gabbay99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Gordeev99,
author = {Lew Gordeev},
title = {Variable Compactness in 1-Order Logic},
journal = {Log. J. {IGPL}},
volume = {7},
number = {3},
pages = {327--357},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.3.327},
doi = {10.1093/JIGPAL/7.3.327},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Gordeev99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/HazelhurstS99,
author = {Scott Hazelhurst and
Carl{-}Johan H. Seger},
title = {Model Checking Lattices: Using and reasoning about information orders
for abstraction},
journal = {Log. J. {IGPL}},
volume = {7},
number = {3},
pages = {375--411},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.3.375},
doi = {10.1093/JIGPAL/7.3.375},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/HazelhurstS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Hirsch99,
author = {Robin Hirsch},
title = {A Finite Relation Algebra with Undecidable Network Satisfaction Problem},
journal = {Log. J. {IGPL}},
volume = {7},
number = {4},
pages = {547--554},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.4.547},
doi = {10.1093/JIGPAL/7.4.547},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Hirsch99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Kaminski99,
author = {Michael Kaminski},
title = {Open Default Theories over Closed Domains},
journal = {Log. J. {IGPL}},
volume = {7},
number = {5},
pages = {577--589},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.5.577},
doi = {10.1093/JIGPAL/7.5.577},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Kaminski99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MarxMS99,
author = {Maarten Marx and
Szabolcs Mikul{\'{a}}s and
Stefan Schlobach},
title = {Tableau Calculus for Local Cubic Modal Logic and it's Implementation},
journal = {Log. J. {IGPL}},
volume = {7},
number = {6},
pages = {755--778},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.6.755},
doi = {10.1093/JIGPAL/7.6.755},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/MarxMS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MontanariPP99,
author = {Angelo Montanari and
Adriano Peron and
Alberto Policriti},
title = {Theories of omega-Layered Metric Temporal Structures: Expressiveness
and Decidability},
journal = {Log. J. {IGPL}},
volume = {7},
number = {1},
pages = {79--102},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.1.79},
doi = {10.1093/JIGPAL/7.1.79},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/MontanariPP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MontanariPV99,
author = {Angelo Montanari and
Alberto Policriti and
Yde Venema},
title = {Editorial},
journal = {Log. J. {IGPL}},
volume = {7},
number = {1},
pages = {5--6},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.1.5},
doi = {10.1093/JIGPAL/7.1.5},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/MontanariPV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MorganM99,
author = {Carroll Morgan and
Annabelle McIver},
title = {An Expectation-Transformer Model for Probabilistic Temporal Logic},
journal = {Log. J. {IGPL}},
volume = {7},
number = {6},
pages = {779--804},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.6.779},
doi = {10.1093/JIGPAL/7.6.779},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/MorganM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Naumann99,
author = {Ralf Naumann},
title = {A Dynamic Logic of Events and States for the Interaction between Plural
Quantification and Verb Aspect in Natural Language},
journal = {Log. J. {IGPL}},
volume = {7},
number = {5},
pages = {591--627},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.5.591},
doi = {10.1093/JIGPAL/7.5.591},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Naumann99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/OliveiraQ99,
author = {Anjolina Grisi de Oliveira and
Ruy J. G. B. de Queiroz},
title = {A Normalization Procedure for the Equational Fragment of Labelled
Natural Deduction},
journal = {Log. J. {IGPL}},
volume = {7},
number = {2},
pages = {173--215},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.2.173},
doi = {10.1093/JIGPAL/7.2.173},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/OliveiraQ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Peltier99,
author = {Nicolas Peltier},
title = {Pruning the Search Space and Extracting More Models in Tableaux},
journal = {Log. J. {IGPL}},
volume = {7},
number = {2},
pages = {217--251},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.2.217},
doi = {10.1093/JIGPAL/7.2.217},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Peltier99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Perrier99,
author = {Guy Perrier},
title = {Labelled Proof Nets for the Syntax and Semantics of Natural Languages},
journal = {Log. J. {IGPL}},
volume = {7},
number = {5},
pages = {629--654},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.5.629},
doi = {10.1093/JIGPAL/7.5.629},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Perrier99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/RybakovGO99,
author = {Vladimir V. Rybakov and
{\c{C}}igdem Gencer and
Tahsin Oner},
title = {Description of Modal Logics Inheriting Admissible Rules for {S4}},
journal = {Log. J. {IGPL}},
volume = {7},
number = {5},
pages = {655--664},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.5.655},
doi = {10.1093/JIGPAL/7.5.655},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/RybakovGO99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/RybakovKT99,
author = {Vladimir V. Rybakov and
Vladimir R. Kiyatkin and
Mehmet Terziler},
title = {Independent Bases for Rules Admissible in Pretabular Logics},
journal = {Log. J. {IGPL}},
volume = {7},
number = {2},
pages = {253--266},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.2.253},
doi = {10.1093/JIGPAL/7.2.253},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/RybakovKT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Stirling99,
author = {Colin Stirling},
title = {Bisimulation, Modal Logic and Model Checking Games},
journal = {Log. J. {IGPL}},
volume = {7},
number = {1},
pages = {103--124},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.1.103},
doi = {10.1093/JIGPAL/7.1.103},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Stirling99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/X99,
title = {Conference Report: Logic for Concurrency and Synchronisation {(LOCUS)}},
journal = {Log. J. {IGPL}},
volume = {7},
number = {3},
pages = {412--417},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.3.413},
doi = {10.1093/JIGPAL/7.3.413},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/X99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/X99a,
title = {Conference Report: 6th Workshop on Logic, Language, Information and
Computation (WoLLIC'99)},
journal = {Log. J. {IGPL}},
volume = {7},
number = {4},
pages = {555--566},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.4.555},
doi = {10.1093/JIGPAL/7.4.555},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/X99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/X99b,
title = {First International Workshop on Hybrid Logic (HyLo'99)},
journal = {Log. J. {IGPL}},
volume = {7},
number = {5},
pages = {665--669},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.5.665},
doi = {10.1093/JIGPAL/7.5.665},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/X99b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ZanardoBR99,
author = {Alberto Zanardo and
Bruno Barcellan and
Mark Reynolds},
title = {Non-Definability of the Class of Complete Bundled Trees},
journal = {Log. J. {IGPL}},
volume = {7},
number = {1},
pages = {125--136},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.1.125},
doi = {10.1093/JIGPAL/7.1.125},
timestamp = {Fri, 02 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/ZanardoBR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-05 05:16 CEST from data curated 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:
