Showing 1 - 4 results of 4 for search 'Haroldas Giedra', query time: 0.19s Refine Results
  1. 1
    Cut free sequent calculus for logic S5n(ED)
    by Haroldas Giedra
    Published 2010-12-01
    Get full text
    Article
  2. 2
    Sequent calculus for logic of correlated knowledge
    by Haroldas Giedra, Jūratė Sakalauskaitė
    Published 2011-12-01
    Get full text
    Article
  3. 3
    A derivation-loop method for temporal logic
    by Romas Alonderis, Haroldas Giedra
    Published 2019-11-01
    Get full text
    Article
  4. 4
    Applications of logic of correlated knowledge to quantum mechanics
    by Haroldas Giedra, Romas Alonderis
    Published 2018-12-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search