You have Guest access.
Log In
Hiroakira Ono, Makoto Kanazawa and Ruy de Queiroz
Front matter
1-12
A Characterisation of Definable NP Search Problems in Peano Arithmetic
13-25
Algebraic Valuations as Behavioral Logical Matrices
26-36
Query Answering in Description Logics: The Knots Approach
37-47
Mathematical Logic for Life Science Ontologies
48-60
Recognizability in the Simply Typed Lambda-Calculus
61-71
Logic-Based Probabilistic Modeling
72-83
Completions of Basic Algebras
84-98
Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization
99-112
Observational Completeness on Abstract Interpretation
113-123
SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability
124-139
Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points
140-154
First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
155-169
On-the-Fly Macros
170-181
Abductive Logic Grammars
182-196
On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar
197-208
Observational Effort and Formally Open Mappings
209-217
Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus
218-229
Property Driven Three-Valued Model Checking on Hybrid Automata
230-241
Team Logic and Second-Order Logic
242-255
Ludics and Its Applications to Natural Language Semantics
256-267
Spoilt for Choice: Full First-Order Hierarchical Decompositions
268-280
Classic-Like Analytic Tableaux for Finite-Valued Logics
281-295
A Duality for Algebras of Lattice-Valued Modal Logic
296-304
An Independence Relation for Sets of Secrets
305-319
Expressing Extension-Based Semantics Based on Stratified Minimal Models
320-334
Deep Inference in Bi-intuitionistic Logic
335-349
CL\mathcal{CL}: An Action-Based Logic for Reasoning about Contracts
350-364
Ehrenfeucht-Fraïssé Games on Random Structures
365-378
Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
379-393
The Arrow Calculus as a Quantum Programming Language
394-407
Knowledge, Time, and Logical Omniscience
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info