Four-Valued Modal Logic: Kripke Semantics and Duality

doi 10.29007/12bb
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

EasyChair

Related search

Many-Valued Logic: Beyond Algebraic Semantics

Soft Computing
GeometrySoftwareTheoretical Computer ScienceTopology
2012English

A Four Valued Logic

2017English

Bialgebraic Methods and Modal Logic in Structural Operational Semantics

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2009English

Kripke Semantics for Martin-Löf's Extensional Type Theory

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Frame Constructions, Truth Invariance and Validity Preservation in Many-Valued Modal Logic

Journal of Applied Non-Classical Logics
PhilosophyLogic
2005English

A Four-Valued Logic for Rough Set-Like Approximate Reasoning

English

A 2-Set-Up Routley-Meyer Semantics for the 4-Valued Relevant Logic E4

Bulletin of the Section of Logic
PhilosophyLogic
2016English

Neutrosophic Modal Logic

2017English

Complementing Logic Program Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy