Modal Systems Based on Many-valued Logics

13 years 6 months ago

Download www.eusflat.org

We propose a general semantic notion of modal many-valued logic. Then, we explore the diﬃculties to characterize this notation in a syntactic way and analyze the existing literature with respect to this framework.

Félix Bou, Francesc Esteva, Lluis Godo

Real-time Traffic

EUSFLAT 2007 | General Semantic Notion | Modal Many-valued Logic |

claim paper

Related Content

» ManyValued NonMonotonic Modal Logics

» Canonicity and Completeness Results for ManyValued Modal Logics

» FixedPoint Logic with the Approximation Modality and Its Kripke Completeness

» Optimising Propositional Modal Satisfiability for Description Logic Subsumption

» Binary Sequent Calculi for Truthinvariance Entailment of Finite Manyvalued Logics

» Encoding Modal Logics in Logical Frameworks

» RACER System Description

» Fusion of sequent modal logic systems labelled with truth values

» A TableauBased System for Spatial Reasoning about Directional Relations

Post Info
More Details (n/a)

Added	29 Oct 2010
Updated	29 Oct 2010
Type	Conference
Year	2007
Where	EUSFLAT
Authors	Félix Bou, Francesc Esteva, Lluis Godo

Comments (0)

Sciweavers

Modal Systems Based on Many-valued Logics

EUSFLAT 2007 | General Semantic Notion | Modal Many-valued Logic |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers