Exemplaric expressivity of modal logics

From theory to implementation

Marc Bouissou
See Profile
Yann Deflesselle
Marc Bouissou

January 2011

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

The Generalizability and Construct Validity of the

Theodore W. Mcdonald
See Profile
Janice P. Yoder
Theodore W. Mcdonald

September 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Extended abstract

László Lovász
Ilan Newman
Yuval Rabani
Yuri Rabinovich
Sanjeev Arora
Ilan Newman
Yuval Rabani
Yuri Rabinovich
Santosh Vempala

October 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Terminological logics with modal operator

Franz Baader
Technische Universität Dresden
See Profile
Intelligenz Gmbh
Franz Baader
Armin Laux
Deutsches Forschungszentrum
K unstliche Intelligenz

January 1995

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Modal Calculus of Illocutionary Logic

Andrew Schumann
See Profile
Andrew Schumann

January 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Context Logic as Modal Logic: Completeness and Parametric Inexpressivity

See Profile
Cristiano Calcagno
Uri Zarfaty

September 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Modality and representation in analogy

Julie Linsey
See Profile
Kristin L. Wood
Arthur B Markman
See Profile
J. S. Linsey
K. L. Wood
A. B. Markman

January 2008

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Exemplaric expressivity of modal logics

Jacobs, B.
Sokolova, A.

January 2010

Contains fulltext : 83637.pdf (publisher's version ) (Closed access

Expressiveness and abstraction

Chaoyang Li
Michael I Goran
Michael I. Goran
Nicole Nollen
Jasjit S

September 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Contextual modal type theory

Aleksandar Nanevski
See Profile
Frank Pfenning
Brigitte Pientka
Aleksandar Nanevski
Frank Pfenning
Brigitte Pientka

October 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

ANNALS OF PURE AND APPLIED LOGIC

Nils Klarlund
See Profile

January 1993

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Temporal Logics for

Gregorio De Miguel
See Profile
Jose Ignacio Requeno
José Manuel Colom

September 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

for the Molecul

Genetic Cardiomyopathies
Biotecnologie Avanzate
See Profile
Giulia Frisso
Francesco Salvatore
Y Giulia Frisso
Z Giovanni P

October 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Abstract

Greta Dreyer
See Profile
Swart P
Dreyer G
Sa Fam Pract

September 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

classical predicate logic

Anthony Hunter
See Profile
Vasiliki Efstathiou
Anthony Hunter

January 2009

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

From theory to implementation

Marc Bouissou
See Profile
Yann Deflesselle
Marc Bouissou

January 2011

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

The Generalizability and Construct Validity of the

Theodore W. Mcdonald
See Profile
Janice P. Yoder
Theodore W. Mcdonald

September 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Extended abstract

László Lovász
Ilan Newman
Yuval Rabani
Yuri Rabinovich
Sanjeev Arora
Ilan Newman
Yuval Rabani
Yuri Rabinovich
Santosh Vempala

October 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Terminological logics with modal operator

Franz Baader
Technische Universität Dresden
See Profile
Intelligenz Gmbh
Franz Baader
Armin Laux
Deutsches Forschungszentrum
K unstliche Intelligenz

January 1995

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Modal Calculus of Illocutionary Logic

Andrew Schumann
See Profile
Andrew Schumann

January 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Context Logic as Modal Logic: Completeness and Parametric Inexpressivity

See Profile
Cristiano Calcagno
Uri Zarfaty

September 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Modality and representation in analogy

Julie Linsey
See Profile
Kristin L. Wood
Arthur B Markman
See Profile
J. S. Linsey
K. L. Wood
A. B. Markman

January 2008

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Exemplaric expressivity of modal logics

Jacobs, B.
Sokolova, A.

January 2010

Contains fulltext : 83637.pdf (publisher's version ) (Closed access

Expressiveness and abstraction

Chaoyang Li
Michael I Goran
Michael I. Goran
Nicole Nollen
Jasjit S

September 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Contextual modal type theory

Aleksandar Nanevski
See Profile
Frank Pfenning
Brigitte Pientka
Aleksandar Nanevski
Frank Pfenning
Brigitte Pientka

October 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

ANNALS OF PURE AND APPLIED LOGIC

Nils Klarlund
See Profile

January 1993

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Temporal Logics for

Gregorio De Miguel
See Profile
Jose Ignacio Requeno
José Manuel Colom

September 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

for the Molecul

Genetic Cardiomyopathies
Biotecnologie Avanzate
See Profile
Giulia Frisso
Francesco Salvatore
Y Giulia Frisso
Z Giovanni P

October 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Abstract

Greta Dreyer
See Profile
Swart P
Dreyer G
Sa Fam Pract

September 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

classical predicate logic

Anthony Hunter
See Profile
Vasiliki Efstathiou
Anthony Hunter

January 2009

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

From theory to implementation

Marc Bouissou
See Profile
Yann Deflesselle
Marc Bouissou

January 2011

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

The Generalizability and Construct Validity of the

Theodore W. Mcdonald
See Profile
Janice P. Yoder
Theodore W. Mcdonald

September 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Extended abstract

László Lovász
Ilan Newman
Yuval Rabani
Yuri Rabinovich
Sanjeev Arora
Ilan Newman
Yuval Rabani
Yuri Rabinovich
Santosh Vempala

October 2016

All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...

Exemplaric expressivity of modal logics

Abstract

Extracted data

Exemplaric expressivity of modal logics

Abstract

Extracted data

Related items

Related items