Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference (English)
- New search for: Heinemann, Bernhard
- New search for: Heinemann, Bernhard
In:
Logical Foundations of Computer Science
;
219-233
;
2013
- Article/Chapter (Book) / Electronic Resource
-
Title:Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference
-
Contributors:Heinemann, Bernhard ( author )
-
Published in:Logical Foundations of Computer Science ; 219-233Lecture Notes in Computer Science ; 7734 ; 219-233
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2013-01-01
-
Size:15 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Compositional Reasoning for Multi-modal LogicsAceto, Luca / Ingólfsdóttir, Anna / Prisacariu, Cristian / Sack, Joshua et al. | 2013
- 16
-
Explicit Generic Common KnowledgeAntonakos, Evangelia et al. | 2013
- 29
-
Beyond 2-Safety: Asymmetric Product Programs for Relational Program VerificationBarthe, Gilles / Crespo, Juan Manuel / Kunz, César et al. | 2013
- 44
-
Assignment Calculus: A Pure Imperative LanguageBender, Marc / Zucker, Jeffery et al. | 2013
- 59
-
Multiplayer Cost Games with Simple Nash EquilibriaBrihaye, Thomas / Pril, Julie / Schewe, Sven et al. | 2013
- 74
-
Forward Chaining for Hybrid ASPBrik, Alex / Remmel, Jeffrey B. et al. | 2013
- 89
-
Effectivity Questions for Kleene’s Recursion TheoremCase, John / Jain, Sanjay / Stephan, Frank et al. | 2013
- 104
-
Sub-computable Bounded PseudorandomnessCenzer, Douglas / Remmel, Jeffrey B. et al. | 2013
- 119
-
Automated Support for the Investigation of Paraconsistent and Other LogicsCiabattoni, Agata / Lahav, Ori / Spendier, Lara / Zamansky, Anna et al. | 2013
- 134
-
A Modal BI Logic for Dynamic Resource PropertiesCourtault, J. R. / Galmiche, D. et al. | 2013
- 149
-
Stuttering for Abstract Probabilistic AutomataDelahaye, Benoît / Larsen, Kim G. / Legay, Axel et al. | 2013
- 164
-
Call-by-Value Non-determinism in a Linear Logic Type DisciplineDíaz-Caro, Alejandro / Manzonetto, Giulio / Pagani, Michele et al. | 2013
- 179
-
The Wadge Hierarchy of Petri Nets ω-LanguagesDuparc, Jacques / Finkel, Olivier / Ressayre, Jean-Pierre et al. | 2013
- 194
-
Iterated Contraction Based on IndistinguishabilityGeorgatos, Konstantinos et al. | 2013
- 206
-
A Note on Extensions: Admissible Rules via SemanticsGoudsmit, Jeroen et al. | 2013
- 219
-
Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the DifferenceHeinemann, Bernhard et al. | 2013
- 234
-
Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid SystemsHou, Ping / Zheng, Hao et al. | 2013
- 252
-
Computational Hardness of Validity in Probability LogicKuyper, Rutger et al. | 2013
- 266
-
Update as Evidence: Belief ExpansionKuznets, Roman / Studer, Thomas et al. | 2013
- 280
-
Separating the Fan Theorem and Its WeakeningsLubarsky, Robert S. / Diener, Hannes et al. | 2013
- 296
-
The Logic of Uncertain JustificationsMilnikel, Bob et al. | 2013
- 307
-
Justifications, Awareness and Epistemic DynamicsSedlár, Igor et al. | 2013
- 319
-
Normal Forms for Multiple Context-Free Languages and Displacement Lambek GrammarsSorokin, Alexey et al. | 2013
- 335
-
Constructive Polychronous SystemsTalpin, Jean-Pierre / Brandt, Jens / Gemünde, Mike / Schneider, Klaus / Shukla, Sandeep et al. | 2013
- 350
-
On Tolerance Analysis of Games with Belief RevisionTaşdemir, Çağıl et al. | 2013
- 359
-
Temporalizing Modal Epistemic LogicWang, Ren-June et al. | 2013
- 372
-
Contextual Natural DeductionWoltzenlogel Paleo, Bruno et al. | 2013
- 387
-
Conservatively Approximable FunctionsWyman, Sebastian et al. | 2013
- 401
-
Self-referentiality in the Brouwer–Heyting–Kolmogorov Semantics of Intuitionistic LogicYu, Junhua et al. | 2013