Volume 8; Issue 4

Journal of Applied Logic

Volume 8; Issue 4
3

Lightweight hybrid tableaux

Guillaume Hoffmann
Journal:
Journal of Applied Logic
Year:
2010
Language:
english
File:
PDF, 223 KB
english, 2010
4

Complexity of hybrid logics over transitive frames

Martin Mundhenk, Thomas Schneider, Thomas Schwentick, Volker Weber
Journal:
Journal of Applied Logic
Year:
2010
Language:
english
File:
PDF, 360 KB
english, 2010
5

Axiomatizing hybrid logic using modal logic

Ian Hodkinson, Louis Paternault
Journal:
Journal of Applied Logic
Year:
2010
Language:
english
File:
PDF, 214 KB
english, 2010
6

Axiomatizing hybrid products: How can we reason many-dimensionally in hybrid logic?

Katsuhiko Sano
Journal:
Journal of Applied Logic
Year:
2010
Language:
english
File:
PDF, 342 KB
english, 2010
7

Justification logics and hybrid logics

Melvin Fitting
Journal:
Journal of Applied Logic
Year:
2010
Language:
english
File:
PDF, 275 KB
english, 2010
8

A family of Gödel hybrid logics

Didier Galmiche, Yakoub Salhi
Journal:
Journal of Applied Logic
Year:
2010
Language:
english
File:
PDF, 294 KB
english, 2010
9

Algebraic tableau reasoning for the description logic

Jocelyne Faddoul, Volker Haarslev
Journal:
Journal of Applied Logic
Year:
2010
Language:
english
File:
PDF, 698 KB
english, 2010
11

Hybrid logic with the difference modality for generalisations of graphs

Robert S.R. Myers, Dirk Pattinson
Journal:
Journal of Applied Logic
Year:
2010
Language:
english
File:
PDF, 311 KB
english, 2010
12

Special Issue on Hybrid Logics

Carlos Areces, Patrick Blackburn
Journal:
Journal of Applied Logic
Year:
2010
Language:
english
File:
PDF, 91 KB
english, 2010
13

Editorial Board

Journal:
Journal of Applied Logic
Year:
2010
Language:
english
File:
PDF, 46 KB
english, 2010