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

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642360381, 9783642360398
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Indiscrete Models: Model Building and Model Checking over Linear Time

2013 ◽  
pp. 50-68 ◽  
Author(s):  
Tim French ◽  
John McCabe-Dansted ◽  
Mark Reynolds
Keyword(s):  
Model Checking ◽  
Model Building ◽  
Linear Time

Subset Space Public Announcement Logic

2013 ◽  
pp. 245-257 ◽  
Author(s):  
Yì N. Wáng ◽  
Thomas Ågotnes
Keyword(s):  
Public Announcement ◽  
Public Announcement Logic

Many-Valued Logics, Fuzzy Logics and Graded Consequence: A Comparative Appraisal

2013 ◽  
pp. 197-209 ◽  
Author(s):  
Soma Dutta ◽  
Sanjukta Basu ◽  
Mihir Kr. Chakraborty
Keyword(s):  
Fuzzy Logics

scholarly journals Subset Space Logic with Arbitrary Announcements

2013 ◽  
pp. 233-244 ◽  
Author(s):  
Philippe Balbiani ◽  
Hans van Ditmarsch ◽  
Andrey Kudinov
Keyword(s):  
Space Logic

Fuzzy Preorder, Fuzzy Topology and Fuzzy Transition System

2013 ◽  
pp. 210-219 ◽  
Author(s):  
S. P. Tiwari ◽  
Anupam K. Singh
Keyword(s):  
Transition System ◽  
Fuzzy Topology

Public Announcements for Non-omniscient Agents

2013 ◽  
pp. 220-232 ◽  
Author(s):  
Fernando R. Velázquez-Quesada
Keyword(s):  
Public Announcements

scholarly journals Yablo Sequences in Truth Theories

2013 ◽  
pp. 127-138
Author(s):  
Cezary Cieśliński
Load More ...
Sign in / Sign up

Export Citation Format

Share Document