Sciweavers

797 search results - page 59 / 160

» Logics with an existential modality

112

FROCOS
2009
Springer

110views Control Systems» more FROCOS 2009»

Axiomatization and Completeness of Lexicographic Products of Modal Logics

15 years 10 months ago

Axiomatization and Completeness of Lexicographic Products of Modal Logics

Download disi.unitn.it

Philippe Balbiani

claim paper

Read More »

83

LICS
2007
IEEE

85views Automated Reasoning» more LICS 2007»

Bialgebraic Operational Semantics and Modal Logic

15 years 10 months ago

Bialgebraic Operational Semantics and Modal Logic

Download www.mimuw.edu.pl

Bartek Klin

claim paper

Read More »

108

LPAR
2007
Springer

131views Automated Reasoning» more LPAR 2007»

Completeness for Flat Modal Fixpoint Logics

15 years 10 months ago

Completeness for Flat Modal Fixpoint Logics

Download staff.science.uva.nl

Luigi Santocanale, Yde Venema

claim paper

Read More »

115

GRC
2005
IEEE

94views Applied Computing» more GRC 2005»

Reasoning about relational granulation in modal logics

15 years 9 months ago

Reasoning about relational granulation in modal logics

Download aao.sinica.edu.tw

Churn-Jung Liau, T. Y. Lin

claim paper

Read More »

87

BIRTHDAY
2005
Springer

115views Applied Computing» more BIRTHDAY 2005»

Modal Logics for Metric Spaces: Open Problems

15 years 9 months ago

Modal Logics for Metric Spaces: Open Problems

Download www.dcs.bbk.ac.uk

Agi Kurucz, Frank Wolter, Michael Zakharyaschev

claim paper

Read More »

« Prev « First page 59 / 160 Last » Next »