Switch to: References

Citations of:

Dynamic measure logic

Annals of Pure and Applied Logic 163 (12):1719-1737 (2012)

Add citations

You must login to add citations.
  1. Probabilistic Semantics and Calculi for Multi-valued and Paraconsistent Logics.Jaime Ramos, João Rasga & Cristina Sernadas - forthcoming - Studia Logica:1-35.
    We show how to obtain a probabilistic semantics and calculus for a logic presented by a valuation specification. By identifying general forms of valuation constraints we are able to accommodate a wide class of propositional based logics encompassing multi-valued logics like Łukasiewicz 3-valued logic and the Belnap–Dunn four-valued logic as well as paraconsistent logics like $${\textsf{mbC}}$$ and $${\textsf{LFI1}}$$. The probabilistic calculus is automatically generated from the valuation specification. Although not having explicit probability constructors in the language, the rules of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • First order S4 and its measure-theoretic semantics.Tamar Lando - 2015 - Annals of Pure and Applied Logic 166 (2):187-218.
    Download  
     
    Export citation  
     
    Bookmark   13 citations