Logical Methods in Computer Science, Special Issue 19

> Home > Journals > Logical Methods in Computer Science

Special Issue of the Conference "Automated Reasoning with Analytic Tableaux and Related Methods 2009" [TABLEAUX 2009]

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1010-1872
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1010-1872
Silvio Ghilardi, Silvio Ranise:
Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1011-4384
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-4384
Arnon Avron, Ori Lahav:
On Constructive Connectives and Systems.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1011-3479
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-3479
Dirk Pattinson, Lutz Schröder:
Generic Modal Cut Elimination Applied to Conditional Logics.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1012-0746
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1012-0746
Mark Kaminski, Sigurd Schneider, Gert Smolka:
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1104-4131
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1104-4131
Renate A. Schmidt, Dmitry Tishkovsky:
Automated Synthesis of Tableau Calculi.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1103-5286
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1103-5286
Rajeev Goré, Linda Postniece, Alwen Tiu:
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1105-1256
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1105-1256
George Metcalfe, Nicola Olivetti:
Towards a Proof Theory of Gödel Modal Logics.

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.