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

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

2
(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

2019 ◽  
pp. 18-29
Author(s):  
Michał Tomasz Godziszewski ◽  
Rafal Urbaniak

scholarly journals Revisiting the Generalized Łoś-Tarski Theorem

2019 ◽  
pp. 76-88
Author(s):  
Abhisekh Sankaran

scholarly journals Propositional Modal Logic with Implicit Modal Quantification

2019 ◽  
pp. 6-17 ◽  
Author(s):  
Anantha Padmanabha ◽  
R. Ramanujam
Keyword(s):  
Modal Logic ◽  
Propositional Modal Logic

A Modal Aleatoric Calculus for Probabilistic Reasoning

2019 ◽  
pp. 52-63 ◽  
Author(s):  
Tim French ◽  
Andrew Gozzard ◽  
Mark Reynolds
Keyword(s):  
Probabilistic Reasoning

Public Announcements for Epistemic Models and Hypertheories

2019 ◽  
pp. 64-75
Author(s):  
Nenad Savić ◽  
Thomas Studer
Keyword(s):  
Public Announcements

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

2019 ◽  
pp. 160-172
Author(s):  
Jasine Babu ◽  
Karunakaran Murali Krishnan ◽  
Vineeth Paleri
Keyword(s):  
Data Flow ◽  
Fix Point

scholarly journals Unification in Modal Logic

2019 ◽  
pp. 1-5
Author(s):  
Philippe Balbiani
Keyword(s):  
Modal Logic

Logic Without Language

2019 ◽  
pp. 173-182
Author(s):  
Rohit Parikh
Load More ...
Sign in / Sign up

Export Citation Format

Share Document