Sciweavers

2067 search results - page 30 / 414

» Logics of propositional control

82

Voted

AI
2005
Springer

86views Artificial Intelligence» more AI 2005»

Partition-based logical reasoning for first-order and propositional theories

15 years 1 months ago

Partition-based logical reasoning for first-order and propositional theories

Download reason.cs.uiuc.edu

Eyal Amir, Sheila A. McIlraith

claim paper

Read More »

77

AML
2005

66views more AML 2005»

Propositional logic of continuous transformations in Cantor space

15 years 1 months ago

Propositional logic of continuous transformations in Cantor space

Download theory.stanford.edu

Grigori Mints, Ting Zhang

claim paper

Read More »

77

IANDC
2002

55views more IANDC 2002»

The Complexity of Propositional Linear Temporal Logics in Simple Cases

15 years 1 months ago

The Complexity of Propositional Linear Temporal Logics in Simple Cases

Download www.lsv.ens-cachan.fr

Stéphane Demri, Ph. Schnoebelen

claim paper

Read More »

84

LICS
2010
IEEE

131views Automated Reasoning» more LICS 2010»

Undecidability of Propositional Separation Logic and Its Neighbours

14 years 12 months ago

Undecidability of Propositional Separation Logic and Its Neighbours

Download www.doc.ic.ac.uk

James Brotherston, Max I. Kanovich

claim paper

Read More »

67

CORR
2010
Springer

61views Education» more CORR 2010»

Relating Sequent Calculi for Bi-intuitionistic Propositional Logic

14 years 11 months ago

Relating Sequent Calculi for Bi-intuitionistic Propositional Logic

Download www.cs.ioc.ee

Luis Pinto, Tarmo Uustalu

claim paper

Read More »

« Prev « First page 30 / 414 Last » Next »