Amanote Research

Amanote Research

    RegisterSign In

Parallel Dialogue Games and Hypersequents for Intermediate Logics

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-45206-5_7
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2003

Authors
Christian G. Fermüller
Publisher

Springer Berlin Heidelberg


Related search

Łukasiewicz Logics for Cooperative Games

Artificial Intelligence
LinguisticsLanguageArtificial Intelligence
2019English

GOAL for Games, Omega-Automata, and Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Some Results on the Intermediate Logics

Publications of the Research Institute for Mathematical Sciences
Mathematics
1972English

A Conventional Dialogue Model Based on Empirically Specified Dialogue Games

2015English

Derandomized Parallel Repetition Theorems for Free Games

Computational Complexity
MathematicsComputational MathematicsTheoretical Computer ScienceComputational Theory
2013English

Dialogue Games in Multi-Agent Systems

Informal Logic
Philosophy
2001English

Polite Dialogue Generation Without Parallel Data

Transactions of the Association for Computational Linguistics
2018English

Playing Lorenzen Dialogue Games on the Web

English

Parallel Concordancing: Are There Benefits for Intermediate Learners?

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy