default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jancl/jancl17.bht:"
download as .bib file
@article{DBLP:journals/jancl/Aucher07,
author = {Guillaume Aucher},
title = {Interpreting an action from what we perceive and what we expect},
journal = {J. Appl. Non Class. Logics},
volume = {17},
number = {1},
pages = {9--38},
year = {2007},
url = {https://doi.org/10.3166/jancl.17.9-38},
doi = {10.3166/JANCL.17.9-38},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Aucher07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/BalbianiTV07,
author = {Philippe Balbiani and
Tinko Tinchev and
Dimiter Vakarelov},
title = {Dynamic logics of the region-based theory of discrete spaces},
journal = {J. Appl. Non Class. Logics},
volume = {17},
number = {1},
pages = {39--61},
year = {2007},
url = {https://doi.org/10.3166/jancl.17.39-61},
doi = {10.3166/JANCL.17.39-61},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/BalbianiTV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Benthem07,
author = {Johan van Benthem},
title = {Dynamic logic for belief revision},
journal = {J. Appl. Non Class. Logics},
volume = {17},
number = {2},
pages = {129--155},
year = {2007},
url = {https://doi.org/10.3166/jancl.17.129-155},
doi = {10.3166/JANCL.17.129-155},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Benthem07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/BenthemL07,
author = {Johan van Benthem and
Fenrong Liu},
title = {Dynamic logic of preference upgrade},
journal = {J. Appl. Non Class. Logics},
volume = {17},
number = {2},
pages = {157--182},
year = {2007},
url = {https://doi.org/10.3166/jancl.17.157-182},
doi = {10.3166/JANCL.17.157-182},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/BenthemL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Brauner07,
author = {Torben Bra{\"{u}}ner},
title = {Why does the proof-theory of hybrid logic work so well?},
journal = {J. Appl. Non Class. Logics},
volume = {17},
number = {4},
pages = {521--543},
year = {2007},
url = {https://doi.org/10.3166/jancl.17.521-543},
doi = {10.3166/JANCL.17.521-543},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Brauner07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Cantwell07,
author = {John Cantwell},
title = {A model for updates in a multi-agent setting},
journal = {J. Appl. Non Class. Logics},
volume = {17},
number = {2},
pages = {183--196},
year = {2007},
url = {https://doi.org/10.3166/jancl.17.183-196},
doi = {10.3166/JANCL.17.183-196},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Cantwell07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/DitmarschH07,
author = {Hans van Ditmarsch and
Andreas Herzig},
title = {Foreword},
journal = {J. Appl. Non Class. Logics},
volume = {17},
number = {2},
pages = {125--128},
year = {2007},
url = {https://doi.org/10.1080/11663081.2007.9736573},
doi = {10.1080/11663081.2007.9736573},
timestamp = {Tue, 16 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/DitmarschH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/DunneHW07,
author = {Paul E. Dunne and
Wiebe van der Hoek and
Michael J. Wooldridge},
title = {A logical characterisation of qualitative coalitional games},
journal = {J. Appl. Non Class. Logics},
volume = {17},
number = {4},
pages = {477--509},
year = {2007},
url = {https://doi.org/10.3166/jancl.17.477-509},
doi = {10.3166/JANCL.17.477-509},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jancl/DunneHW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Gerbrandy07,
author = {Jelle Gerbrandy},
title = {Communication strategies in games},
journal = {J. Appl. Non Class. Logics},
volume = {17},
number = {2},
pages = {197--211},
year = {2007},
url = {https://doi.org/10.3166/jancl.17.197-211},
doi = {10.3166/JANCL.17.197-211},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Gerbrandy07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Girard07,
author = {Patrick Girard},
title = {From onions to broccoli: generalizing Lewis' counterfactual logic},
journal = {J. Appl. Non Class. Logics},
volume = {17},
number = {2},
pages = {213--229},
year = {2007},
url = {https://doi.org/10.3166/jancl.17.213-229},
doi = {10.3166/JANCL.17.213-229},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Girard07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Golinska-Pilarek07,
author = {Joanna Golinska{-}Pilarek},
title = {Rasiowa-Sikorski proof system for the non-Fregean sentential logic
{SCI}},
journal = {J. Appl. Non Class. Logics},
volume = {17},
number = {4},
pages = {511--519},
year = {2007},
url = {https://doi.org/10.3166/jancl.17.511-519},
doi = {10.3166/JANCL.17.511-519},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Golinska-Pilarek07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/JamrogaA07,
author = {Wojciech Jamroga and
Thomas {\AA}gotnes},
title = {Constructive knowledge: what agents can achieve under imperfect information},
journal = {J. Appl. Non Class. Logics},
volume = {17},
number = {4},
pages = {423--475},
year = {2007},
url = {https://doi.org/10.3166/jancl.17.423-475},
doi = {10.3166/JANCL.17.423-475},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/JamrogaA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Kamide07,
author = {Norihiro Kamide},
title = {Towards a theory of resource: an approach based on soft exponentials},
journal = {J. Appl. Non Class. Logics},
volume = {17},
number = {1},
pages = {63--89},
year = {2007},
url = {https://doi.org/10.3166/jancl.17.63-89},
doi = {10.3166/JANCL.17.63-89},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Kamide07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Kooi07,
author = {Barteld P. Kooi},
title = {Expressivity and completeness for public update logics via reduction
axioms},
journal = {J. Appl. Non Class. Logics},
volume = {17},
number = {2},
pages = {231--253},
year = {2007},
url = {https://doi.org/10.3166/jancl.17.231-253},
doi = {10.3166/JANCL.17.231-253},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Kooi07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Mardaev07,
author = {S. Mardaev},
title = {Definable fixed points in modal and temporal logics : {A} survey},
journal = {J. Appl. Non Class. Logics},
volume = {17},
number = {3},
pages = {317--346},
year = {2007},
url = {https://doi.org/10.3166/jancl.17.317-346},
doi = {10.3166/JANCL.17.317-346},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Mardaev07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Roelofsen07,
author = {Floris Roelofsen},
title = {Distributed knowledge},
journal = {J. Appl. Non Class. Logics},
volume = {17},
number = {2},
pages = {255--273},
year = {2007},
url = {https://doi.org/10.3166/jancl.17.255-273},
doi = {10.3166/JANCL.17.255-273},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Roelofsen07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Romanov07,
author = {A. Romanov},
title = {De Jongh and Glivenko theorems for equality theories},
journal = {J. Appl. Non Class. Logics},
volume = {17},
number = {3},
pages = {347--358},
year = {2007},
url = {https://doi.org/10.3166/jancl.17.347-357},
doi = {10.3166/JANCL.17.347-357},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Romanov07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Rybakov07,
author = {Mikhail N. Rybakov},
title = {Complexity of finite-variable fragments {M} of EXPTIME-complete logics},
journal = {J. Appl. Non Class. Logics},
volume = {17},
number = {3},
pages = {359--382},
year = {2007},
url = {https://doi.org/10.3166/jancl.17.359-382},
doi = {10.3166/JANCL.17.359-382},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Rybakov07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Rybakov07a,
author = {Vladimir V. Rybakov},
title = {Logics with the universal modality and admissible consecutions},
journal = {J. Appl. Non Class. Logics},
volume = {17},
number = {3},
pages = {383--396},
year = {2007},
url = {https://doi.org/10.3166/jancl.17.383-396},
doi = {10.3166/JANCL.17.383-396},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Rybakov07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Shapirovsky07,
author = {Ilya Shapirovsky},
title = {Modal logics of closed domains on Minkowski plane},
journal = {J. Appl. Non Class. Logics},
volume = {17},
number = {3},
pages = {397--414},
year = {2007},
url = {https://doi.org/10.3166/jancl.17.397-414},
doi = {10.3166/JANCL.17.397-414},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Shapirovsky07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Szatkowski07,
author = {Miroslaw Szatkowski},
title = {Contingent modal semantics for some variants of Anderson-like ontological
proofs},
journal = {J. Appl. Non Class. Logics},
volume = {17},
number = {1},
pages = {91--114},
year = {2007},
url = {https://doi.org/10.3166/jancl.17.91-114},
doi = {10.3166/JANCL.17.91-114},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Szatkowski07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/YavorskayaR07,
author = {Tatiana Yavorskaya and
Natalia Rubtsova},
title = {Operations on proofs and labels},
journal = {J. Appl. Non Class. Logics},
volume = {17},
number = {3},
pages = {283--316},
year = {2007},
url = {https://doi.org/10.3166/jancl.17.283-316},
doi = {10.3166/JANCL.17.283-316},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/YavorskayaR07.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-09-15 23:10 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:
