Language, Truth and Logic in Mathematics, Jaakko Hintikka
Journal of Logic, Language and Information
Journal of Logic, Language and Information
Formal Features of Compositionality
Journal of Logic, Language and Information
Independent Choices and the Interpretation of IF Logic
Journal of Logic, Language and Information
On the Formal Semantics of IF-Like Logics
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Equivalence Criteria for Compositional IF Modal Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
On Definability in Dependence Logic
Journal of Logic, Language and Information
Team Logic and Second-Order Logic
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Hybrid Logic Meets IF Modal Logic
Journal of Logic, Language and Information
A multi-agent modal language for concurrency with non-communicating agents
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
On the formal semantics of IF-like logics
Journal of Computer and System Sciences
Constructive semantics for instantaneous reactions
Theoretical Computer Science
Sensible semantics of imperfect information: on a formal feature of meanings
ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
On some logic games in their philosophical context
Ludics, dialogue and interaction
On the expressive power of IF-logic with classical negation
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
Team Logic and Second-Order Logic
Fundamenta Informaticae - Logic, Language, Information and Computation
Studia Logica
Epistemic Operators in Dependence Logic
Studia Logica
A PSPACE-complete first-order fragment of computability logic
ACM Transactions on Computational Logic (TOCL)
IF Modal Logic and Classical Negation
Studia Logica
Hi-index | 0.00 |