default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jolli/jolli18.bht:"
download as .bib file
@article{DBLP:journals/jolli/AgotnesA09,
author = {Thomas {\AA}gotnes and
Natasha Alechina},
title = {Editorial},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {1},
pages = {1--2},
year = {2009},
url = {https://doi.org/10.1007/s10849-008-9076-3},
doi = {10.1007/S10849-008-9076-3},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/AgotnesA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/AgotnesW09,
author = {Thomas {\AA}gotnes and
Dirk Walther},
title = {A Logic of Strategic Ability Under Bounded Memory},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {1},
pages = {55--77},
year = {2009},
url = {https://doi.org/10.1007/s10849-008-9075-4},
doi = {10.1007/S10849-008-9075-4},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/AgotnesW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Akiba09,
author = {Ken Akiba},
title = {A New Theory of Quantifiers and Term Connectives},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {3},
pages = {403--431},
year = {2009},
url = {https://doi.org/10.1007/s10849-009-9095-8},
doi = {10.1007/S10849-009-9095-8},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Akiba09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/AlechinaL09,
author = {Natasha Alechina and
Brian Logan},
title = {A Logic of Situated Resource-Bounded Agents},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {1},
pages = {79--95},
year = {2009},
url = {https://doi.org/10.1007/s10849-008-9073-6},
doi = {10.1007/S10849-008-9073-6},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jolli/AlechinaL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/BraunerB09,
author = {Torben Bra{\"{u}}ner and
Thomas Bolander},
title = {Preface},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {4},
pages = {435--436},
year = {2009},
url = {https://doi.org/10.1007/s10849-009-9094-9},
doi = {10.1007/S10849-009-9094-9},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/BraunerB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Cohen-SygalW09,
author = {Yael Cohen{-}Sygal and
Shuly Wintner},
title = {Associative Grammar Combination Operators for Tree-Based Grammars},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {3},
pages = {293--316},
year = {2009},
url = {https://doi.org/10.1007/s10849-009-9081-1},
doi = {10.1007/S10849-009-9081-1},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Cohen-SygalW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/DixonST09,
author = {Lucas Dixon and
Alan Smaill and
Tracy Tsang},
title = {Plans, Actions and Dialogues Using Linear Logic},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {2},
pages = {251--289},
year = {2009},
url = {https://doi.org/10.1007/s10849-008-9079-0},
doi = {10.1007/S10849-008-9079-0},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/DixonST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/FisherG09,
author = {Michael Fisher and
Chiara Ghidini},
title = {Exploring the Future with Resource-Bounded Agents},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {1},
pages = {3--21},
year = {2009},
url = {https://doi.org/10.1007/s10849-008-9074-5},
doi = {10.1007/S10849-008-9074-5},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/FisherG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Gaines09,
author = {Brian R. Gaines},
title = {Designing Visual Languages for Description Logics},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {2},
pages = {217--250},
year = {2009},
url = {https://doi.org/10.1007/s10849-008-9078-1},
doi = {10.1007/S10849-008-9078-1},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Gaines09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Gulik09,
author = {Stephan van der Waart van Gulik},
title = {Adaptive Fuzzy Logics for Contextual Hedge Interpretation},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {3},
pages = {333--356},
year = {2009},
url = {https://doi.org/10.1007/s10849-009-9084-y},
doi = {10.1007/S10849-009-9084-Y},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Gulik09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Jago09,
author = {Mark Jago},
title = {Epistemic Logic for Rule-Based Agents},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {1},
pages = {131--158},
year = {2009},
url = {https://doi.org/10.1007/s10849-008-9071-8},
doi = {10.1007/S10849-008-9071-8},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Jago09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/KaminskiS09,
author = {Mark Kaminski and
Gert Smolka},
title = {Terminating Tableau Systems for Hybrid Logic with Difference and Converse},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {4},
pages = {437--464},
year = {2009},
url = {https://doi.org/10.1007/s10849-009-9087-8},
doi = {10.1007/S10849-009-9087-8},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/KaminskiS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/KontinenV09,
author = {Juha Kontinen and
Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {On Definability in Dependence Logic},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {3},
pages = {317--332},
year = {2009},
url = {https://doi.org/10.1007/s10849-009-9082-0},
doi = {10.1007/S10849-009-9082-0},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/KontinenV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Lange09,
author = {Martin Lange},
title = {Model Checking for Hybrid Logic},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {4},
pages = {465--491},
year = {2009},
url = {https://doi.org/10.1007/s10849-009-9088-7},
doi = {10.1007/S10849-009-9088-7},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Lange09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/LavaletteKV09,
author = {Gerard R. Renardel de Lavalette and
Barteld P. Kooi and
Rineke Verbrugge},
title = {Strong Completeness and Limited Canonicity for {PDL}},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {2},
pages = {291--292},
year = {2009},
url = {https://doi.org/10.1007/s10849-009-9083-z},
doi = {10.1007/S10849-009-9083-Z},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/LavaletteKV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Liu09,
author = {Fenrong Liu},
title = {Diversity of Agents and Their Interaction},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {1},
pages = {23--53},
year = {2009},
url = {https://doi.org/10.1007/s10849-008-9072-7},
doi = {10.1007/S10849-008-9072-7},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Liu09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/MendezR09,
author = {Jos{\'{e}} M. M{\'{e}}ndez and
Gemma Robles},
title = {The Basic Constructive Logic for Absolute Consistency},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {2},
pages = {199--216},
year = {2009},
url = {https://doi.org/10.1007/s10849-008-9077-2},
doi = {10.1007/S10849-008-9077-2},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/MendezR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/MundhenkS09,
author = {Martin Mundhenk and
Thomas Schneider},
title = {The Complexity of Hybrid Logics over Equivalence Relations},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {4},
pages = {493--514},
year = {2009},
url = {https://doi.org/10.1007/s10849-009-9089-6},
doi = {10.1007/S10849-009-9089-6},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/MundhenkS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/RoblesM09,
author = {Gemma Robles and
Jos{\'{e}} M. M{\'{e}}ndez},
title = {Strong Paraconsistency and the Basic Constructive Logic for an Even
Weaker Sense of Consistency},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {3},
pages = {357--402},
year = {2009},
url = {https://doi.org/10.1007/s10849-009-9085-x},
doi = {10.1007/S10849-009-9085-X},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/RoblesM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Sano09,
author = {Katsuhiko Sano},
title = {Hybrid Counterfactual Logics},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {4},
pages = {515--539},
year = {2009},
url = {https://doi.org/10.1007/s10849-009-9090-0},
doi = {10.1007/S10849-009-9090-0},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jolli/Sano09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/SchwentickB09,
author = {Thomas Schwentick and
Henrik Bj{\"{o}}rklund},
title = {Volker Weber},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {4},
pages = {433},
year = {2009},
url = {https://doi.org/10.1007/s10849-009-9097-6},
doi = {10.1007/S10849-009-9097-6},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/SchwentickB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/SogaardL09,
author = {Anders S{\o}gaard and
Martin Lange},
title = {Polyadic Dynamic Logics for {HPSG} Parsing},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {2},
pages = {159--198},
year = {2009},
url = {https://doi.org/10.1007/s10849-008-9061-x},
doi = {10.1007/S10849-008-9061-X},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/SogaardL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Sustretov09,
author = {Dmitry Sustretov},
title = {Hybrid Logics of Separation Axioms},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {4},
pages = {541--558},
year = {2009},
url = {https://doi.org/10.1007/s10849-009-9091-z},
doi = {10.1007/S10849-009-9091-Z},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Sustretov09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Tulenheimo09,
author = {Tero Tulenheimo},
title = {Hybrid Logic Meets {IF} Modal Logic},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {4},
pages = {559--591},
year = {2009},
url = {https://doi.org/10.1007/s10849-009-9092-y},
doi = {10.1007/S10849-009-9092-Y},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Tulenheimo09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/WalickiBS09,
author = {Michal Walicki and
Marc Bezem and
Wojtek Szajnkenig},
title = {Developing Bounded Reasoning},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {1},
pages = {97--129},
year = {2009},
url = {https://doi.org/10.1007/s10849-008-9070-9},
doi = {10.1007/S10849-008-9070-9},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/WalickiBS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Weber09,
author = {Volker Weber},
title = {Branching-Time Logics Repeatedly Referring to States},
journal = {J. Log. Lang. Inf.},
volume = {18},
number = {4},
pages = {593--624},
year = {2009},
url = {https://doi.org/10.1007/s10849-009-9093-x},
doi = {10.1007/S10849-009-9093-X},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Weber09.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 2025-01-18 20:38 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:
