Logic, Rationality, and Interaction - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

53
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662556641, 9783662556658
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Boosting Distance-Based Revision Using SAT Encodings

2017 ◽  
pp. 480-496
Author(s):  
Sébastien Konieczny ◽  
Jean-Marie Lagniez ◽  
Pierre Marquis

Quotient Dynamics: The Logic of Abstraction

2017 ◽  
pp. 181-194
Author(s):  
Alexandru Baltag ◽  
Nick Bezhanishvili ◽  
Julia Ilin ◽  
Aybüke Özgün

Topo-Logic as a Dynamic-Epistemic Logic

2017 ◽  
pp. 330-346 ◽  
Author(s):  
Alexandru Baltag ◽  
Aybüke Özgün ◽  
Ana Lucia Vargas Sandoval
Keyword(s):  
Epistemic Logic ◽  
Dynamic Epistemic Logic

A Logical Framework for Graded Predicates

2017 ◽  
pp. 3-16 ◽  
Author(s):  
Petr Cintula ◽  
Carles Noguera ◽  
Nicholas J. J. Smith
Keyword(s):  
Logical Framework
Load More ...
Sign in / Sign up

Export Citation Format

Share Document