نتایج جستجو برای: modal logic

تعداد نتایج: 172457  

Journal: :Journal of Logic, Language and Information 1993

Journal: :Logic Journal of IGPL 1995

Journal: :Artificial Intelligence 2012

Journal: :Reports on Mathematical Logic 1998
Sergio A. Celani

R. Meyer and E. Mares [10] studied the logic CNR, a classical relevant logic with a modal connective. Such logic is of type S4. As it has been noted in [10], the addition of a modal operator in the language of classical relevant logic and the axioms φ ∧ ψ → (φ ∧ ψ) and (φ ∧ ψ) → ( φ ∧ ψ) do not necessarily produce theorems such that as (φ→ ψ) → φ → ψ or (♦φ→ ψ) → (φ→ ψ). These formulas are well...

Journal: :Notre Dame Journal of Formal Logic 1975

Journal: :Notre Dame Journal of Formal Logic 1975

Journal: :Electronic Notes in Theoretical Computer Science 2000

Journal: :European Journal for Philosophy of Religion 2012

Journal: :Notre Dame Journal of Formal Logic 1978

Journal: :Theoretical Computer Science 2001

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید