Applied Logic: How, What and Why
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Netherlands

9789048145362, 9789401585330

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Update Semantics for Propositional Texts

Applied Logic: How, What and Why ◽

10.1007/978-94-015-8533-0_13 ◽

1995 ◽

pp. 363-386

Author(s):

Cees Vermeulen

Keyword(s):

Update Semantics

Download Full-text

Meeting a Modality?

Applied Logic: How, What and Why ◽

10.1007/978-94-015-8533-0_12 ◽

1995 ◽

pp. 343-361

Author(s):

Yde Venema

Download Full-text

Logic as a Foundation for a Cognitive Theory of Modality Assignment

Applied Logic: How, What and Why ◽

10.1007/978-94-015-8533-0_11 ◽

1995 ◽

pp. 321-342 ◽

Author(s):

Keith Stenning

Keyword(s):

Cognitive Theory

Download Full-text

Verb-Phrase Ellipsis in Dynamic Semantics

Applied Logic: How, What and Why ◽

10.1007/978-94-015-8533-0_2 ◽

1995 ◽

pp. 29-59 ◽

Author(s):

Jan van Eijck ◽

Nissim Francez

Keyword(s):

Dynamic Semantics ◽

Verb Phrase Ellipsis ◽

Download Full-text

Information States in Situation Theory

Applied Logic: How, What and Why ◽

10.1007/978-94-015-8533-0_8 ◽

1995 ◽

pp. 195-236

Author(s):

László Polós ◽

Michael Masuch

Keyword(s):

Situation Theory

Download Full-text

Optimization of deduction for Multi-Modal Logics

Applied Logic: How, What and Why ◽

10.1007/978-94-015-8533-0_3 ◽

1995 ◽

pp. 61-77 ◽

Author(s):

Olivier Gasquet

Keyword(s):

Download Full-text

Implicit and Explicit Definability in Modal and Temporal Logics

Applied Logic: How, What and Why ◽

10.1007/978-94-015-8533-0_6 ◽

1995 ◽

pp. 153-159

Author(s):

Larisa Maksimova

Keyword(s):

Temporal Logics ◽

Modal And Temporal Logics ◽

Implicit And Explicit

Download Full-text

Logic Finite Automata

Applied Logic: How, What and Why ◽

10.1007/978-94-015-8533-0_9 ◽

1995 ◽

pp. 237-285

Author(s):

Klaus U. Schulz ◽

Dov M. Gabbay

Keyword(s):

Finite Automata

Download Full-text

Indexical Dynamics

Applied Logic: How, What and Why ◽

10.1007/978-94-015-8533-0_5 ◽

1995 ◽

pp. 121-151

Author(s):

Ian Lewin

Download Full-text

Are Types Needed for Natural Language?

Applied Logic: How, What and Why ◽

10.1007/978-94-015-8533-0_4 ◽

1995 ◽

pp. 79-120 ◽

Author(s):

Fairouz Kamareddine

Keyword(s):

Natural Language

Download Full-text