Search Results

Avicenna and [image omitted]usī on Modal Logic

Author: Lagerlund, Henrik

Source: History and Philosophy of Logic, Volume 30, Number 3, August 2009 , pp. 227-239(13)

Publisher: Taylor and Francis Ltd

Logics for Qualitative Coalitional Games

Authors: gotnes, Thomas; Van Der Hoek, Wiebe; Wooldridge, Michael

Source: Logic Journal of the IGPL, Volume 17, Number 3, 29 June 2009 , pp. 299-321(23)

Publisher: Oxford University Press

A survey of paraconsistent annotated logics and applications

Authors: Abe, Jair Minoro; Nakamatsu, Kazumi

Source: International Journal of Reasoning-based Intelligent Systems, Volume 1, Numbers 1-2, 24 June 2009 , pp. 31-42(12)

Publisher: Inderscience Publishers

Modal Matters for Interpretability Logics

Authors: Goris, Evan; Joosten, Joost J.

Source: Logic Journal of the IGPL, Volume 16, Number 4, 8 August 2008 , pp. 371-412(42)

Publisher: Oxford University Press

Independent Bases of Admissible Rules

Author: Jeřábek, Emil

Source: Logic Journal of the IGPL, Volume 16, Number 3, June 2008 , pp. 249-267(19)

Publisher: Oxford University Press

On a Simple 3-valued Modal Language and a 3-valued Logic of `not-fully-justified' Belief

Authors: Koutras, Costas D.; Nomikos, Christos; Peppas, Pavlos

Source: Logic Journal of the IGPL, Volume 16, Number 6, 14 December 2008 , pp. 591-604(14)

Publisher: Oxford University Press

Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics

Author: Nguyen, Linh Anh

Source: Logic Journal of the IGPL, Volume 16, Number 2, April 2008 , pp. 175-193(19)

Publisher: Oxford University Press

Modal Operators over Constructive Logic

Author: Sherkhonov, Evgeny Yu.

Source: Journal of Logic and Computation, Volume 18, Number 6, 27 December 2008 , pp. 815-829(15)

Publisher: Oxford University Press

Logical Weak Completions of Paraconsistent Logics

Authors: Osorio Galindo, Mauricio; Arrazola Ramírez, José R.; Carballido, José Luis

Source: Journal of Logic and Computation, Volume 18, Number 6, 27 December 2008 , pp. 913-940(28)

Publisher: Oxford University Press

The design of a semantic web compatible content language for agent communication

Authors: Erdur, Rιza Cenk; Seylan, İnanç

Source: Expert Systems, Volume 25, Number 3, July 2008 , pp. 268-294(27)

Publisher: Blackwell Publishing

Light affine lambda calculus and polynomial time strong normalization

Author: Terui, Kazushige

Source: Archive for Mathematical Logic, Volume 46, Numbers 3-4, April 2007 , pp. 253-280(28)

Publisher: Springer

An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK

Authors: Calardo, Erica; Rybakov, Vladimir V.

Source: Logic Journal of the IGPL, Volume 15, Number 3, June 2007 , pp. 239-254(16)

Publisher: Oxford University Press

From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability

Authors: Goranko, Valentin; Zanardo, Alberto

Source: Logic Journal of the IGPL, Volume 15, Number 1, January 2007 , pp. 53-76(24)

Publisher: Oxford University Press

Some Multi-Conclusion Modal Paralogics

Author: McGinnis, Casey

Source: Logica Universalis, Volume 1, Number 2, October 2007 , pp. 335-353(19)

Publisher: Springer

The ontology of intentionality II: dependence ontology as prolegomenon to noetic modal semantics

Author: Null, Gilbert

Source: Husserl Studies, Volume 23, Number 2, July 2007 , pp. 119-159(41)

Publisher: Springer

Minimal refinements of specifications in modal and temporal logics

Authors: Gorogiannis, Nikos; Ryan, Mark

Source: Formal Aspects of Computing, Volume 19, Number 2, June 2007 , pp. 273-273(1)

Publisher: Springer

A Formal Characterisation of Hamblin's Action-State Semantics

Authors: Reed, Chris; Norman, Timothy

Source: Journal of Philosophical Logic, Volume 36, Number 4, August 2007 , pp. 415-448(34)

Publisher: Springer

A generalised model of judgment aggregation

Author: Dietrich, Franz

Source: Social Choice and Welfare, Volume 28, Number 4, June 2007 , pp. 529-565(37)

Publisher: Springer

Modal Specifications for the Control Theory of Discrete Event Systems

Authors: Feuillade, Guillaume; Pinchinat, Sophie

Source: Discrete Event Dynamic Systems, Volume 17, Number 2, June 2007 , pp. 211-232(22)

Publisher: Springer

Automatic recognition of interpolation in modal calculi

Author: Shreiner, P.

Source: Algebra and Logic, Volume 46, Number 1, January 2007 , pp. 62-70(9)

Publisher: Springer