Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic, Language and Information, Volume 18
Volume 18, Number 1, January 2009
- Thomas Ågotnes, Natasha Alechina:
Editorial. 1-2 - Michael Fisher
, Chiara Ghidini:
Exploring the Future with Resource-Bounded Agents. 3-21 - Fenrong Liu:
Diversity of Agents and Their Interaction. 23-53 - Thomas Ågotnes, Dirk Walther:
A Logic of Strategic Ability Under Bounded Memory. 55-77 - Natasha Alechina, Brian Logan:
A Logic of Situated Resource-Bounded Agents. 79-95 - Michal Walicki, Marc Bezem, Wojtek Szajnkenig:
Developing Bounded Reasoning. 97-129 - Mark Jago:
Epistemic Logic for Rule-Based Agents. 131-158
Volume 18, Number 2, April 2009
- Anders Søgaard, Martin Lange:
Polyadic Dynamic Logics for HPSG Parsing. 159-198 - José M. Méndez, Gemma Robles:
The Basic Constructive Logic for Absolute Consistency. 199-216 - Brian R. Gaines:
Designing Visual Languages for Description Logics. 217-250 - Lucas Dixon, Alan Smaill, Tracy Tsang:
Plans, Actions and Dialogues Using Linear Logic. 251-289 - Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge:
Strong Completeness and Limited Canonicity for PDL. 291-292
Volume 18, Number 3, July 2009
- Yael Cohen-Sygal, Shuly Wintner:
Associative Grammar Combination Operators for Tree-Based Grammars. 293-316 - Juha Kontinen, Jouko A. Väänänen:
On Definability in Dependence Logic. 317-332 - Stephan van der Waart van Gulik:
Adaptive Fuzzy Logics for Contextual Hedge Interpretation. 333-356 - Gemma Robles, José M. Méndez:
Strong Paraconsistency and the Basic Constructive Logic for an Even Weaker Sense of Consistency. 357-402 - Ken Akiba:
A New Theory of Quantifiers and Term Connectives. 403-431
Volume 18, Number 4, October 2009
- Thomas Schwentick, Henrik Björklund:
Volker Weber. 433 - Torben Braüner, Thomas Bolander:
Preface. 435-436 - Mark Kaminski, Gert Smolka:
Terminating Tableau Systems for Hybrid Logic with Difference and Converse. 437-464 - Martin Lange:
Model Checking for Hybrid Logic. 465-491 - Martin Mundhenk, Thomas Schneider:
The Complexity of Hybrid Logics over Equivalence Relations. 493-514 - Katsuhiko Sano:
Hybrid Counterfactual Logics. 515-539 - Dmitry Sustretov:
Hybrid Logics of Separation Axioms. 541-558 - Tero Tulenheimo:
Hybrid Logic Meets IF Modal Logic. 559-591 - Volker Weber:
Branching-Time Logics Repeatedly Referring to States. 593-624
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.
last updated on 2024-04-17 20:31 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:
