Results 171 to 180 of about 19,372 (208)
Some of the next articles are maybe not open access.
1999
Intuitionistic modal logics originate from different sources and have different areas of application. They include philosophy (see, e.g., Prior (1957), Ewald (1986), Williamson (1992)), the foundations of mathematics (Kuznetsov, 1985, Kuznetsov and Muravitskij, 1986), and computer science (Plotkin and Stirling, 1986, Stirling, 1987, Wijesekera, 1990 ...
Frank Wolter, Michael Zakharyaschev
openaire +1 more source
Intuitionistic modal logics originate from different sources and have different areas of application. They include philosophy (see, e.g., Prior (1957), Ewald (1986), Williamson (1992)), the foundations of mathematics (Kuznetsov, 1985, Kuznetsov and Muravitskij, 1986), and computer science (Plotkin and Stirling, 1986, Stirling, 1987, Wijesekera, 1990 ...
Frank Wolter, Michael Zakharyaschev
openaire +1 more source
2010
In this chapter we introduce intuitionistic hybrid logic and its proof-theory. Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis. The chapter is structured as follows. In the first section of the chapter we introduce intuitionistic hybrid logic (this is taken from Brauner and de ...
openaire +1 more source
In this chapter we introduce intuitionistic hybrid logic and its proof-theory. Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis. The chapter is structured as follows. In the first section of the chapter we introduce intuitionistic hybrid logic (this is taken from Brauner and de ...
openaire +1 more source
1998
Abstract This chapter deals with fibring modality into intuitionistic logic. The key difference between fibring modality into modal logic (to form a bi-modal logic) and fibring modality into intuitionistic logic is that in the latter case we are fibring into a logic whose semantics requires a condition of persistence.
openaire +1 more source
Abstract This chapter deals with fibring modality into intuitionistic logic. The key difference between fibring modality into modal logic (to form a bi-modal logic) and fibring modality into intuitionistic logic is that in the latter case we are fibring into a logic whose semantics requires a condition of persistence.
openaire +1 more source
Molecules with a sense of logic: a progress report
Chemical Society Reviews, 2015Joakim Andréasson, Uwe Pischel
exaly
Tribotronic Logic Circuits and Basic Operations
Advanced Materials, 2015Chi Zhang, Zhong Lin Wang
exaly