Journal of Logic, Language and Information, Volume 18

Volume 18, Number 1, January 2009

Logics for Resource Bounded Agents

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

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

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

HYBRID LOGIC: Dedicated to the Memory of Volker Weber. Guest Editors: Torben Braüner and Thomas Bolander

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

Last update Wed Feb 15 05:38:37 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page