Found: 15
Select item for more details and to access through your institution.
A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4.
- Published in:
- Journal of Logic & Computation, 2010, v. 20, n. 1, p. 353, doi. 10.1093/logcom/exn071
- By:
- Publication type:
- Article
Tableaux and Resource Graphs for Separation Logic.
- Published in:
- Journal of Logic & Computation, 2010, v. 20, n. 1, p. 189, doi. 10.1093/logcom/exn066
- By:
- Publication type:
- Article
Preface.
- Published in:
- Journal of Logic & Computation, 2010, v. 20, n. 1, p. 1, doi. 10.1093/logcom/exn057
- By:
- Publication type:
- Article
Reduced Implicate Tries with Updates.
- Published in:
- Journal of Logic & Computation, 2010, v. 20, n. 1, p. 261, doi. 10.1093/logcom/exn068
- By:
- Publication type:
- Article
Axiom Pinpointing in General Tableaux.
- Published in:
- Journal of Logic & Computation, 2010, v. 20, n. 1, p. 5, doi. 10.1093/logcom/exn058
- By:
- Publication type:
- Article
Tableaux for Logics of Subinterval Structures over Dense Orderings.
- Published in:
- Journal of Logic & Computation, 2010, v. 20, n. 1, p. 133, doi. 10.1093/logcom/exn063
- By:
- Publication type:
- Article
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic.
- Published in:
- Journal of Logic & Computation, 2010, v. 20, n. 1, p. 233, doi. 10.1093/logcom/exn067
- By:
- Publication type:
- Article
Bottom-up Construction of Semantic Tableaux.
- Published in:
- Journal of Logic & Computation, 2010, v. 20, n. 1, p. 283, doi. 10.1093/logcom/exn069
- By:
- Publication type:
- Article
Herbrand's Theorem, Skolemization and Proof Systems for First-Order Łukasiewicz Logic.
- Published in:
- Journal of Logic & Computation, 2010, v. 20, n. 1, p. 35, doi. 10.1093/logcom/exn059
- By:
- Publication type:
- Article
A New Method to Obtain Termination in Backward Proof Search for Modal Logic S4.
- Published in:
- 2010
- By:
- Publication type:
- Correction notice
Differential-algebraic Dynamic Logic for Differential-algebraic Programs.
- Published in:
- Journal of Logic & Computation, 2010, v. 20, n. 1, p. 309, doi. 10.1093/logcom/exn070
- By:
- Publication type:
- Article
Analytic Methods for the Logic of Proofs.
- Published in:
- Journal of Logic & Computation, 2010, v. 20, n. 1, p. 167, doi. 10.1093/logcom/exn065
- By:
- Publication type:
- Article
Tableaux for Public Announcement Logic.
- Published in:
- Journal of Logic & Computation, 2010, v. 20, n. 1, p. 55, doi. 10.1093/logcom/exn060
- By:
- Publication type:
- Article
Model Checking Using Description Logic.
- Published in:
- Journal of Logic & Computation, 2010, v. 20, n. 1, p. 111, doi. 10.1093/logcom/exn062
- By:
- Publication type:
- Article
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation.
- Published in:
- Journal of Logic & Computation, 2010, v. 20, n. 1, p. 77, doi. 10.1093/logcom/exn061
- By:
- Publication type:
- Article