A Duality for Algebras of Lattice-Valued Modal Logic (English)
- New search for: Maruyama, Y.
- New search for: Maruyama, Y.
- New search for: Ono, Hiroakira
- New search for: Kanazawa, Makoto
- New search for: Queiroz, Ruy J. G. B. de
In:
Workshop on Logic, Language, Information and Computation
5514
;
281-295
;
2009
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:A Duality for Algebras of Lattice-Valued Modal Logic
-
Contributors:
-
Conference:16th, Workshop on Logic, Language, Information and Computation ; 2009 ; Tokyo, Japan
-
Published in:Workshop on Logic, Language, Information and Computation , 5514 ; 281-295LECTURE NOTES IN COMPUTER SCIENCE , 5514 ; 281-295
-
Publisher:
- New search for: Springer
-
Place of publication:Berlin
-
Publication date:2009-01-01
-
Size:15 pages
-
Remarks:Includes bibliographical references and index.
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
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
-
A Characterisation of Definable NP Search Problems in Peano ArithmeticBeckmann, A. et al. | 2009
- 13
-
Algebraic Valuations as Behavioral Logical MatricesCaleiro, C. / Goncalves, R. et al. | 2009
- 26
-
Query Answering in Description Logics: The Knots ApproachEiter, T. / Lutz, C. / Ortiz, M. / Simkus, M. et al. | 2009
- 37
-
Mathematical Logic for Life Science OntologiesLutz, C. / Wolter, F. et al. | 2009
- 48
-
Recognizability in the Simply Typed Lambda-CalculusSalvati, S. et al. | 2009
- 61
-
Logic-Based Probabilistic ModelingSato, T. et al. | 2009
- 72
-
Completions of Basic AlgebrasAlizadeh, M. et al. | 2009
- 84
-
Transformations via Geometric Perspective Techniques Augmented with Cycles NormalizationAlves, G.V. / de Oliveira, A.G. / de Queiroz, R. et al. | 2009
- 99
-
Observational Completeness on Abstract InterpretationAmato, G. / Scozzari, F. et al. | 2009
- 113
-
SAT in Monadic Godel Logics: A Borderline between Decidability and UndecidabilityBaaz, M. / Ciabattoni, A. / Preining, N. et al. | 2009
- 124
-
Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed PointsBaltag, A. / Smets, S. et al. | 2009
- 140
-
First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic FragmentBelardinelli, F. / Lomuscio, A. et al. | 2009
- 155
-
On-the-Fly MacrosChen, H. / Gimenez, O. et al. | 2009
- 170
-
Abductive Logic GrammarsChristiansen, H. / Dahl, V. et al. | 2009
- 182
-
On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammarde Groote, P. / Pogodalla, S. / Pollard, C. et al. | 2009
- 197
-
Observational Effort and Formally Open MappingsHeinemann, B. et al. | 2009
- 209
-
Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent CalculusHerbelin, H. / Lee, G. et al. | 2009
- 218
-
Property Driven Three-Valued Model Checking on Hybrid AutomataBauer, K. / Gentilini, R. / Schneider, K. et al. | 2009
- 230
-
Team Logic and Second-Order LogicKontinen, J. / Nurmi, V. et al. | 2009
- 242
-
Ludics and Its Applications to Natural Language SemanticsLecomte, A. / Quatrini, M. et al. | 2009
- 256
-
Spoilt for Choice: Full First-Order Hierarchical DecompositionsLink, S. et al. | 2009
- 268
-
Classic-Like Analytic Tableaux for Finite-Valued LogicsCaleiro, C. / Marcos, J. et al. | 2009
- 281
-
A Duality for Algebras of Lattice-Valued Modal LogicMaruyama, Y. et al. | 2009
- 296
-
An Independence Relation for Sets of SecretsMore, S.M. / Naumov, P. et al. | 2009
- 305
-
Expressing Extension-Based Semantics Based on Stratified Minimal ModelsNieves, J.C. / Osorio, M. / Zepeda, C. et al. | 2009
- 320
-
Deep Inference in Bi-intuitionistic LogicPostniece, L. et al. | 2009
- 335
-
CL: An Action-Based Logic for Reasoning about ContractsPrisacariu, C. / Schneider, G. et al. | 2009
- 350
-
Ehrenfeucht-Fraisse Games on Random StructuresRossman, B. et al. | 2009
- 365
-
Sound and Complete Tree-Sequent Calculus for Inquisitive LogicSano, K. et al. | 2009
- 379
-
The Arrow Calculus as a Quantum Programming LanguageVizzotto, J.K. / Bois, A.R.D. / Sabry, A. et al. | 2009
- 394
-
Knowledge, Time, and Logical OmniscienceWang, R.-J. et al. | 2009