default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Applied Non-Classical Logics, Volume 20

> Home > Journals > Journal of Applied Non-Classical Logics

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 20, Numbers 1-2, 2010

- view
  authority control:
- export record
  dblp key:
  - journals/jancl/BenferhatS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/BenferhatS10
Salem Benferhat, Karima Sedki:
An alert correlation approach based on security operator's knowledge and preferences. 7-37
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/CerritoM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/CerritoM10
Serenella Cerrito, Marta Cialdea Mayer:
An efficient approach to nominal equalities in hybrid logic tableaux. 39-61
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Kudlek10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Kudlek10
Manfred Kudlek:
On Hamblin's 15 Tense Theorem. 63-80
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Suman10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Suman10
Suman Roy:
A duration calculus with neighborhood modalities. 81-126

Volume 20, Number 3, 2010

- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Balbiani10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Balbiani10
Philippe Balbiani:
Foreword. 137-138
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/CateFL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/CateFL10
Balder ten Cate, Gaëlle Fontaine, Tadeusz Litak:
Some modal aspects of XPath. 139-171
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/DitmarschEW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/DitmarschEW10
Hans van Ditmarsch, Jan van Eijck, William Wu:
Verifying one hundred prisoners and a lightbulb. 173-191
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Ghilardi10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Ghilardi10
Silvio Ghilardi:
Continuity, freeness, and filtrations. 193-217
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Heinemann10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Heinemann10
Bernhard Heinemann:
Logics for multi-subset spaces. 219-240
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/MasiniVV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/MasiniVV10
Andrea Masini, Luca Viganò, Marco Volpe:
Back from the future. 241-277
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/OdintsovW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/OdintsovW10
Sergei P. Odintsov, Heinrich Wansing:
Modal logics with Belnapian truth values. 279-304

Volume 20, Number 4, 2010

- view
  authority control:
- export record
  dblp key:
  - journals/jancl/BalbianiCH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/BalbianiCH10
Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig:
Foreword. 311
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/DemriFGD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/DemriFGD10
Stéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen:
Model-checking CTL* over flat Presburger counter systems. 313-344
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/GabbayS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/GabbayS10
Dov M. Gabbay, Karl Schlechta:
Semantic interpolation. 345-371
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/GalmicheS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/GalmicheS10
Didier Galmiche, Yakoub Salhi:
Label-free natural deduction systems for intuitionistic and classical modal logics. 373-421
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Kracht10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Kracht10
Marcus Kracht:
Judgment and consequence relations. 423-435
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Reynolds10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Reynolds10
Mark Reynolds:
Metric temporal reasoning with less than two clocks. 437-455
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Torre10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Torre10
Leendert W. N. van der Torre:
Violation games: a new foundation for deontic logic. 457-477

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.