External Links

    Journal: Journal of Logic, Language and Information

    Volume 18, Issue 4

    433 -- 0Thomas Schwentick, Henrik Björklund. Volker Weber
    435 -- 436Torben Braüner, Thomas Bolander. Preface
    437 -- 464Mark Kaminski, Gert Smolka. Terminating Tableau Systems for Hybrid Logic with Difference and Converse
    465 -- 491Martin Lange. Model Checking for Hybrid Logic
    493 -- 514Martin Mundhenk, Thomas Schneider. The Complexity of Hybrid Logics over Equivalence Relations
    515 -- 539Katsuhiko Sano. Hybrid Counterfactual Logics
    541 -- 558Dmitry Sustretov. Hybrid Logics of Separation Axioms
    559 -- 591Tero Tulenheimo. Hybrid Logic Meets IF Modal Logic

    Volume 18, Issue 3

    293 -- 316Yael Cohen-Sygal, Shuly Wintner. Associative Grammar Combination Operators for Tree-Based Grammars
    317 -- 332Juha Kontinen, Jouko A. Väänänen. On Definability in Dependence Logic
    333 -- 356Stephan van der Waart van Gulik. Adaptive Fuzzy Logics for Contextual Hedge Interpretation
    357 -- 402Gemma Robles, José M. Méndez. Strong Paraconsistency and the Basic Constructive Logic for an Even Weaker Sense of Consistency
    403 -- 431Ken Akiba. A New Theory of Quantifiers and Term Connectives

    Volume 18, Issue 2

    159 -- 198Anders Søgaard, Martin Lange. Polyadic Dynamic Logics for HPSG Parsing
    199 -- 216José M. Méndez, Gemma Robles. The Basic Constructive Logic for Absolute Consistency
    217 -- 250Brian R. Gaines. Designing Visual Languages for Description Logics
    251 -- 289Lucas Dixon, Alan Smaill, Tracy Tsang. Plans, Actions and Dialogues Using Linear Logic
    291 -- 292Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge. Strong Completeness and Limited Canonicity for PDL

    Volume 18, Issue 1

    1 -- 2Thomas Ã…gotnes, Natasha Alechina. Editorial
    3 -- 21Michael Fisher, Chiara Ghidini. Exploring the Future with Resource-Bounded Agents
    23 -- 53Fenrong Liu. Diversity of Agents and Their Interaction
    55 -- 77Thomas Ã…gotnes, Dirk Walther. A Logic of Strategic Ability Under Bounded Memory
    79 -- 95Natasha Alechina, Brian Logan. A Logic of Situated Resource-Bounded Agents
    97 -- 129Michal Walicki, Marc Bezem, Wojtek Szajnkenig. Developing Bounded Reasoning
    131 -- 158Mark Jago. Epistemic Logic for Rule-Based Agents
    runs on