Sciweavers

51692 search results - page 279 / 10339

» at 2008

149

AIML
2006

115views Logical Reasoning» more AIML 2006»

Logics with an existential modality

15 years 8 months ago

Logics with an existential modality

Download www.cs.nott.ac.uk

Natasha Alechina, Dmitry Shkatov

claim paper

Read More »

137

AIML
2006

86views Logical Reasoning» more AIML 2006»

On the Deterministic Horn Fragment of Test-free PDL

15 years 8 months ago

On the Deterministic Horn Fragment of Test-free PDL

Download www.mimuw.edu.pl

Linh Anh Nguyen

claim paper

Read More »

157

Voted

AIML
2006

111views Logical Reasoning» more AIML 2006»

Developing Modal Tableaux and Resolution Methods via First-Order Resolution

15 years 8 months ago

Developing Modal Tableaux and Resolution Methods via First-Order Resolution

Download www.cs.bham.ac.uk

Renate A. Schmidt

claim paper

Read More »

151

AIML
2006

89views Logical Reasoning» more AIML 2006»

The variety of modal FLew-algebras is generated by its finite simple members

15 years 8 months ago

The variety of modal FLew-algebras is generated by its finite simple members

Download unit.aist.go.jp

Hiroki Takamura

claim paper

Read More »

155

AIML
2006

113views Logical Reasoning» more AIML 2006»

A Kripke-Joyal Semantics for Noncommutative Logic in Quantales

15 years 8 months ago

A Kripke-Joyal Semantics for Noncommutative Logic in Quantales

Download homepages.mcs.vuw.ac.nz

Robert Goldblatt

claim paper

Read More »

« Prev « First page 279 / 10339 Last » Next »