Sciweavers

711 search results - page 65 / 143

» Modal Logics are Coalgebraic

96

IGPL
2010

70views more IGPL 2010»

Problem of restricted interpolation in superintuitionistic and some modal logics

15 years 4 months ago

Problem of restricted interpolation in superintuitionistic and some modal logics

Download a-server.math.nsc.ru

Larisa Maksimova

claim paper

Read More »

123

MLQ
2010

78views more MLQ 2010»

Analyzing completeness of axiomatic functional systems for temporal × modal logics

15 years 4 months ago

Analyzing completeness of axiomatic functional systems for temporal × modal logics

Download www.matap.uma.es

Alfredo Burrieza, Inmaculada Perez de Guzmá...

claim paper

Read More »

89

CORR
2009
Springer

63views Education» more CORR 2009»

Modal Logic and the Approximation Induction Principle

15 years 4 months ago

Modal Logic and the Approximation Induction Principle

Download www.cs.vu.nl

Maciej Gazda, Wan Fokkink

claim paper

Read More »

144

CSE
2009
IEEE

138views Theoretical Computer Science» more CSE 2009»

Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach

15 years 4 months ago

Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach

Download www.tdp.cat

Yasuyuki Tsukada, Ken Mano, Hideki Sakurada, Yoshi...

claim paper

Read More »

166

CLIMA
2010

135views Intelligent Agents» more CLIMA 2010»

Combining Logics in Simple Type Theory

15 years 7 months ago

Combining Logics in Simple Type Theory

Download www.ags.uni-sb.de

Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantif...

Christoph Benzmüller

claim paper

Read More »

« Prev « First page 65 / 143 Last » Next »