Logic and Its Applications - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662587706, 9783662587713

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Infinite Liar in a (Modal) Finitistic Setting

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-58771-3_3 ◽

2019 ◽

pp. 18-29

Author(s):

Michał Tomasz Godziszewski ◽

Rafal Urbaniak

Download Full-text

Revisiting the Generalized Łoś-Tarski Theorem

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-58771-3_8 ◽

2019 ◽

pp. 76-88

Author(s):

Abhisekh Sankaran

Download Full-text

Propositional Modal Logic with Implicit Modal Quantification

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-58771-3_2 ◽

2019 ◽

pp. 6-17 ◽

Cited By ~ 2

Author(s):

Anantha Padmanabha ◽

R. Ramanujam

Keyword(s):

Modal Logic ◽

Propositional Modal Logic

Download Full-text

Specifying Program Properties Using Modal Fixpoint Logics: A Survey of Results

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-58771-3_5 ◽

2019 ◽

pp. 42-51

Author(s):

Martin Lange

Download Full-text

The Undecidability of FO3 and the Calculus of Relations with Just One Binary Relation

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-58771-3_11 ◽

2019 ◽

pp. 108-120 ◽

Cited By ~ 1

Author(s):

Yoshiki Nakamura

Keyword(s):

Binary Relation

Download Full-text

A Modal Aleatoric Calculus for Probabilistic Reasoning

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-58771-3_6 ◽

2019 ◽

pp. 52-63 ◽

Cited By ~ 1

Author(s):

Tim French ◽

Andrew Gozzard ◽

Mark Reynolds

Keyword(s):

Probabilistic Reasoning

Download Full-text

Public Announcements for Epistemic Models and Hypertheories

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-58771-3_7 ◽

2019 ◽

pp. 64-75

Author(s):

Nenad Savić ◽

Thomas Studer

Keyword(s):

Public Announcements

Download Full-text

A Fix-Point Characterization of Herbrand Equivalence of Expressions in Data Flow Frameworks

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-58771-3_15 ◽

2019 ◽

pp. 160-172

Author(s):

Jasine Babu ◽

Karunakaran Murali Krishnan ◽

Vineeth Paleri

Keyword(s):

Data Flow ◽

Fix Point

Download Full-text

Unification in Modal Logic

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-58771-3_1 ◽

2019 ◽

pp. 1-5

Author(s):

Philippe Balbiani

Keyword(s):

Modal Logic

Download Full-text

Logic Without Language

Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-58771-3_16 ◽

2019 ◽

pp. 173-182

Author(s):

Rohit Parikh

Download Full-text

Logic and Its Applications - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Infinite Liar in a (Modal) Finitistic Setting

Revisiting the Generalized Łoś-Tarski Theorem

Propositional Modal Logic with Implicit Modal Quantification

Specifying Program Properties Using Modal Fixpoint Logics: A Survey of Results

The Undecidability of FO3 and the Calculus of Relations with Just One Binary Relation

A Modal Aleatoric Calculus for Probabilistic Reasoning

Public Announcements for Epistemic Models and Hypertheories

A Fix-Point Characterization of Herbrand Equivalence of Expressions in Data Flow Frameworks

Unification in Modal Logic

Logic Without Language

Logic and Its Applications - Lecture Notes in Computer Science
Latest Publications