default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/logcom/logcom1.bht:"
download as .bib file
@article{DBLP:journals/logcom/Balbiani91,
author = {Philippe Balbiani},
title = {Modal Logic and Negation as Failure},
journal = {J. Log. Comput.},
volume = {1},
number = {3},
pages = {331--356},
year = {1991},
url = {https://doi.org/10.1093/logcom/1.3.331},
doi = {10.1093/LOGCOM/1.3.331},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Balbiani91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Barringer91,
author = {Howard Barringer},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {1},
number = {5},
pages = {573--574},
year = {1991},
url = {https://doi.org/10.1093/logcom/1.5.573},
doi = {10.1093/LOGCOM/1.5.573},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Barringer91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Benthem91,
author = {Johan van Benthem},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {1},
number = {3},
pages = {301--304},
year = {1991},
url = {https://doi.org/10.1093/logcom/1.3.301},
doi = {10.1093/LOGCOM/1.3.301},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Benthem91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Bezem91,
author = {Marc Bezem},
title = {Semantics and Consistency of Rule-Based Expert Systems},
journal = {J. Log. Comput.},
volume = {1},
number = {4},
pages = {477--495},
year = {1991},
url = {https://doi.org/10.1093/logcom/1.4.477},
doi = {10.1093/LOGCOM/1.4.477},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Bezem91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ConsoleDT91,
author = {Luca Console and
Daniele Theseider Dupr{\'{e}} and
Pietro Torasso},
title = {On the Relationship between Abduction and Deduction},
journal = {J. Log. Comput.},
volume = {1},
number = {5},
pages = {661--690},
year = {1991},
url = {https://doi.org/10.1093/logcom/1.5.661},
doi = {10.1093/LOGCOM/1.5.661},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/ConsoleDT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DavisF91,
author = {Martin Davis and
Ronald Fechter},
title = {A Free Variable Version of the First-Order Predicate Calculus},
journal = {J. Log. Comput.},
volume = {1},
number = {4},
pages = {431--451},
year = {1991},
url = {https://doi.org/10.1093/logcom/1.4.431},
doi = {10.1093/LOGCOM/1.4.431},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/DavisF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Dosen91,
author = {Kosta Dosen},
title = {Rudimentary Beth Models and Conditionally Rudimentary Kripke Models
for the Heyting Propositional Calculus},
journal = {J. Log. Comput.},
volume = {1},
number = {5},
pages = {613--634},
year = {1991},
url = {https://doi.org/10.1093/logcom/1.5.613},
doi = {10.1093/LOGCOM/1.5.613},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Dosen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FiadeiroM91,
author = {Jos{\'{e}} Luiz Fiadeiro and
T. S. E. Maibaum},
title = {Temporal reasoning over deontic specifications},
journal = {J. Log. Comput.},
volume = {1},
number = {3},
pages = {357--395},
year = {1991},
url = {https://doi.org/10.1093/logcom/1.3.357},
doi = {10.1093/LOGCOM/1.3.357},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/FiadeiroM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Fitting91,
author = {Melvin Fitting},
title = {Kleene's Logic, Generalized},
journal = {J. Log. Comput.},
volume = {1},
number = {6},
pages = {797--810},
year = {1991},
url = {https://doi.org/10.1093/logcom/1.6.797},
doi = {10.1093/LOGCOM/1.6.797},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Fitting91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/HallnasS91,
author = {Lars Halln{\"{a}}s and
Peter Schroeder{-}Heister},
title = {A Proof-Theoretic Approach to Logic Programming. {II.} Programs as
Definitions},
journal = {J. Log. Comput.},
volume = {1},
number = {5},
pages = {635--660},
year = {1991},
url = {https://doi.org/10.1093/logcom/1.5.635},
doi = {10.1093/LOGCOM/1.5.635},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/HallnasS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Hodges91,
author = {Wilfrid Hodges},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {1},
number = {6},
pages = {757--759},
year = {1991},
url = {https://doi.org/10.1093/logcom/1.6.757},
doi = {10.1093/LOGCOM/1.6.757},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Hodges91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Holldobler91,
author = {Steffen H{\"{o}}lldobler},
title = {Combining Logic Programming and Equation Solving},
journal = {J. Log. Comput.},
volume = {1},
number = {3},
pages = {397--415},
year = {1991},
url = {https://doi.org/10.1093/logcom/1.3.397},
doi = {10.1093/LOGCOM/1.3.397},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Holldobler91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LarsenX91,
author = {Kim Guldstrand Larsen and
Xinxin Liu},
title = {Compositionality through an Operational Semantics of Contexts},
journal = {J. Log. Comput.},
volume = {1},
number = {6},
pages = {761--795},
year = {1991},
url = {https://doi.org/10.1093/logcom/1.6.761},
doi = {10.1093/LOGCOM/1.6.761},
timestamp = {Tue, 22 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/LarsenX91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LiS91,
author = {Renwei Li and
Am{\'{\i}}lcar Sernadas},
title = {Reasoning about Objects Using a Tableau Method},
journal = {J. Log. Comput.},
volume = {1},
number = {5},
pages = {575--611},
year = {1991},
url = {https://doi.org/10.1093/logcom/1.5.575},
doi = {10.1093/LOGCOM/1.5.575},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/LiS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Miller91,
author = {Dale Miller},
title = {A Logic Programming Language with Lambda-Abstraction, Function Variables,
and Simple Unification},
journal = {J. Log. Comput.},
volume = {1},
number = {4},
pages = {497--536},
year = {1991},
url = {https://doi.org/10.1093/logcom/1.4.497},
doi = {10.1093/LOGCOM/1.4.497},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Miller91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Ohlbach91,
author = {Hans J{\"{u}}rgen Ohlbach},
title = {Semantics-Based Translation Methods for Modal Logics},
journal = {J. Log. Comput.},
volume = {1},
number = {5},
pages = {691--746},
year = {1991},
url = {https://doi.org/10.1093/logcom/1.5.691},
doi = {10.1093/LOGCOM/1.5.691},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Ohlbach91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Schellinx91,
author = {Harold Schellinx},
title = {Some Syntactical Observations on Linear Logic},
journal = {J. Log. Comput.},
volume = {1},
number = {4},
pages = {537--559},
year = {1991},
url = {https://doi.org/10.1093/logcom/1.4.537},
doi = {10.1093/LOGCOM/1.4.537},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Schellinx91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Stark91,
author = {Robert F. St{\"{a}}rk},
title = {A Complete Axiomatization of the Three-Valued Completion of Logic
Programs},
journal = {J. Log. Comput.},
volume = {1},
number = {6},
pages = {811--834},
year = {1991},
url = {https://doi.org/10.1093/logcom/1.6.811},
doi = {10.1093/LOGCOM/1.6.811},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Stark91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Stewart91,
author = {Iain A. Stewart},
title = {Comparing the Expressibility of Languages Formed using NP-Complete
Operators},
journal = {J. Log. Comput.},
volume = {1},
number = {3},
pages = {305--330},
year = {1991},
url = {https://doi.org/10.1093/logcom/1.3.305},
doi = {10.1093/LOGCOM/1.3.305},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Stewart91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Stewart91a,
author = {Iain A. Stewart},
title = {Complete Problems Involving Boolean Labelled Structures and Projection
Transactions},
journal = {J. Log. Comput.},
volume = {1},
number = {6},
pages = {861--882},
year = {1991},
url = {https://doi.org/10.1093/logcom/1.6.861},
doi = {10.1093/LOGCOM/1.6.861},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Stewart91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Tennant91,
author = {Neil Tennant},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {1},
number = {4},
pages = {427--430},
year = {1991},
url = {https://doi.org/10.1093/logcom/1.4.427},
doi = {10.1093/LOGCOM/1.4.427},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Tennant91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Venema91,
author = {Yde Venema},
title = {A Modal Logic for Chopping Intervals},
journal = {J. Log. Comput.},
volume = {1},
number = {4},
pages = {453--476},
year = {1991},
url = {https://doi.org/10.1093/logcom/1.4.453},
doi = {10.1093/LOGCOM/1.4.453},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Venema91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Wagner91,
author = {Gerd Wagner},
title = {Logic Programming with Strong Negation and Inexact Predicates},
journal = {J. Log. Comput.},
volume = {1},
number = {6},
pages = {835--859},
year = {1991},
url = {https://doi.org/10.1093/logcom/1.6.835},
doi = {10.1093/LOGCOM/1.6.835},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Wagner91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Abramsky90,
author = {Samson Abramsky},
title = {Abstract Interpretation, Logical Relations and Kan Extensions},
journal = {J. Log. Comput.},
volume = {1},
number = {1},
pages = {5--40},
year = {1990},
url = {https://doi.org/10.1093/logcom/1.1.5},
doi = {10.1093/LOGCOM/1.1.5},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Abramsky90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FiadeiroS90,
author = {Jos{\'{e}} Luiz Fiadeiro and
Am{\'{\i}}lcar Sernadas},
title = {Logics of Modal Terms for Systems Specification},
journal = {J. Log. Comput.},
volume = {1},
number = {2},
pages = {187--227},
year = {1990},
url = {https://doi.org/10.1093/logcom/1.2.187},
doi = {10.1093/LOGCOM/1.2.187},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/FiadeiroS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Fitting90,
author = {Melvin Fitting},
title = {Destructive Modal Resolution},
journal = {J. Log. Comput.},
volume = {1},
number = {1},
pages = {83--97},
year = {1990},
url = {https://doi.org/10.1093/logcom/1.1.83},
doi = {10.1093/LOGCOM/1.1.83},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Fitting90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Gabbay90,
author = {Dov M. Gabbay},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {1},
number = {1},
pages = {1--4},
year = {1990},
url = {https://doi.org/10.1093/logcom/1.1.1},
doi = {10.1093/LOGCOM/1.1.1},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Gabbay90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GabbayH90,
author = {Dov M. Gabbay and
Ian M. Hodkinson},
title = {An Axiomitization of the Temporal Logic with Until and Since over
the Real Numbers},
journal = {J. Log. Comput.},
volume = {1},
number = {2},
pages = {229--259},
year = {1990},
url = {https://doi.org/10.1093/logcom/1.2.229},
doi = {10.1093/LOGCOM/1.2.229},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GabbayH90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Ginsberg90,
author = {Matthew L. Ginsberg},
title = {Bilattices and Modal Operators},
journal = {J. Log. Comput.},
volume = {1},
number = {1},
pages = {41--69},
year = {1990},
url = {https://doi.org/10.1093/logcom/1.1.41},
doi = {10.1093/LOGCOM/1.1.41},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Ginsberg90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/HallnasS90,
author = {Lars Halln{\"{a}}s and
Peter Schroeder{-}Heister},
title = {A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules},
journal = {J. Log. Comput.},
volume = {1},
number = {2},
pages = {261--283},
year = {1990},
url = {https://doi.org/10.1093/logcom/1.2.261},
doi = {10.1093/LOGCOM/1.2.261},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/HallnasS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/HillLS90,
author = {Patricia M. Hill and
John W. Lloyd and
John C. Shepherdson},
title = {Properties of a Pruning Operator},
journal = {J. Log. Comput.},
volume = {1},
number = {1},
pages = {99--143},
year = {1990},
url = {https://doi.org/10.1093/logcom/1.1.99},
doi = {10.1093/LOGCOM/1.1.99},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/HillLS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KaminskiT90,
author = {Michael Kaminski and
Michael L. Tiomkin},
title = {Finite and Circular Path Models for Branching Time Logics},
journal = {J. Log. Comput.},
volume = {1},
number = {1},
pages = {71--82},
year = {1990},
url = {https://doi.org/10.1093/logcom/1.1.71},
doi = {10.1093/LOGCOM/1.1.71},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/KaminskiT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LaenensV90,
author = {Els Laenens and
Dirk Vermeir},
title = {A Fixpoint Semantics for Ordered Logic},
journal = {J. Log. Comput.},
volume = {1},
number = {2},
pages = {159--185},
year = {1990},
url = {https://doi.org/10.1093/logcom/1.2.159},
doi = {10.1093/LOGCOM/1.2.159},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/LaenensV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Nute90,
author = {Donald Nute},
title = {Editorial},
journal = {J. Log. Comput.},
volume = {1},
number = {2},
pages = {155--158},
year = {1990},
url = {https://doi.org/10.1093/logcom/1.2.155},
doi = {10.1093/LOGCOM/1.2.155},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Nute90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-12-19 06:07 CET 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:
