Maarten Marx and Blackburn - Free people check

(1 - 12 from 13

)

Patrick Blackburn & Maarten Marx Hybrid Logic, Characterization,...

philpapers.org

Characterization, Interpolation and Complexity, by Carlos Areces, Patrick Blackburn and Maarten Marx

Patrick Blackburn & Maarten Marx, Constructive interpolation in...

philpapers.org

Craig's interpolation lemma (if φ → ψ is valid, then φ → θ and θ → ψ are valid, for θ a formula constructed using only primitive symbols which occur both ...

Carlos Areces, Patrick Blackburn & Maarten Marx, Repairing the...

philpapers.org

Quantified hybrid logic is quantified modal logic extended with apparatus for naming states and asserting that a formula is true at a named state. While...

Patrick Blackburn & Maarten Marx, Remarks on Gregory's “actually”...

philpapers.org

In this note we show that the classical modal technology of Sahlqvist formulas gives quick proofs of the completeness theorems in [8] (D. Gregory, Completeness...

MICAI 2002: Advances in Artificial Intelligence: Second ...books.google.de › books

books.google.de

References 1. Carlos Areces, Patrick Blackburn, and Maarten Marx. A Road-Map on Complexity for Hybrid Logics. In J. Flum and M. Rodr ́ıguez-Artalejo, editors, ...

Concrete Domains and Nominals United. - International Center for...

iccl.inf.tu-dresden.de

In Carlos Areces and Patrick Blackburn and Maarten Marx and Ulrike Sattler, eds., Proceedings of the fourth Workshop on Hybrid Logics ...

Wikipedia: List of PSPACE-complete problems - Wikipedia

Maarten Marx (2007). "Complexity of Modal Logic". In Patrick Blackburn; Johan F.A.K. van Benthem; Frank Wolter (eds.). Handbook of Modal Logic. Elsevier. p. › wiki › List_of_PSPACE-com...

Google Groups: ILLC Research Reports and Technical Notes 1999

: Characterization, Interpolation and Complexity Author: Carlos Areces, Patrick Blackburn, Maarten Marx Report PP Title: On the Admissible Rules of ...

Google Groups: ESSLLI-2000

: ... Petropolis - Carlos Martín-Vide, Tarragona Patrick Blackburn, Saarbrücken - Maarten Marx, Amsterdam Hendrik Blockeel, Heverlee - Ralph Matthes, ...

Google Groups: CFP: HyLo@LICS

: ... Blackburn -sb.de http://www.coli.uni-sb.de/~patrick Maarten Marx .nl http://www.illc.uva.nl/~marx Ulrike ...

All web results to the name "Maarten Marx"

Publications - Patrick Blackburn

www.patrickblackburn.org

PDL for ordered trees, by Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx and Maarten de Rijke. Journal of ...

Remarks on Gregory's ``Actually'' Operator - Inriahal.inria.fr › inria

hal.inria.fr

Patrick Blackburn 1Maarten Marx 2. Détails. 1 LANGUE ET DIALOGUE - Human-machine dialogue with a significant language component. INRIA Lorraine ...

Related search requests for Maarten Marx

Jelle Gerbrandy
Scott Weinstein
Carlos Areces

Leonid Libkin
Szabolcs Mikulas
Moshe Vardi

Irini Fundulaki
Mark Reynolds
Hendrik Blockeel

Person "Marx" (8)
Forename "Maarten" (2255)
Name "Marx" (2096)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Maarten Marx and Blackburn Free People Check